-
41 левая часть хорновской формулы
Information technology: head (в языке ПРОЛОГ)Универсальный русско-английский словарь > левая часть хорновской формулы
-
42 одиночная резолюция
1) Information technology: unit resolution (применяемая для отладки ПРОЛОГ-программы)2) Oil: unit resolutionУниверсальный русско-английский словарь > одиночная резолюция
-
43 операция унификации
Information technology: unification (в языке ПРОЛОГ)Универсальный русско-английский словарь > операция унификации
-
44 отсечение
1) General subject: cutting off2) Computers: cut3) Medicine: ablation, abscission, amputation, dissecting away, divulsion4) Military: separation, severance5) Engineering: clipping, dump (парогенератора), windowing (в машинной графике)6) Mathematics: truncation7) Automobile industry: blocking off8) Surgery: excision9) Information technology: clipping (Механизм, запрещающий отображение графического изображения вне установленных границ), cut (в языке ПРОЛОГ), pruning (ветвей в дереве поиска или перебора), scissoring (части графического изображения)10) Oil: scissoring11) Business: cutoff12) Automation: clipping (напр. части информации)13) Robots: pruning (ветвей в дереве поиска)14) Oceanography: thresh -
45 принцип резолюций
1) Computers: resolution principle2) Information technology: resolution principle (в языке Пролог) -
46 сцепленные переменные
Information technology: shared variables (в языке Пролог)Универсальный русско-английский словарь > сцепленные переменные
-
47 функция, вызываемая извне
Information technology: call-back function (Функция прикладной программы, вызываемая ядром Windows. Такие функции имеют специальный пролог и эпилог)Универсальный русско-английский словарь > функция, вызываемая извне
-
48 хвост (хорновской) формулы
Information technology: tail of a clause (в языке ПРОЛОГ)Универсальный русско-английский словарь > хвост (хорновской) формулы
-
49 хвост хорновской формулы
Information technology: tail of a clause (в языке ПРОЛОГ)Универсальный русско-английский словарь > хвост хорновской формулы
-
50 Г-345
СЫТ ПО ГОРЛО coll AdjP subj-compl with бытыз (subj: human)1. one is completely satedX сыт по горло = X is stuffed (to the gills)X couldn't eat another bite X has had more than his fill.«Положить тебе ещё жаркого?» - «Спасибо, больше не могу. Сыт по горло». "Would you like some more stew?" "No, thanks, I couldn't eat another bite. I'm stuffed to the gills."2. - (чем) one has had more than a sufficient amount of sth. (often, of sth. unpleasant)X сыт по горло (Y-ом) = X has had it (up to here) with YX is fed up (to the teeth) with Y X has had more than his fill X has had all he can take (of Y) X is sick to death of Y.Поздно вечером Максим понял, что сыт по горло этим городом... (Стругацкие 2). By late evening Maxim had had it with the city (2a).«Слушай, дед... иди-ка ты отсюдова (ungram-mat = отсюда) к чёртовой матери. Я этими байками сыт по горло» (Максимов 2). "Listen, Grandpa, why don't you go to bloody hell. I'm fed up to the teeth with your bedtime stories" (3a).Первый «Пролог» - невозвратимая утрата, второй - дань самоуспокоенной старости в эпоху доброго цезаря, когда Ахматова искала внепространственных бед и страстей, хотя нам вполне хватало посюсторонних несчастий. Я ими сыта по горло (Мандельштам 2). The first Prologue is an irreparable loss, but the second is a self-indulgence of her (Akhmatova's) complacent old age, when she tried to invent torments and passions outside space - as though the ones on this side of the fence were not enough for us! I have had much more than my fill (2a).Маша, всегда жадная до операций... теперь, кажется, была сыта по горло (Грекова 3). Masha, always eager to operate...now had more than enough (3a). -
51 хвост формулы
Information technology: (хорновской) tail of a clause (в языке ПРОЛОГ) -
52 сыт по горло
• СЫТ ПО ГОРЛО coll[AdjP; subj-compl with быть (subj: human)]=====1. one is completely sated:- X has had more than his fill.♦ "Положить тебе ещё жаркого?" - "Спасибо, больше не могу. Сыт по горло". "Would you like some more stew?" "No, thanks, I couldn't eat another bite. I'm stuffed to the gills."2. сыт по горло (чем) one has had more than a sufficient amount of sth. (often, of sth. unpleasant):- X is sick to death of Y.♦ Поздно вечером Максим понял, что сыт по горло этим городом... (Стругацкие 2). By late evening Maxim had had it with the city (2a).♦ "Слушай, дед... иди-ка ты отсюдова [ungrammat = отсюда] к чёртовой матери. Я этими байками сыт по горло" (Максимов 2). "Listen, Grandpa, why don't you go to bloody hell. I'm fed up to the teeth with your bedtime stories" (3a).♦ Первый "Пролог" - невозвратимая утрата, второй - дань самоуспокоенной старости в эпоху доброго цезаря, когда Ахматова искала внепространственных бед и страстей, хотя нам вполне хватало посюсторонних несчастий. Я ими сыта по горло (Мандельштам 2). The first Prologue is an irreparable loss, but the second is a self-indulgence of her [Akhmatova's] complacent old age, when she tried to invent torments and passions outside space - as though the ones on this side of the fence were not enough for us! I have had much more than my fill (2a).♦ Маша, всегда жадная до операций... теперь, кажется, была сыта по горло (Грекова 3). Masha, always eager to operate...now had more than enough (3a).Большой русско-английский фразеологический словарь > сыт по горло
-
53 выполнять операцию унификации
( в языке ПРОЛОГ) unifyРусско-английский словарь по вычислительной технике и программированию > выполнять операцию унификации
-
54 голова хорновской формулы
( в языке ПРОЛОГ) headРусско-английский словарь по вычислительной технике и программированию > голова хорновской формулы
-
55 хвост формулы
( в языке ПРОЛОГ) tail of a clauseРусско-английский словарь по вычислительной технике и программированию > хвост формулы
-
56 квантор существования
( в языке Пролог) existential quantifierРусско-английский индекс к Англо-русскому толковому словарю терминов и сокращений по ВТ, Интернету и программированию > квантор существования
-
57 предисловие
-
58 вводная часть
prodrome имя существительное: -
59 clausal representation
представление знаний в виде логических выражений, в виде программ на языке ПрологАнгло-русский словарь промышленной и научной лексики > clausal representation
-
60 ESP
1. electrosensitive programming — программирование ПЛМ и ЗУ электрическим пережиганием перегородок между логическими элементамиextended self contained Prolog — расширенный автономный Пролог, язык ESP
См. также в других словарях:
пролог — а, м. prologue m. <гр. prologos < pro впереди + logos речь, слово. 1. Вступительная, вводная часть литературного или музыкального произведения или спектакля. БАС 1. Пролог <к комедии Евнух > оставлен мною не переведен, первое для того… … Исторический словарь галлицизмов русского языка
Пролог — (греч. πρόλογος предисловие): Пролог вводная часть какого либо текста, введение, предисловие; Пролог целая часть трагедии перед выступлением хора (Аристотель, Поэтика); Пролог стартовый, как правило короткий, этап… … Википедия
Пролог — – древнерусский житийный сборник, ведущий свое происхождение от византийских месяцесловов, или синаксарей. П. имеет календарный характер: жития святых расположены в нем в соответствии с днями их церковной памяти; на каждый день года обыкновенно… … Словарь книжников и книжности Древней Руси
ПРОЛОГ — греч. церковная книга, содержащая краткие слова на годичные праздники, жития святых и отрывки нз писаний ·св. отцев, для чтения при богослужении. | Пролог или пролог введение, вступление, предисловие к сочинению, особенно драматическому. См.… … Толковый словарь Даля
ПРОЛОГ — (греч., от pro прежде, вперед, и logos слово). 1) введение, предисловие, вступление к сочинению, особенно драматическому. 2) в древнегреческих театрах обращение хора к публики перед началом комедии. 3) церковная книга, содержащая краткие слова на … Словарь иностранных слов русского языка
пролог — См … Словарь синонимов
Пролог — ПРОЛОГ вступительная часть, присоединенная к художественному произведению, в которой излагаются обстоятельства, предшествовавшие тому, что изображено в произведении (драме, повести). Вместо этого пролог может содержать указание на основной… … Словарь литературных терминов
пролог — и пролог. В знач. «церковная книга, содержащая жития святых, поучения и т. п.» пролог, род. пролога; мн. прологи, род. прологов и пролога, прологов. В знач. «вступительная часть литературного или музыкального произведения» пролог, род. пролога;… … Словарь трудностей произношения и ударения в современном русском языке
ПРОЛОГ — 1. ПРОЛОГ, пролога, мн. пролога, муж. (греч. prologos предисловие) (лит.). В древней Руси сборник кратких житий, поучений, назидательных повестей, размещенных в порядке церковного календаря. Рукописный пролог. 2. ПРОЛОГ1, пролога, мн. и, муж.… … Толковый словарь Ушакова
ПРОЛОГ — 1. ПРОЛОГ, пролога, мн. пролога, муж. (греч. prologos предисловие) (лит.). В древней Руси сборник кратких житий, поучений, назидательных повестей, размещенных в порядке церковного календаря. Рукописный пролог. 2. ПРОЛОГ1, пролога, мн. и, муж.… … Толковый словарь Ушакова
ПРОЛОГ — 1. ПРОЛОГ, пролога, мн. пролога, муж. (греч. prologos предисловие) (лит.). В древней Руси сборник кратких житий, поучений, назидательных повестей, размещенных в порядке церковного календаря. Рукописный пролог. 2. ПРОЛОГ1, пролога, мн. и, муж.… … Толковый словарь Ушакова