KNASTER–TARSKI THEOREM

Англо-русский перевод KNASTER–TARSKI THEOREM

Теорема Кнастера-Тарского

American English-Russian dictionary. Американский Англо-Русский словарь. 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
THEOREM — (v. t.) To formulate into a theorem.
Английский словарь Webster
THEOREM — ( v. t. ) To formulate into a theorem.
Webster's Revised Unabridged English Dictionary
TARSKI — /tahr"skee/ , n. Alfred , born 1902, U.S. mathematician and logician, born in Poland.
Random House Webster's Unabridged English Dictionary
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
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
THEOREM — theo ‧ rem /ˈθɪərəm $ ˈθiːə-/ BrE AmE noun [countable] [ Word Family: noun : ↑ theorist , ↑ theory …
Longman Dictionary of Contemporary English
THEOREM — noun COLLOCATIONS FROM CORPUS ■ VERB prove ▪ To help prove this theorem we shall need to call upon the …
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
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 …
Большой Англо-Русский словарь
THEOREM — theorem.ogg 1. ʹθıərəm n теорема by theorem - по /согласно/ теореме reciprocal theorem - обратная теорема to prove the theorem …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
THEOREM — 1) теорема 2) формула • - approximation theorem - area moment theorems - Bayes theorem - Bernoulli theorem - binomial …
Большой Англо-Русский политехнический словарь
THEOREM — 1) теорема 2) формула • - approximation theorem - area moment theorems - Bayes theorem - Bernoulli theorem - binomial theorem - Campbell's theorem - divergence theorem - duality theorem - …
Большой Англо-Русский политехнический словарь - РУССО
THEOREM — теорема absolute geometrical theorem — абсолютная геометрическая теорема analytical enumeration theorem — теорема об аналитическом перечислении analytical hierarchy theorem — теорема об аналитической …
Англо-Русский научно-технический словарь
THEOREM — 1. ʹθıərəm n теорема by theorem - по /согласно/ теореме reciprocal theorem - обратная теорема to prove the theorem - …
Большой новый Англо-Русский словарь
THEOREM — сущ. теорема to deduce a theorem — выводить теорему to formulate a theorem — формулировать теорему to prove a theorem …
Англо-Русский словарь по общей лексике
THEOREM — сущ. теорема to deduce a theorem — выводить теорему to formulate a theorem — формулировать теорему to prove a theorem — доказывать теорему to test …
Англо-Русский словарь общей лексики
THEOREM — в соч. - Castigliano's first theorem - Castigliano's second theorem
Англо-Русский словарь по машиностроению и автоматизации производства 2
THEOREM — в соч. - Castigliano's first theorem - Castigliano's second theorem
Англо-Русский словарь по машиностроению и автоматизации производства
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
Англо-Русский словарь по строительству и новым строительным технологиям
THEOREM — теорема - Church - Rosser theorem - equivalence theorem - mean value theorem - sampling theorem - schemata-based theorem - second limit theorem - Shannon's expansion theorem - …
Англо-Русский словарь по вычислительной технике и программированию
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 …
Англо-Русский словарь по экономике и финансам
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
Англо-Русский словарь по телекоммуникациям
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 …
Новый большой Англо-Русский словарь
TARSKI, ALFRED — born Jan. 14, 1902, Warsaw, Pol., Russian Empire died Oct. 26, 1983, Berkeley, Calif., U.S. Polish-born American mathematician and logician …
Britannica English vocabulary
BANACH-TARSKI PARADOX — < mathematics > It is possible to cut a solid ball into finitely many pieces (actually about half a dozen), …
FOLDOC Computer English Dictionary
BANACH–TARSKI PARADOX — Парадокс Банаха — Тарского
Американский Англо-Русский словарь
ALFRED TARSKI — Тарский, Альфред
Американский Англо-Русский словарь
ТЕОРЕМА КНАСТЕРА-ТАРСКОГО — Knaster–Tarski theorem
Русско-Американский Английский словарь
ТЕОРЕМА КНАСТЕРА — ТАРСКОГО — Knaster–Tarski theorem
Русско-Американский Английский словарь
TARSKI, ALFRED — (1902-1983) Тарский, Альфред Американский логик и математик польского происхождения. Внес значительный вклад в разработку математической логики, теории множеств, теории моделей и …
TARSKI, ALFRED — (1902-1983) Тарский, Альфред Американский логик и математик польского происхождения. Внес значительный вклад в разработку математической логики, теории множеств, теории моделей …
SET THEORY — branch of mathematics that deals with the properties of well-defined collections of objects, which may be of a mathematical nature, …
Britannica English vocabulary
OBJECT LANGUAGE — in semantics and logic, the ordinary language used to talk about things or objects in the worldas contrasted with metalanguage, …
Britannica English vocabulary
METALOGIC — the study and analysis of the semantics (relations between expressions and meanings) and syntax (relations among expressions) of formal languages …
Britannica English vocabulary
METALANGUAGE — in semantics and philosophy, language used for the analysis of object language (language that is used to talk about objects …
Britannica English vocabulary
MATHEMATICS, FOUNDATIONS OF — the study of the logical and philosophical basis of mathematics, including whether the axioms of a given system ensure its …
Britannica English vocabulary
LOGIC, PHILOSOPHY OF — the study, from a philosophical perspective, of the nature and types of logic, including problems in the field and the …
Britannica English vocabulary
LOGIC, HISTORY OF — In 1900 logic was poised on the brink of the most active period in its history. The late 19th-century work …
Britannica English vocabulary
PHILOSOPHER — n. 25B6; noun THINKER, theorist, theorizer, theoretician, metaphysicist, metaphysician; scholar, intellectual, sage, wise man. See list. Philosophers Abelard, Peter (French) …
Concise Oxford Thesaurus English vocabulary
MATHEMATICS — infinity inner product algebra logic prime number theorem Rayleigh distribution set theory Mandelbrot set fractal logarithmus dualis characteristic function sine …
FOLDOC Computer English Dictionary
AXIOM OF CHOICE — < mathematics > (AC, or "Choice") An axiom of set theory : If X is a set of sets, and …
FOLDOC Computer English Dictionary
ТАРСКИЙ, АЛЬФРЕД — Alfred Tarski
Русско-Американский Английский словарь
ПАРАДОКС БАНАХА — ТАРСКОГО — Banach–Tarski paradox
Русско-Американский Английский словарь
POLISH-AMERICANS — американцы польского происхождения Крупнейшая этническая группа славянского происхождения. По различным оценкам выходцы из Польши и их потомки насчитывают от 5 до …
POLISH-AMERICANS — американцы польского происхождения Крупнейшая этническая группа славянского происхождения. По различным оценкам выходцы из Польши и их потомки насчитывают от 5 …

Американский Англо-Русский словарь

← KNAPSACK PROBLEM KNEADING ROLLER→