Противоречия Закон

класс Кформул языка узкого исчисления предикатов (УИП) такой, что существует такая формула j, что средствами УИП из Квыводимо как ф, так и (отрицание j). Другими словами, если к аксиомам УИП добавить все формулы из Кв качестве новых аксиом, то в полученном исчислении будет выводима как формула j, так и формула . В. Н. Гришин.. ..

- формула j языка узкого исчисления предикатов (УИП) такая, что во всех моделях этого языка она ложна. Формула j является П. Тогда и только тогда, когда выводимо в УИП. В. И. Гришин. ..

- 1) Последовательность действий, выполняемая закономерно, согласно точному предписанию. алгоритм. 2) П.- особым образом оформленная программа, решающая задачу, частную по отношению к другой, более широкой задаче. Фундаментальная конструкция алгоритмических языков. П. Является главным средством преодоления сложности программирования путем систёматич. Разделения задачи на части. Различают два способа выделения П. При программировании. Нисходящий и восходящий. При нисходящем способе П. Возн..

пример двумерного действительного аналитич. Многообразия, не имеющего счетного базиса открытых множеств. Приведен в работе Т. Радо [1]. Имеется обобщение П. П. На случай любой четной размерности (см. [2]). Однако всякая риманова поверхность имеет счетный базис открытых множеств (теорема Радо). Лит. [1] Radu Т., "Acta Szeged", 1925, v. 2, p. 101-21. [2] Саlabi E., Rоsenliсht M., "Proc. Amer. Math. Soc.", 1953, v. 4, p. 335-40. [3] Спрингер Д ж., Введение в теорию римановых поверхностей, пер. ..