HEAD NORMALISATION THEOREM

Meaning of HEAD NORMALISATION THEOREM in English

Under the typed lambda-calculus, beta/delta reduction of the left-most redex (normal order reduction) is guaranteed to terminate with a head normal form if one exists. See also Church-Rosser theorem.

FOLDOC computer English dictionary. Английский словарь по компьютерам FOLDOC. 2012

THEOREM — I In mathematics or logic, a statement whose validity has been established or proved. It consists of a hypothesis and …
Английский словарь Британика
THEOREM — I. ˈthēərəm, ˈthi(ə)r- sometimes ˈthēr- noun ( -s ) Etymology: Late Latin theorema, from Greek theōrēma sight, spectacle, theory, theorem, …
Webster's New International English Dictionary
HEAD
Webster's New International English Dictionary
THEOREM — (v. t.) To formulate into a theorem.
Английский словарь Webster
THEOREM — ( v. t. ) To formulate into a theorem.
Webster's Revised Unabridged English Dictionary
HEAD — — headlike , adj. /hed/ , n. 1. the upper part of the body in humans, joined to the trunk …
Random House Webster's Unabridged English Dictionary
NORMALISATION — n. act of making normal; process of establishing normal diplomatic relations between two countries (also normalization)
Толковый словарь английского языка - Редакция bed
HEAD
Merriam-Webster's Collegiate English vocabulary
THEOREM — noun Etymology: Late Latin theorema, from Greek theōrēma, from theōrein to look at, from theōros spectator, from thea act of …
Merriam-Webster's Collegiate English vocabulary
THEOREM — vt to formulate into a theorem. 2. theorem ·noun a statement of a principle to be demonstrated. 3. theorem ·noun …
Webster English vocab
HEAD
Webster English vocab
THEOREM — in mathematics and logic, a proposition or statement that is demonstrated. In geometry, a proposition is commonly considered as a …
Britannica English vocabulary
THEOREM — theorem BrE AmE ˈθɪər ə m § ˈθiː ə r ə m AmE ˈθiː ə r ə m ˈθɪr ə …
Longman Pronunciation English Dictionary
NORMALISATION — ➡ normalize
Oxford Advanced Learner's English Dictionary
HEAD
Oxford Advanced Learner's English Dictionary
THEOREM — theo ‧ rem /ˈθɪərəm $ ˈθiːə-/ BrE AmE noun [countable] [ Word Family: noun : ↑ theorist , ↑ theory …
Longman Dictionary of Contemporary English
HEAD
Longman Dictionary of Contemporary English
HEAD — n., adj., & v. --n. 1 the upper part of the human body, or the foremost or upper part of …
Английский основной разговорный словарь
HEAD — n., adj., & v. n. 1 the upper part of the human body, or the foremost or upper part of …
Concise Oxford English Dictionary
HEAD — n., adj., & v. --n. 1. the upper part of the human body, or the foremost or upper part of …
Oxford English vocab
HEAD — ( heads, heading, headed) Frequency: The word is one of the 700 most common words in English. Note: 'Head' is …
Collins COBUILD Advanced Learner's English Dictionary
THEOREM — noun COLLOCATIONS FROM CORPUS ■ VERB prove ▪ To help prove this theorem we shall need to call upon the …
Longman DOCE5 Extras English vocabulary
HEAD
Longman DOCE5 Extras English vocabulary
THEOREM — n. Bernoulli's theorem binomial theorem central limit theorem Fermat's last theorem fundamental theorem of algebra fundamental theorem of arithmetic fundamental …
Britannica Concise Encyclopedia
THEOREM — n. In mathematics or logic, a statement whose validity has been established or proved. It consists of a hypothesis and …
Britannica Concise Encyclopedia
NORMALISATION — 1. < data processing > A transformation applied uniformly to each element in a set of data so that the …
FOLDOC Computer English Dictionary
THEOREM — n. 1 hypothesis, proposition, assumption, conjecture, thesis, postulate He has set forth a clever proof of the binomial theorem 2 …
Oxford Thesaurus English vocab
THEOREM — сущ. теорема to deduce a theorem ≈ выводить теорему to formulate a theorem ≈ формулировать теорему to prove a theorem …
Большой Англо-Русский словарь
HEAD
Большой Англо-Русский словарь
NORMALISATION — Нормальная форма
Американский Англо-Русский словарь
THEOREM — theorem.ogg 1. ʹθıərəm n теорема by theorem - по /согласно/ теореме reciprocal theorem - обратная теорема to prove the theorem …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
HEAD
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
THEOREM — 1) теорема 2) формула • - approximation theorem - area moment theorems - Bayes theorem - Bernoulli theorem - binomial …
Большой Англо-Русский политехнический словарь
HEAD
Большой Англо-Русский политехнический словарь
THEOREM — 1) теорема 2) формула • - approximation theorem - area moment theorems - Bayes theorem - Bernoulli theorem - binomial theorem - Campbell's theorem - divergence theorem - duality theorem - …
Большой Англо-Русский политехнический словарь - РУССО
HEAD
Большой Англо-Русский политехнический словарь - РУССО
THEOREM — теорема absolute geometrical theorem — абсолютная геометрическая теорема analytical enumeration theorem — теорема об аналитическом перечислении analytical hierarchy theorem — теорема об аналитической …
Англо-Русский научно-технический словарь
HEAD — head сущ.1) а) голова to bare one's head — обнажать голову, снимать шапку to bow one's head — наклонять/склонять голову …
Англо-Русский словарь Tiger
THEOREM — 1. ʹθıərəm n теорема by theorem - по /согласно/ теореме reciprocal theorem - обратная теорема to prove the theorem - …
Большой новый Англо-Русский словарь
HEAD
Большой новый Англо-Русский словарь
THEOREM — сущ. теорема to deduce a theorem — выводить теорему to formulate a theorem — формулировать теорему to prove a theorem …
Англо-Русский словарь по общей лексике
HEAD — 1. сущ. 1) а) голова to bare one's head — обнажать голову, снимать шапку to bow one's head — наклонять …
Англо-Русский словарь по общей лексике
THEOREM — сущ. теорема to deduce a theorem — выводить теорему to formulate a theorem — формулировать теорему to prove a theorem — доказывать теорему to test …
Англо-Русский словарь общей лексики
HEAD — 1. сущ. 1) а) голова to bare one's head — обнажать голову, снимать шапку to bow one's head — наклонять /склонять голову to drop, hang, …
Англо-Русский словарь общей лексики
THEOREM — в соч. - Castigliano's first theorem - Castigliano's second theorem
Англо-Русский словарь по машиностроению и автоматизации производства 2
HEAD
Англо-Русский словарь по машиностроению и автоматизации производства 2
THEOREM — в соч. - Castigliano's first theorem - Castigliano's second theorem
Англо-Русский словарь по машиностроению и автоматизации производства
HEAD
Англо-Русский словарь по машиностроению и автоматизации производства
HEAD — 1. _n. 1> голова; (by) a head taller - на голову выше; from head to foot/heel, head to foot - …
Англо-Русский словарь Мюллера - 24 редакция
HEAD — 1. n. 1. голова; (by) a head taller - на голову выше; from head to foot/heel, head to foot - …
Англо-Русский словарь Мюллера - редакция bed
THEOREM — теорема - Church - Rosser theorem - Shannon's expansion theorem - equivalence theorem - mean value theorem - sampling theorem …
Англо-Русский словарь по компьютерам
THEOREM — теорема; предложение - theorem of joint translation - theorem of least work - theorem of three moments
Англо-Русский словарь по строительству и новым строительным технологиям
HEAD
Большой Англо-Русский словарь по нефти и газу
THEOREM — теорема - Church - Rosser theorem - equivalence theorem - mean value theorem - sampling theorem - schemata-based theorem - second limit theorem - Shannon's expansion theorem - …
Англо-Русский словарь по вычислительной технике и программированию
HEAD — 1) головка; магнитная головка 2) заголовок; рубрика; "шапка" 3) дескриптор 4) голова; головная часть (таблицы); голова [левая часть] хорновской формулы (в языке ПРОЛОГ) • - …
Англо-Русский словарь по вычислительной технике и программированию
HEAD — 1. _n. 1> голова; (by) a head taller на голову выше; from head to foot (или heel), head to foot …
Англо-Русский словарь Мюллера
THEOREM — теорема - Church - Rosser theorem - Shannon's expansion theorem - equivalence theorem - mean value theorem - sampling theorem …
Англо-Русский словарь компьютерных терминов
THEOREM — теорема - theorem of mean - theorem of total probability - addition theorem - basic theorems of probability - basis …
Англо-Русский словарь по экономике и финансам
HEAD — 1) верхняя часть, верхний элемент (конструкции) , оголовок 2) верхний брус дверной или оконной коробки 3) концевая черепица, "половинки" 4) …
Англо-Русский строительный словарь
THEOREM — теорема - theorem of least work - theorem of minimum potential energy - theorem of three moments - theorem of …
Англо-Русский строительный словарь
THEOREM — - acoustical reciprocity theorem - power-transfer theorem - sampling theorem - Shannon theorems - shifting theorem
Англо-Русский словарь по телекоммуникациям
HEAD — 1) головная [передняя] часть 2) головка 3) верхняя часть, крышка 4) верхнее [головное] поле (страницы) 5) верхний обрез (книги) 6) …
Англо-Русский словарь по полиграфии и издательскому делу
THEOREM — теорема см. Bayes' theorem см. Chinese remainder theorem см. factorization theorem см. Fermat theorem см. prime number theorem см. random …
Англо-Русский словарь компьютерной безопасности
THEOREM — сущ. теорема to deduce a theorem ≈ выводить теорему to formulate a theorem ≈ формулировать теорему to prove a theorem …
Новый большой Англо-Русский словарь

FOLDOC Computer English Dictionary

← HDX HEAD-STRICT→