INTUITIONISTIC CALCULUS

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

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

New large English-Russian dictionary . Новый большой Англо-Русский словарь. 2011

INTUITIONISTIC CALCULUS — мат. интуиционистское исчисление
Большой Англо-Русский словарь
INTUITIONISTIC CALCULUS — матем. интуиционистское исчисление
Англо-Русский научно-технический словарь
CALCULUS — I Field of mathematics that analyzes aspects of change in processes or systems that can be modeled by function s. …
Английский словарь Британика
INTUITIONISTIC — adjective see intuitionist II
Webster's New International English Dictionary
CALCULUS — I. ˈkalkyələs, ˈkau̇k- noun ( plural calcu·li -ˌlī, -ē ; also calcu·lus·es -_ləsə̇z) Etymology: Latin, pebble, stone in the bladder …
Webster's New International English Dictionary
CALCULUS — /kal"kyeuh leuhs/ , n. , pl. calculi /-luy'/ , calculuses . 1. Math. a method of calculation, esp. one of …
Random House Webster's Unabridged English Dictionary
CALCULUS — noun ( plural cal·cu·li -ˌlī, -ˌlē ; also -lus·es ) Etymology: Latin, stone (used in reckoning) Date: 1666 1. a. …
Merriam-Webster's Collegiate English vocabulary
CALCULUS — noun a method of computation; any process of reasoning by the use of symbols; any branch of mathematics that may …
Webster English vocab
CALCULUS — [cal.cu.lus] n, pl -li also -lus.es [L, stone (used in reckoning)] (1666) 1 a: a method of computation or calculation …
Merriam-Webster English vocab
CALCULUS — branch of mathematical analysis concerned with the rates of change of continuous functions as their arguments change. Two men are …
Britannica English vocabulary
CALCULUS — n. (pl. calculuses or calculi) 1 Math. a a particular method of calculation or reasoning (calculus of probabilities). b the …
Английский основной разговорный словарь
CALCULUS — n. (pl. calculuses or calculi) 1 Math. a a particular method of calculation or reasoning (calculus of probabilities). b the …
Concise Oxford English Dictionary
CALCULUS — n. (pl. calculuses or calculi) 1. Math. a a particular method of calculation or reasoning (calculus of probabilities). b the …
Oxford English vocab
CALCULUS — Calculus is a branch of advanced mathematics which deals with variable quantities. N-UNCOUNT
Collins COBUILD Advanced Learner's English Dictionary
CALCULUS — noun COLLOCATIONS FROM OTHER ENTRIES differential calculus COLLOCATIONS FROM CORPUS ■ ADJECTIVE differential ▪ The package is designed to solve, …
Longman DOCE5 Extras English vocabulary
CALCULUS — n. differential calculus fundamental theorem of calculus integral calculus renal calculus predicate calculus propositional calculus
Britannica Concise Encyclopedia
CALCULUS — n. Field of mathematics that analyzes aspects of change in processes or systems that can be modeled by function s. …
Britannica Concise Encyclopedia
INTUITIONISTIC — интуиционистский, интуиционистический intuitionistic consequence operation ≈ интуиционистская операция присоединения следствий intuitionistic propositional tautology ≈ интуиционистская пропозициональная тавтология - intuitionistic algebra …
Большой Англо-Русский словарь
CALCULUS — I сущ.; мн. -li; мед. камень bladder calculi ≈ камни в мочевом пузыре Syn : stone II сущ.; мн. -es …
Большой Англо-Русский словарь
CALCULUS — calculus.ogg _I ʹkælkjʋləs n ( pl тж. -li) 1. мат. исчисление the (differential) calculus - дифференциальное исчисление calculus of probabilities …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
CALCULUS — 1) исчисление; дифференциальное исчисление; интегральное исчисление 2) вычисление; вычисления • - Boolean calculus - calculus of approximations - calculus of …
Большой Англо-Русский политехнический словарь
CALCULUS — 1) исчисление; дифференциальное исчисление; интегральное исчисление 2) вычисление; вычисления • - Boolean calculus - calculus of approximations - calculus of classes - calculus of enlargement - calculus …
Большой Англо-Русский политехнический словарь - РУССО
INTUITIONISTIC — интуиционистский, интуиционистический intuitionistic consequence operation — интуиционистская операция присоединения следствий intuitionistic propositional tautology — интуиционистская пропозициональная тавтология - intuitionistic algebra - intuitionistic analysis - intuitionistic …
Англо-Русский научно-технический словарь
CALCULUS — исчисление predicate calculus with generalization — исчисление предикатов с обобщением predicate calculus with identity — исчисление предикатов единицей predicate calculus without identity — …
Англо-Русский научно-технический словарь
CALCULUS — I сущ.; мн. ч. -li; мед.камень bladder calculi — камни в мочевом пузыре Syn:stone II. сущ.; мн. ч. -es , …
Англо-Русский словарь Tiger
CALCULUS — _I ʹkælkjʋləs n ( pl тж. -li) 1. мат. исчисление the (differential) calculus - дифференциальное исчисление calculus of probabilities - …
Большой новый Англо-Русский словарь
CALCULUS — I ˈkælkjələs сущ. ; мн. calculi, calculuses; мед. камень bladder calculi — камни в мочевом пузыре II ˈkælkjələs сущ. ; …
Англо-Русский словарь по общей лексике
CALCULUS — I ['°‡®°і†®†©] сущ.; мн. calculi, calculuses; мед. камень bladder calculi — камни в мочевом пузыре II ['°‡®°і†®†©] сущ.; мн. calculi, calculuses; мат. исчисление differential calculus — дифференциальное …
Англо-Русский словарь общей лексики
CALCULUS — 1) исчисление; расчёт 2) вычисление; вычисления • - calculus of residues - calculus of variations - operational calculus
Англо-Русский словарь по машиностроению и автоматизации производства 2
CALCULUS — 1) исчисление; расчёт 2) вычисление; вычисления • - calculus of residues - calculus of variations - operational calculus
Англо-Русский словарь по машиностроению и автоматизации производства
CALCULUS — исчисление - extended propositional calculus - functional calculus - many-valued propositional calculus - predicate calculus - propositional calculus - restricted predicate calculus
Новый Англо-Русский словарь по биологии
CALCULUS — исчисление - extended propositional calculus - functional calculus - many-valued propositional calculus - predicate calculus - propositional calculus - restricted …
Новый Англо-Русский биологический словарь
CALCULUS — _I _n. _pl. -li _мед. камень _II _n. _pl. -es _мат. исчисление - differential calculus - integral calculus
Англо-Русский словарь Мюллера - 24 редакция
CALCULUS — I n. pl. -li мед. камень II n. pl. -es мат. исчисление - differential calculus - integral calculus
Англо-Русский словарь Мюллера - редакция bed
CALCULUS — 1) исчисление 2) вычисление; вычисления • - Boolean calculus - calculus of approximations - calculus of residues - extended calculus - functional calculus - higher predicate calculus - index …
Англо-Русский словарь по вычислительной технике и программированию
CALCULUS — _I ˈkælkjuləs _n. (_pl. -li) _мед. камень _II ˈkælkjuləs _n. (_pl. -es ɪz ) _мат. исчисление; differential calculus дифференциальное исчисление; …
Англо-Русский словарь Мюллера
INTUITIONISTIC — интуиционистский, интуиционистический intuitionistic consequence operation ≈ интуиционистская операция присоединения следствий intuitionistic propositional tautology ≈ интуиционистская пропозициональная тавтология - intuitionistic algebra …
Новый большой Англо-Русский словарь
CALCULUS — I сущ.; мн. -li; мед. камень bladder calculi ≈ камни в мочевом пузыре Syn : stone II сущ.; мн. -es …
Новый большой Англо-Русский словарь
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 — мат. интуционистский вывод
Большой Англо-Русский словарь
INTUITIONISTIC MATHEMATICS — мат. интуиционистская математика
Большой Англо-Русский словарь
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 ≈ классическое исчисление высказываний, классическое …
Большой Англо-Русский словарь

Новый большой Англо-Русский словарь

← INTUITIONISTIC AXIOMS INTUITIONISTIC CONSEQUENCE→