деля
21Теорема Гёделя — гласит, что в широком классе систем, в которых вообще существуют понятия утверждения и доказательства (например, математика), существуют утверждения, которые не могут быть ни опровергнуты, ни доказаны; данное утверждение широко используется за …
22Теорема Гёделя — Теорема Гёделя: Теорема Гёделя о полноте, или Первая теорема Гёделя (1929 год) Теорема Гёделя о неполноте, или Вторая теорема Гёделя (1930 год) …
23Премия Гёделя — (англ. Gödel Prize)  премия в области теории вычислительных систем имени Курта Гёделя, вручаемая ежегодно организациями ACM SIGACT (Special Interest Group on Algorithms and Computation Theory) и EATCS (European Association for… …
24Метрика Гёделя — Метрика Гёделя  это точное решение уравнений Эйнштейна, полученное Куртом Гёделем в 1949 году[1]. Это решение порождается тензор энергии импульса из двух частей, первая представляет собой плотность материи однородно распределённых… …
25Нижний Деля-Ю — Характеристика Длина 18 км Бассейн Северная Сосьва Водоток Устье Хулга  · Местоположение 176 км по правому берегу Рас …
26Теорема Гёделя о полноте — У этого термина существуют и другие значения, см. Теорема Гёделя. Теорема Гёделя о полноте исчисления предикатов является одной из фундаментальных теорем математической логики: она устанавливает однозначную связь между логической истинностью… …
27ГЁДЕЛЯ ТЕОРЕМА — важнейший результат, полученный австр. логиком и математиком К. Гёделем. В 1931 в ст. «О формально неразрешимых предложениях Pnncipia Mathematica и родственных систем» Гёдель доказал теорему о неполноте: если система Z(содержащая арифметику… …
28ГЁДЕЛЯ ТЕОРЕМА О ПОЛНОТЕ — утверждение о полноте классического исчисления предикатов: всякая предикатная формула, истинная на всех моделях, выводима (по формальным правилам классич. исчисления предикатов). Г. т. о п. показывает, что множество выводимых формул этого… …
29мани де де л'о деля — * Неуверенность побуждает таких больных постоянно проверять свои действия, не удовлетворяясь неоднократной проверкой. Отсюда возникает растущее с каждым днем стремление к все большей аккуратности и точности (manie de l au de la). БМЭ 1931 20 76 …
30Одновысотность расположения осей отверстий шпинделя передней бабки и в кронштейне для внутришлифовального шпин деля над столом — 2.21. Одновысотность расположения осей отверстий шпинделя передней бабки и в кронштейне для внутришлифовального шпин деля над столом (для станков с вращающимся шпинделем передней бабки, ось шпинделя передней бабки должна быть не ниже оси гнезда в …
Словарь-справочник терминов нормативно-технической документации
