Прюфера Поверхность

логический закон, утверждающий, что никакое высказывание не может быть истинным одновременно со своим отрицанием. В языке исчисления высказываний П. З. Выражается формулой Эта формула выводима как в классическом, так и в интуиционистском исчислении высказываний. В. Н. Гришин. . ..

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

- одно ив основных геометрич. Понятий. П. Обычно косвенным образом определяется аксиомами геометрии. Напр., евклидова П.- аксиомами инцидентности, порядка, конгруэнтности, непрерывности. П. Наз. Проективной, аффинной, гиперболической и т. Д. В зависимости от плоскости, в к-рую она вложена П. Можно изучать по ее преобразованиям, индуцируемыми коллинеациями плоскости. Так, напр., группа алгебраич. Автоморфизмов действительной проективной П. Изоморфна группе перемещений действительной плоскости Лоб..

- конструкция, широко используемая в теориях таких математич. Структур, категории к-рых близки к абелевым категориям;в неабелевом случае конструкция прямой суммы обычно наз. Дискретным прямым произведением. Пусть - нек-рый класс однотипных алгебраич. Систем, содержащих одноэлементную (нулевую) подсистему. Прямой суммой или (дискретным) прямым произведением систем , из класса U наз. Подсиcтема прямого произведения, состоящая из таких функций , все значения к-рых, кроме конечного числа, прина..