INTUITIONISTIC MATHEMATICS

Англо-русский перевод INTUITIONISTIC MATHEMATICS

матем. интуиционистская математика

English-Russian scientific and technological dictionary . Англо-Русский научно-технический словарь. 2005

INTUITIONISTIC MATHEMATICS — мат. интуиционистская математика
Большой Англо-Русский словарь
INTUITIONISTIC MATHEMATICS — мат. интуиционистская математика
Новый большой Англо-Русский словарь
MATHEMATICS — Science of structure, order, and relation that has evolved from counting, measuring, and describing the shapes of objects. It deals …
Английский словарь Британика
INTUITIONISTIC — adjective see intuitionist II
Webster's New International English Dictionary
MATHEMATICS — ˌmathəˈmad.]iks, -at], ]ēks sometimes mathˈma-\ noun plural but usually singular in construction ( also math·e·mat·ic ) Etymology: mathematics probably from …
Webster's New International English Dictionary
MATHEMATICS — noun plural but usually singular in construction Date: 1573 1. : the science of numbers and their operations, interrelations, combinations, …
Merriam-Webster's Collegiate English vocabulary
MATHEMATICS — [math.e.mat.ics] n pl but usu sing in constr (1581) 1: the science of numbers and their operations, interrelations, combinations, generalizations, …
Merriam-Webster English vocab
MATHEMATICS — the science of structure, order, and relation that has evolved from elemental practices of counting, measuring, and describing the shapes …
Britannica English vocabulary
MATHEMATICS — mathematics BrE AmE ˌmæθ ə ˈmæt ɪks -ɪ-; mæθ ˈmæt- AmE \ -ˈmæt̬ ɪks
Longman Pronunciation English Dictionary
MATHEMATICS — / ˌmæθəˈmætɪks; NAmE / (also BrE informal maths / mæθs; NAmE /) (also NAmE informal math / mæθ; NAmE /) …
Oxford Advanced Learner's English Dictionary
MATHEMATICS — math ‧ e ‧ mat ‧ ics /ˌmæθəˈmætɪks, ˌmæθɪˈmætɪks/ BrE AmE noun [uncountable] [ Date: 1500-1600 ; Language: Latin ; …
Longman Dictionary of Contemporary English
MATHEMATICS — n.pl. 1 (also treated as sing.) the abstract science of number, quantity, and space studied in its own right (pure …
Английский основной разговорный словарь
MATHEMATICS — n.pl. 1 (also treated as sing.) the abstract science of number, quantity, and space studied in its own right (pure …
Concise Oxford English Dictionary
MATHEMATICS — n.pl. 1. (also treated as sing.) the abstract science of number, quantity, and space studied in its own right (pure …
Oxford English vocab
MATHEMATICS — 1. Mathematics is the study of numbers, quantities, or shapes. ...a professor of mathematics at Boston College. N-UNCOUNT 2. The …
Collins COBUILD Advanced Learner's English Dictionary
MATHEMATICS — noun COLLOCATIONS FROM OTHER ENTRIES a branch of mathematics/physics/biology etc higher mathematics teach (sb) English/mathematics/history etc ▪ He taught geography …
Longman DOCE5 Extras English vocabulary
MATHEMATICS — Synonyms and related words : Boolean algebra, Euclidean geometry, Fourier analysis, Lagrangian function, algebra, algebraic geometry, algorism, algorithm, analysis, analytic …
Moby Thesaurus English vocabulary
MATHEMATICS — noun BAD : Mathematics are my favourite subject. GOOD : Mathematics is my favourite subject. ◆◆◆ Mathematics (the subject) is …
Longman Common Errors English vocabulary
MATHEMATICS — сущ. математика elementary mathematics higher mathematics употр. с гл. в ед. ч.: математика - applied * прикладная математика - computing …
Большой Англо-Русский словарь
INTUITIONISTIC — интуиционистский, интуиционистический intuitionistic consequence operation ≈ интуиционистская операция присоединения следствий intuitionistic propositional tautology ≈ интуиционистская пропозициональная тавтология - intuitionistic algebra …
Большой Англо-Русский словарь
MATHEMATICS — mathematics.ogg ͵mæθıʹmætıks n 1. употр. с гл. в ед. ч. математика applied mathematics - прикладная математика computing mathematics - вычислительная …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
MATHEMATICS — математика - applied mathematics - computational mathematics - higher mathematics
Большой Англо-Русский политехнический словарь
MATHEMATICS — математика - applied mathematics - computational mathematics - higher mathematics
Большой Англо-Русский политехнический словарь - РУССО
MATHEMATICS — математика absolute [abstract] mathematics — чистая математика constructible [constructive] mathematics — конструктивная математика it is beyond the resources of mathematics — это не …
Англо-Русский научно-технический словарь
INTUITIONISTIC — интуиционистский, интуиционистический intuitionistic consequence operation — интуиционистская операция присоединения следствий intuitionistic propositional tautology — интуиционистская пропозициональная тавтология - intuitionistic algebra - intuitionistic analysis - intuitionistic …
Англо-Русский научно-технический словарь
MATHEMATICS — n 1. употр. с гл. в ед. ч. математика applied mathematics - прикладная математика computing mathematics - вычислительная математика pure …
Большой новый Англо-Русский словарь
MATHEMATICS — сущ. математика - elementary mathematics - higher mathematics
Англо-Русский словарь по общей лексике
MATHEMATICS — сущ. математика - elementary mathematics - higher mathematics
Англо-Русский словарь общей лексики
MATHEMATICS — в соч. - applied mathematics - floating-point mathematics - industrial mathematics - NURBS mathematics
Англо-Русский словарь по машиностроению и автоматизации производства 2
MATHEMATICS — в соч. - applied mathematics - floating-point mathematics - industrial mathematics - NURBS mathematics
Англо-Русский словарь по машиностроению и автоматизации производства
MATHEMATICS — математика - Boolean mathematics - applied mathematics - calculus mathematics - symbolic mathematics - mathematics of logic
Англо-Русский словарь по компьютерам
MATHEMATICS — сущ. 1) математика 2) математическая трактовка 3) математическая сторона вопроса - actuarial mathematics - applied mathematics
Англо-Русский словарь по экономике
MATHEMATICS — математика - applied mathematics - Boolean mathematics - calculus mathematics - mathematics of logic - symbolic mathematics
Англо-Русский словарь по вычислительной технике и программированию
MATHEMATICS — математика - Boolean mathematics - applied mathematics - calculus mathematics - symbolic mathematics - mathematics of logic
Англо-Русский словарь компьютерных терминов
MATHEMATICS — математика; математическая трактовка; математическая сторона вопроса - actuarial mathematics - applied mathematics
Англо-Русский словарь по экономике и финансам
MATHEMATICS — сущ. математика elementary mathematics higher mathematics употр. с гл. в ед. ч.: математика - applied * прикладная математика - computing …
Новый большой Англо-Русский словарь
INTUITIONISTIC — интуиционистский, интуиционистический intuitionistic consequence operation ≈ интуиционистская операция присоединения следствий intuitionistic propositional tautology ≈ интуиционистская пропозициональная тавтология - intuitionistic algebra …
Новый большой Англо-Русский словарь
INTUITIONISTIC PROBABILITY — < logic > Florentin Smarandache's representation of the probability of an event occuring, given by T, I, F which are …
FOLDOC Computer English Dictionary
INTUITIONISTIC LOGIC — < logic , mathematics > Brouwer's foundational theory of mathematics which says that you should not count a proof of …
FOLDOC Computer English Dictionary
INTUITIONISTIC UNPROVABLE — мат. интуиционистская недоказуемость
Большой Англо-Русский словарь
INTUITIONISTIC THEOR — мат. интуиционистская теория
Большой Англо-Русский словарь
INTUITIONISTIC TAUTOLOGY — мат. интуиционистская тавтология
Большой Англо-Русский словарь
INTUITIONISTIC SYSTEM — мат. интуиционистская система
Большой Англо-Русский словарь
INTUITIONISTIC PROOF — мат. интуционистский вывод
Большой Англо-Русский словарь
METALOGIC — the study and analysis of the semantics (relations between expressions and meanings) and syntax (relations among expressions) of formal languages …
Britannica English vocabulary
IMPLICATION — in logic, a relationship between two propositions in which the second is a logical consequence of the first. In most …
Britannica English vocabulary
FORMAL LOGIC — the abstract study of propositions, statements, or assertively used sentences and of deductive arguments. The discipline abstracts from the content …
Britannica English vocabulary
NEUTROSOPHIC SET — < logic > A generalisation of the intuitionistic set , classical set, fuzzy set , paraconsistent set , dialetheist set …
FOLDOC Computer English Dictionary
NEUTROSOPHIC LOGIC — < logic > (Or "Smarandache logic") A generalisation of fuzzy logic based on Neutrosophy . A proposition is t true, …
FOLDOC Computer English Dictionary
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
LOGIC — propositional logic quantifier paradox OR Charme first-order logic complete theory complete inference system complement sound temporal logic inference converse AND …
FOLDOC Computer English Dictionary
LOGIC — 1. < philosophy , mathematics > A branch of philosophy and mathematics that deals with the formal principles, methods and …
FOLDOC Computer English Dictionary
INTUITIONIST LOGIC — < spelling > Incorrect term for " intuitionistic logic ". (1999-11-24)
FOLDOC Computer English Dictionary
INTUITIONISM — intuitionistic logic
FOLDOC Computer English Dictionary
CONSTRUCTIVE — < mathematics > A proof that something exists is "constructive" if it provides a method for actually constructing it. Cantor …
FOLDOC Computer English Dictionary
CLASSICAL LOGIC — < logic > Non- intuitionistic logic . (1995-04-13)
FOLDOC Computer English Dictionary
LOLLI — < language > (Named after the "lollipop" operator "-o") An interpreter for logic programming based on linear logic , written …
FOLDOC Computer English Dictionary
BINPROLOG — < language > Probably the fastest freely available C -emulated Prolog . BinProlog features: logical and permanent global variable s; …
FOLDOC Computer English Dictionary
ИНТУИЦИОНИСТИЧЕСКИЙ — adj. intuitionistic
Russian-English Dictionary of the Mathematical Sciences
INTUITIVE — of intuition, intuitionistic, means something can be seen or perceived directly
Sean Woo's Finance, GIS and Real Estate English Glossary
UNPROVABLE — недоказуемый - intuitionistic unprovable - unprovable formula - unprovable statement недоказуемый
Большой Англо-Русский словарь
PROPOSITIONAL — пропозициональный alphabet of propositional calculus ≈ алфавит исчисления высказываний, алфавит нулевого порядка classical propositional calculus ≈ классическое исчисление высказываний, классическое …
Большой Англо-Русский словарь
LOGIC — сущ. логика to apply, use logic ≈ применять логику There is no logic in their policy. ≈ Их политика нелогична. …
Большой Англо-Русский словарь
TAUTOLOGY — тавтология intuitionistic propositional tautology — интуиционистская пропозициональная тавтология positive predicate tautology — позитивная предикатная тавтология positive propositional tautology — позитивная пропозициональная тавтология - classical …
Англо-Русский научно-технический словарь

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

← INTUITIONISTIC LOGIC INTUITIONISTIC PROOF→