термы
101Помпея* — (латинск. Pompei) некогда цветущий город, а ныне знаменитые развалины города в Италии, в окрестностях Неаполя, у южного подножия Везувия. Первое упоминание о П. встречается под 310 годом до Р. Хр., но характер некоторых из ее сооружений… …
102Источники (воды) — ключи, или родники, представляют собой воды, непосредственно выходящие из недр земли на дневную поверхность; от них отличают колодцы, искусственные сооружения, при помощи которых или находят почвенную воду, или перенимают подземное движение… …
103Помпея — (латинск. Pompei) некогда цветущий город, а ныне знаменитые развалины города в Италии, в окрестностях Неаполя, у южного подножия Везувия. Первое упоминание о П. встречается под 310 годом до Р. Хр., но характер некоторых из ее сооружений… …
104Медицина — I Медицина Медицина система научных знаний и практической деятельности, целями которой являются укрепление и сохранение здоровья, продление жизни людей, предупреждение и лечение болезней человека. Для выполнения этих задач М. изучает строение и… …
105РИМ — столица Италии, административный центр области Лацио и Римской провинции, резиденция высшего понтифика Римско католической церкви. Известен также как вечный город , к которому ведут все дороги . Рим почти столь же древен, как и сама западная… …
106Киргизская Советская Социалистическая Республика — (Кыргыз Советтик Социалистик Республикасы), Киргизия (Кыргызстан), расположена на C. B. Cp. Азии. Граничит на C. c Казах. CCP, на З. c Узб. CCP, на Ю. З. c Тадж. CCP, на Ю. B. и B. c KHP. Пл. 198,5 тыс. км2. Hac. 3886,5 тыс. чел. (на 1… …
107ЛОГИКА КЛАССОВ — раздел логики, в котором рассматриваются классы (множества) предметов, задаваемые характеристическими свойствами этих предметов (элементов классов). В совр. логике Л. к. может пониматься как «алгебра множеств», т. е. интерпретироваться… …
108ГЁДЕЛЯ ИНТЕРПРЕТАЦИЯ — интуиционистской арифметики специальная операция, переводящая формулы интуиционистской арифметики в формулы вида где наборы переменных по вычислимым функциям специального вида. При этом выводимые формулы переводятся в истинные формулы в смысле… …
109ЛОГИКО-МАТЕМАТИЧЕСКИЕ ИСЧИСЛЕНИЯ — прикладные исчисления, формализации математич. теорий. Л. м. и. задается своим языком и перечнем постулатов (эти элементы образуют синтаксис).и в большинстве случаев снабжается семантикой. Существенными чертами, отличающими Л. м. и. от аксиоматич …
110ПРОГРАММИРОВАНИЕ ТЕОРЕТИЧЕСКОЕ — математическая дисциплина, изучающая математич. абстракции программ, трактуемых как объекты, выраженные на формальном языке, обладающие определенной информационной и логич. структурой и подлежащие исполнению на автоматич. устройствах. П. т.… …
