Омега-полнота

то же, что округления точна. . ..

свойство формальных арифметич. Систем, означающее невозможность получения омега-противоречия. Омега-противоречием наз. Такая ситуация, когда для некрой формулы (х).доказуема каждая формула из бесконечной последовательности формул , , . ., , . И формула , где - константа формальной системы, обозначающая число 0 а константы определяются рекурсивно через терм (х)., обозначающий число, непосредственно следующее за х. Понятие О.-н. Появилось в связи с Гёделя теоремой о неполноте арифметики. ..

в языках программирования -- аргумент операции. Грамматич. Конструкция, обозначающая выражение, задающее значение аргумента операции. Иногда О. Наз. Место, позиция в тексте, где должен стоять аргумент операции. Отсюда понятие местности, или арности, операции, т. Е. Числа аргументов операции. В зависимости от положения О. Относительно знака операции различают префиксные (напр., sin x), и н ф и к с н ы е (напр., a+b) и п о с т ф и к с н ы е (напр., x2) о п е р а ц и и. В зависимости от числа 0...

..1) математическое понятие, означающее соответствие между элементами двух множеств X и Y, относящее каждому элементу x из X некоторый элемент y из Y. Эквивалентный смысл имеют термины "отображение", "преобразование", "функция". Обычно термин "оператор" используется, когда X и Y - множества из функциональных пространств...2) В вычислительной технике - предписание в данном языке программирования, предназначенное для задания некоторого завершенного действия в процессе переработки информации на ЭВМ..