универсально
121ТОЖДЕСТВЕННАЯ ИСТИННОСТЬ — свойство сложных высказываний, истинных в силу их формально ло гич. структуры и смысла (интерпретации) входящих в них логич. операций. Такие высказывания лишь «по видимости» описывают факты (классы фактич. ситуацпй), о которых говорят… …
122КВАНТОВАЯ ТЕОРИЯ ГРАВИТАЦИИ — квантово полевая теория гравитационного взаимодействия. Поскольку гравитац. взаимодействие универсально (в нём одинаково участвуют все виды материи, независимо от их конкретных свойств), то считается, что построение полной, законченной К. т. г.… …
123АЛГЕБРАИЧЕСКАЯ СИСТЕМА — множество с определенными на нем операциями и отношениями. А. с. принадлежат к числу основных математич. структур и имеют глубоко разработанную общую теорию, сформировавшуюся в начале 50 х гг. 20 в. на грани между алгеброй и математич. логикой.… …
124СОБСТВЕННЫЙ МОРФИЗМ — морфизм схем, отделимый, универсально замкнутый и имеющий конечный тип. Морфизм схем f : наз. замкнутым, если для любого замкнутого множество f(Z) замкнуто в Y, и универсально замкнутым, если для любой замены базы замкнут морфизм Свойство быть С …
125ЭЛЕМЕНТАРНАЯ ТЕОРИЯ — совокупность замкнутых формул логики предикатов 1 й ступени. Э. т. Th(К) класса К алгебраических систем сигнатуры наз. совокупность всех замкнутых формул логики предикатов 1 й ступени сигнатуры истинных на всех системах из класса К. Если класс… …
126Теория категорий — Теория категорий  раздел математики, изучающий свойства отношений между математическими объектами, не зависящие от внутренней структуры объектов. Теория категорий занимает центральное место в современной математике[1], она также нашла… …
127Фрезерная группа станков — Вертикально фрезерный обрабатывающий центр с открытым кожухом и инструментальным магазином.[1] Фрезерные станки группа металлорежущих станков в классификации по виду обработки. Фрезерные станки предназначены для обработки с помощью фрезы плоских… …
128Комплексное единоборство — Связать? …
