-
1 автомат над термами
Большой англо-русский и русско-английский словарь > автомат над термами
-
2 generalized automaton
Большой англо-русский и русско-английский словарь > generalized automaton
-
3 generalized automaton
Математика: автомат над деревьями, автомат над термами, обобщённый автомат -
4 Thermenlinie
сущ. -
5 Thermenlinie
разлом с приуроченными к нему термамиDeutsch-Russische Geologie und Mineralogie Wörterbuch > Thermenlinie
-
6 Hyperfeinstrukturübergang
сущ.1) микроэл. переход (между уровнями) сверхтонкой структуры2) яд.физ. переход между термами сверхтонкой структурыУниверсальный немецко-русский словарь > Hyperfeinstrukturübergang
-
7 Hyperfeinstrukturübergang
(m)переход между термами сверхтонкой структурыEine kurze Deutsch-Russisch Wörterbuch in Kernphysik und Kerntechnik > Hyperfeinstrukturübergang
-
8 Calw
Кальв, город в федеральной земле Баден-Вюртемберг. Расположен в долине р. Нагольд (Nagold), правого притока р. Энц (Enz). Окружён лесами. Основные отрасли экономики: текстильная, деревообрабатывающая, электротехническая, производство бытовой техники (холодильники), туризм. Живописные фахверковые постройки конца XVII в., в т.ч. ратуша, – свидетельство времени, когда Кальв был одним из богатейших городов Вюртемберга, где торговали сукнами со всей Европы. Из периода готики сохранилась только часовня Св. Николая (Nikolauskapelle), построенная в XIV в. на мосту через р. Нагольд в честь покровителя сплавщиков леса. Кальв – место рождения писателя Германа Гессе, есть музей и премия его имени. В 7 км от Кальва бальнеологический курорт Бад Либенцелль (Bad Liebenzell) с термами Парацельса – в честь врача и естествоиспытателя XVI в., восхвалявшего в 1526 г. лечебные свойства минеральных вод курорта. Первое упоминание места Kalw (Calw) около 1037 г. → Baden-Württemberg, Fachwerk, Hesse Hermann, Paracelsus -
9 Deutsches Salzmuseum
nНемецкий музей солеварения, в Люнебурге, в экспозиции прослеживается история добычи соли на люнебургских соляных копях в разные века. Воссоздана средневековая штольня, в которую посетители могут спуститься, предоставляется возможность самим "выварить" соль (Salz sieden). Соль – "белое золото" ("weißes Gold") – добывалась в Люнебурге в течение 1024 лет – с 956 по 1980 г. По преданию, кристаллы соли первыми обнаружили свиньи и стали их лизать. Изображение свиньи включено в городской герб Люнебурга. В настоящее время г. Люнебург является грязелечебным курортом с государственным статусом (staatlich anerkanntes Sole- und Moorheilbad), здесь открыт курортный центр с соляными термами (Salzthermen Lüneburgs, сокр. SaLü). Музей размещается на территории бывшей солеварни, работавшей с 956 по 1976 г. → LüneburgГермания. Лингвострановедческий словарь > Deutsches Salzmuseum
-
10 Limeskastell Saalburg
nПограничная крепость Зальбург, наиболее хорошо сохранившееся римское укрепление на территории Германии. Находится в 7 км северо-западнее г. Бад-Хомбург в горах Таунус, где 500 римских легионеров охраняли один из стратегически важных горных перевалов. Этапы строительства прослеживаются с конца I в. н.э. (земляные валы) до III в. н.э. (каменные постройки). К военному лагерю примыкал город с жилыми, общественными и торговыми строениями, термами, святилищем и кладбищем. Со 2-й половины III в. н.э. лагерь и город пришли в упадок. В 1898-1907 гг., в период расцвета т.н. исторического стиля, под патронатом императора Вильгельма II были проведены раскопки на месте крепости и её реконструкция в камне <Limeskastell от лат. limes ("пограничный вал") и castellium ("крепость")> → Bad Homburg vor der Höhe, Historismus, Taunus, Wilhelm II., Limes römisch-germanischer, KastellГермания. Лингвострановедческий словарь > Limeskastell Saalburg
-
11 generalized automaton
мат.обобщённый автомат; автомат над термами; автомат над деревьямиEnglish-Russian scientific dictionary > generalized automaton
-
12 Thermenlinie
fразлом с приуроченными к нему термамиDeutsch-Russische Geologie und Mineralogie Wörterbuch > Thermenlinie
-
13 predicate
предикат
Лингвистический объект, аналогичный глаголу, сообщающий что-либо о сущностях, обозначенных термами.
[ ГОСТ 34.320-96]
предикат
Функция, возвращающая логическое значение.
[ http://www.morepc.ru/dict/]Тематики
EN
Англо-русский словарь нормативно-технической терминологии > predicate
См. также в других словарях:
АВТОМАТОВ СПОСОБЫ ЗАДАНИЯ — варианты описания автоматов, их функционирования или поведения. А. с. з. зависят от подхода к определению понятия автомата. При макроподходе (см. Автомат конечный).описывается внешнее поведение автомата; при микроподходе задание должно содержать… … Математическая энциклопедия
Рим город* — Содержание: I. Р. Современный; II. История города Р.; III. Римская история до падения западной Р. империи; IV. Римское право. I. Рим (Roma) столица Итальянского королевства, на реке Тибре, в так называемой Римской Кампанье, под 41°53 54 северной… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
Рим, город — Содержание: I. Р. Современный; II. История города Р.; III. Римская история до падения западной Р. империи; IV. Римское право. I. Рим (Roma) столица Итальянского королевства, на реке Тибре, в так называемой Римской Кампанье, под 41°53 54 северной… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории … Философская энциклопедия
АВТОМАТ — управляющая система, являющаяся автоматом конечным или некоторой его модификацией, полученной путем изменения компонент или функционирования. Основное понятие конечный А. возникло в середине 20 в. в связи с попытками описать на математическом… … Математическая энциклопедия
Подстановка — Это статья о подстановке как о синтаксической операции над термами. Возможно, вас интересует перестановка. В математике и компьютерных науках подстановка это операция синтаксической замены подтермов данного терма другими термами, согласно… … Википедия
Расширенная форма Бэкуса — Наура — (расширенная Бэкус Наурова форма (РБНФ)) (англ. Extended Backus–Naur Form (EBNF)) формальная система определения синтаксиса, в которой одни синтаксические категории последовательно определяются через другие. Используется для описания контекстно… … Википедия
Лямбда-куб — Лямбда куб. Стрелка вдоль каждого ребра указывает на направление включения; более простая система является частным случаем более сложной. Лямбда куб (λ куб) задает единообразное описание восьми различных систем типизированного лямбда исчисления с … Википедия
Расширенная Бэкус — Наурова форма — Расширенная форма Бэкуса Наура (расширенная Бэкус Наурова форма (РБНФ)) (англ. Extended Backus–Naur Form (EBNF)) формальная система определения синтаксиса, в которой одни синтаксические категории последовательно определяются через другие.… … Википедия
Расширенная форма Бэкуса-Наура — (расширенная Бэкус Наурова форма (РБНФ)) (англ. Extended Backus–Naur Form (EBNF)) формальная система определения синтаксиса, в которой одни синтаксические категории последовательно определяются через другие. Используется для описания контекстно… … Википедия
Расширенная форма Бэкуса—Наура — (расширенная Бэкус Наурова форма (РБНФ)) (англ. Extended Backus–Naur Form (EBNF)) формальная система определения синтаксиса, в которой одни синтаксические категории последовательно определяются через другие. Используется для описания контекстно… … Википедия