Общих Представителей Система

- частично рекурсивная функция, определенная для всех значений аргументов. Понятие О. Ф. Может быть определено и независимо от понятия частично рекурсивной функции следующим образом. Класс всех О. Ф.- это наименьший класс функций, содержащий все примитивно рекурсивные функции и замкнутый относительно композиции функций и наименьшего числа оператора при условии, что последний применяется к функции лишь тогда, когда Однако изучение О. Ф. Обычно ведется в классе всех частично рекурсивных функц..

системы обыкновенных дифференциальных уравнений n -го порядка в области G- совокупность псоотношений содержащая ппараметров и в неявном виде описывающая семейство функций, составляющих общее решение этой системы в области G. Часто О. И. Системы (1) наз. Не соотношения (2), а совокупность функций Каждое из соотношений (2) [или каждая из функций (3)] наз. первым интегралом системы (1). Иногда под О. И. Системы (1) понимают совокупность более общих, чем (2), соотношений В случае обыкнове..

- то же, что всеобщности квантор.. ..

полугрупп с нулем - полугруппа, полученная из данного семейства {Sa} полугрупп с нулем, попарно пересекающихся лишь по этому нулю, заданием па объединении операции умножения, совпадающей с исходной операцией на каждой полугруппе Sa. И такой, что SaSb=0 для любых различных a, b 0-П. О. Наз. Также ортогональной суммой. Описание ряда типов полугрупп устанавливает возможность их разложения в 0-П. О. Тех или иных известных полугрупп (см., напр., Максимальный идеал, Минимальный идеал, Регулярная ..