терма
51Manolis Stergiou Rooms — (Терма,Греция) Категория отеля: Адрес: Therma, Терма, 68002, Греция …
52ЛОГИКА КЛАССОВ — раздел логики, в котором рассматриваются классы (множества) предметов, задаваемые характеристическими свойствами этих предметов (элементов классов). В совр. логике Л. к. может пониматься как «алгебра множеств», т. е. интерпретироваться… …
53ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории …
54ИНТЕРПРЕТАЦИЯ — задание значения (смысла) математич. выражений (символов, формул и т. д.). В математике такими значениями служат математич. объекты (множества, операции, выражения и т. д.). Сами эти значения также наз. И. соответствующих выражений. Примеры.… …
55Многосортная алгебра — Под многосортной алгеброй понимают некоторое множество объектов с определёнными на нём операциями (функциями). Объекты могут быть разнотипными, тогда каждому объекту приписывают так называемый сорт некоторое имя (или символ), характеризующий тип… …
56Подстановка — Это статья о подстановке как о синтаксической операции над термами. Возможно, вас интересует перестановка. В математике и компьютерных науках подстановка  это операция синтаксической замены подтермов данного терма другими термами, согласно… …
57Дуджом Лингпа — (bdud joms gling pa) (1835 1904)  тибетский буддийский учитель. Содержание 1 Биография 2 Члены семьи и ученики 3 См. также …
58Дордже Лингпа — (1346 1405) третий король тертон, проявление великого переводчика Вайрочаны. Он родился в 1346 году в Центральном Тибете, в Трананг Енца. Его отцом был Кхутон Сонам Гьялцен, а матерью Кармогьен. Мальчику дали имя Оргьен Зангпо. Жил также в… …
59Латентно-семантический анализ — Сюда перенаправляется запрос «Семантический анализ». На эту тему нужна отдельная статья. Латентно семантический анализ (ЛСА)  это метод обработки информации на естественном языке, анализирующий взаимосвязь между коллекцией документов и… …
60Миланский аэропорт Мальпенса — Координаты: 45°37′50″ с. ш. 8°43′41″ в. д. / 45.630556° с. ш. 8.728056° в. д.  …
