Омега-непротиворечивость

- пространство, получающееся из октаэдра при отождествлении противоположных его граней - треугольников, повернутых друг относительно друга на угол p/3. О. П. - трехмерное многообразие, являющееся пространством орбит действия бинариой группы октаэдра на трехмерной сфере. Оно может быть отождествлено спространством куба, получающимся аналогичным образом. Одномерная группа Бетти О. П. Является группой третьего порядка. М. И. Войцеховский. ..

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

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

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