INTUITIONISTIC IMPLICATION

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

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

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

INTUITIONISTIC IMPLICATION — мат. интуиционистская импликация
Большой Англо-Русский словарь
INTUITIONISTIC IMPLICATION — мат. интуиционистская импликация
Новый большой Англо-Русский словарь
IMPLICATION — in logic, a relationship between two propositions in which the second is a logical consequence of the first. In most …
Britannica English vocabulary
IMPLICATION — n implication (= condition of being implicated)
Interlingua English vocab
IMPLICATION — In logic , a relation that holds between two propositions when they are linked as antecedent and consequent of a …
Английский словарь Британика
INTUITIONISTIC — adjective see intuitionist II
Webster's New International English Dictionary
IMPLICATION — ˌ ̷ ̷ ̷ ̷ˈkāshən noun ( -s ) Etymology: Middle English implicacioun, from Latin implication-, implicatio, from implicatus, + -ion-, -io -ion 1. …
Webster's New International English Dictionary
IMPLICATION — — implicational , adj. /im'pli kay"sheuhn/ , n. 1. something implied or suggested as naturally to be inferred or understood: …
Random House Webster's Unabridged English Dictionary
IMPLICATION — noun Date: 15th century 1. a. : the act of implicating : the state of being implicated b. : close …
Merriam-Webster's Collegiate English vocabulary
IMPLICATION — noun the act of implicating, or the state of being implicated. 2. implication ·noun an implying, or that which is …
Webster English vocab
IMPLICATION — [im.pli.ca.tion] n (15c) 1 a: the act of implicating: the state of being implicated b: close connection; esp: an incriminating …
Merriam-Webster English vocab
IMPLICATION — implication BrE AmE ˌɪmp lɪ ˈkeɪʃ ə n -lə- ▷ implication|s z
Longman Pronunciation English Dictionary
IMPLICATION
Oxford Advanced Learner's English Dictionary
IMPLICATION — im ‧ pli ‧ ca ‧ tion S3 W2 AC /ˌɪmpləˈkeɪʃ ə n, ˌɪmplɪˈkeɪʃ ə n/ BrE AmE noun [ …
Longman Dictionary of Contemporary English
IMPLICATION — ( implications) Frequency: The word is one of the 3000 most common words in English. 1. The implications of something …
Collins COBUILD Advanced Learner's English Dictionary
IMPLICATION
Longman DOCE5 Extras English vocabulary
IMPLICATION — [noun] [U]His implication of his co-workers in the fraud was crucial to the government's case.See also implication at imply.
Cambridge English vocab
IMPLICATION — noun 1 possible effect/result ADJECTIVE ▪ considerable , crucial , enormous , important , major , massive , significant , …
Oxford Collocations English Dictionary
IMPLICATION — n. 25B6; noun he was smarting at their implication : SUGGESTION, inference, insinuation, innuendo, hint, intimation, imputation. important political implications …
Concise Oxford Thesaurus English vocabulary
IMPLICATION — n. 1 involvement, connection, inclusion, association, entanglement My implication in that affair was minimal 2 suggestion, hint, insinuation, innuendo, intimation …
Oxford Thesaurus English vocab
INTUITIONISTIC — интуиционистский, интуиционистический intuitionistic consequence operation ≈ интуиционистская операция присоединения следствий intuitionistic propositional tautology ≈ интуиционистская пропозициональная тавтология - intuitionistic algebra …
Большой Англо-Русский словарь
IMPLICATION — сущ. 1) а) вовлечение, привлечение; включение His implication of his co-workers in the fraud was crucial. ≈ Вовлечение его сотрудников …
Большой Англо-Русский словарь
IMPLICATION — implication.ogg ͵ımplıʹkeıʃ(ə)n n 1. 1> вовлечение, впутывание 2> замешанность, причастность; соучастие ( в преступлении т. п. ) 2. (скрытый) смысл, …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
INTUITIONISTIC — интуиционистский, интуиционистический intuitionistic consequence operation — интуиционистская операция присоединения следствий intuitionistic propositional tautology — интуиционистская пропозициональная тавтология - intuitionistic algebra - intuitionistic analysis - intuitionistic …
Англо-Русский научно-технический словарь
IMPLICATION — 1) влечение 2) вовлечение 3) двойная стрелка 4) значение 5) импликация 6) причастность 7) следствие 8) смысл • logic of strict implication — логика строгой импликации principal implication sign — …
Англо-Русский научно-технический словарь
IMPLICATION — n 1. 1> вовлечение, впутывание 2> замешанность, причастность; соучастие ( в преступлении т. п. ) 2. (скрытый) смысл, значение historical …
Большой новый Англо-Русский словарь
IMPLICATION — сущ. 1) а) вовлечение, привлечение; включение His implication of his co-workers in the fraud was crucial. — Решающим было то, …
Англо-Русский словарь по общей лексике
IMPLICATION — сущ. 1) а) вовлечение, привлечение; включение His implication of his co-workers in the fraud was crucial. — Решающим было то, что он вовлек …
Англо-Русский словарь общей лексики
IMPLICATION — _n. 1> вовлечение 2> замешанность, причастность, соучастие 3> то, что подразумевается; подтекст; смысл; the implication of events - смысл, значение …
Англо-Русский словарь Мюллера - 24 редакция
IMPLICATION — n. 1. вовлечение 2. замешанность, причастность, соучастие 3. то, что подразумевается; подтекст; смысл; the implication of events - смысл, значение …
Англо-Русский словарь Мюллера - редакция bed
IMPLICATION — 1) вовлечение, включение 2) логика импликация - biconditional implication - conditional implication - formal implication - material implication - strict …
Англо-Русский словарь по компьютерам
IMPLICATION — сущ.; юр. 1) скрытый смысл necessary implication — с необходимостью подразумеваемое положение 2) вовлечение 3) вывод 4) предпосылка • - by implication - financial implications - social implication Syn: consequence, recapitulation, …
Англо-Русский словарь по экономике
IMPLICATION — 1) вовлечение, включение 2) логика импликация • - biconditional implication - conditional implication - formal implication - material implication - strict implication
Англо-Русский словарь по вычислительной технике и программированию
IMPLICATION — _n. 1> вовлечение 2> замешанность, причастность, соучастие 3> то, что подразумевается; подтекст; смысл; by implication косвенно; the implication of events …
Англо-Русский словарь Мюллера
IMPLICATION — 1) то, что подразумевается; подразумеваемое положение, условие; скрытый смысл 2) вывод; положение, выведенное в порядке логического рассуждения 3) замешанность, причастность, соучастие (в …
Англо-Русский юридический словарь
INTUITIONISTIC — интуиционистский, интуиционистический intuitionistic consequence operation ≈ интуиционистская операция присоединения следствий intuitionistic propositional tautology ≈ интуиционистская пропозициональная тавтология - intuitionistic algebra …
Новый большой Англо-Русский словарь
IMPLICATION — сущ. 1) а) вовлечение, привлечение; включение His implication of his co-workers in the fraud was crucial. ≈ Вовлечение его сотрудников …
Новый большой Англо-Русский словарь
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
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 CONTINUUM INTUITIONISTIC LOGIC→