INTUITIONISTIC SYSTEM

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

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

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

INTUITIONISTIC SYSTEM — мат. интуиционистская система
Большой Англо-Русский словарь
INTUITIONISTIC SYSTEM — матем. интуиционистская система
Англо-Русский научно-технический словарь
SYSTEM — [c mediumvioletred] (as used in expressions) Small Computer System Interface ABO blood group system actor manager system American System of …
Английский словарь Британика
INTUITIONISTIC — adjective see intuitionist II
Webster's New International English Dictionary
SYSTEM — ˈsistə̇m noun ( -s ) Etymology: Late Latin systema, from Greek systēma, from synistanai to bring together, combine, from syn- …
Webster's New International English Dictionary
SYSTEM — / ˈsɪstəm; NAmE / noun 1. [ C ] system (of / for sth) an organized set of ideas or …
Oxford Advanced Learner's English Dictionary
SYSTEM — sys ‧ tem S1 W1 /ˈsɪstəm, ˈsɪstɪm/ BrE AmE noun [ Word Family: noun : ↑ system , ↑ systematization …
Longman Dictionary of Contemporary English
SYSTEM — ( systems) Frequency: The word is one of the 700 most common words in English. 1. A system is a …
Collins COBUILD Advanced Learner's English Dictionary
SYSTEM — noun COLLOCATIONS FROM OTHER ENTRIES a class system/structure (= a social system that has classes ) ▪ He felt he …
Longman DOCE5 Extras English vocabulary
SYSTEM — n. free enterprise system Small Computer System Interface ABO blood group system actor manager system American System of manufacture Apgar …
Britannica Concise Encyclopedia
SYSTEM — An orderly, interconnected, complex arrangement of parts. See air filtration system , air injection reaction system , anti-lock brake system …
English Dictionary of Automotive Terms
INTUITIONISTIC — интуиционистский, интуиционистический intuitionistic consequence operation ≈ интуиционистская операция присоединения следствий intuitionistic propositional tautology ≈ интуиционистская пропозициональная тавтология - intuitionistic algebra …
Большой Англо-Русский словарь
SYSTEM — system.ogg ʹsıstım n 1. 1> система; способ; метод a good system of teaching French - хорошая система /-ий метод/ обучения …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
SYSTEM — 1) система; комплекс 2) установка; устройство 3) система; порядок; классификация 4) метод; способ • to bleed system free from air …
Большой Англо-Русский политехнический словарь
SYSTEM — 1) система; комплекс 2) установка; устройство 3) система; порядок; классификация 4) метод; способ • to bleed system free from air — прокачивать систему для удаления …
Большой Англо-Русский политехнический словарь - РУССО
SYSTEM — 1) комплекс 2) множество 3) область 4) система 5) системный 6) совокупность 7) схемный 8) устройство • absolutely complete system — абсолютно полная система absolutely direct indecomposable system — абсолютно …
Англо-Русский научно-технический словарь
INTUITIONISTIC — интуиционистский, интуиционистический intuitionistic consequence operation — интуиционистская операция присоединения следствий intuitionistic propositional tautology — интуиционистская пропозициональная тавтология - intuitionistic algebra - intuitionistic analysis - intuitionistic …
Англо-Русский научно-технический словарь
SYSTEM — n 1. 1> система; способ; метод a good system of teaching French - хорошая система /-ий метод/ обучения французскому языку …
Большой новый Англо-Русский словарь
SYSTEM
Англо-Русский словарь по машиностроению и автоматизации производства 2
SYSTEM
Англо-Русский словарь по машиностроению и автоматизации производства
SYSTEM — система - absorbent system - accessory olfactory system - action system - adaptive enzyme system - adrenal system - alimentary system - ambulacral system - artificial communication system - …
Новый Англо-Русский словарь по биологии
SYSTEM — система - absorbent system - accessory olfactory system - action system - adaptive enzyme system - adrenal system - alimentary …
Новый Англо-Русский биологический словарь
SYSTEM — 1) система || системный 2) система; установка; устройство; комплекс 3) программа - AI planning system - AI system - CAD …
Англо-Русский словарь по компьютерам
SYSTEM — 1) система; сеть; комплекс 2) установка, устройство 3) план; расположение 4) система; порядок; классификация • system in equilibrium — равновесная система - acoustic signalling system - active …
Англо-Русский словарь по строительству и новым строительным технологиям
SYSTEM — 1. система 2. агрегат; устройство; устройство 3. совокупность; семейство to troubleshoot system — отыскивать и устранять неисправности в системе; system with arbitrary …
Большой Англо-Русский словарь по нефти и газу
SYSTEM — сущ. 1) система 2) способ 3) метод 4) сеть 5) устройство 6) строй • - Accelerated Cost Recovery System - accounting system - administrative system - advanced system - alarm system - automated …
Англо-Русский словарь по экономике
SYSTEM — 1) система || системный 2) система; установка; устройство; комплекс 3) программа • - accounting system - adaptive control system - address selection system - addressing system - advice-giving …
Англо-Русский словарь по вычислительной технике и программированию
SYSTEM — 1) система; способ; метод 2) устройство; строй 3) классификация 4) учение 5) сеть (дорог) - systems and procedures - system …
Англо-Русский словарь по экономике и финансам
SYSTEM — 1) система; сеть (напр. трубопроводов) ; устройство 2) способ, метод - system in equilibrium - system of forces - system …
Англо-Русский строительный словарь
SYSTEM — 1) система; комплекс 2) метод; способ 3) канал 4) вычислительная система • - access control system - acoustic alarm system - acoustic image system - acoustic systems - actiontrack …
Англо-Русский словарь по телекоммуникациям
SYSTEM — система - apprenticeship system - case system - commission system - correctional system - correction system - examination system - first-to-file system - international trusteeship system - judicial system - …
Англо-Русский юридический словарь
SYSTEM — 1) система 2) устройство - system for guiding and supporting the web - Agate measuring system - air conveying system …
Англо-Русский словарь по полиграфии и издательскому делу
SYSTEM — система - accessory system - active antinoise system - active damping system - air brake system - air gulp system - air induction system - air intake …
Англо-Русский автомобильный словарь - Руссо
SYSTEM — система ; способ ; метод ; сеть ; строй ; формация ; учение ; ~ systems approach ; ~ systems …
Англо-Русский Деловой словарь
SYSTEM — 1) комплекс; совокупность; система 2) устройство 3) метод; план, проект; программа • - abstract information retrieval system - alert information system - automated design system - binary …
Англо-Русский словарь по патентам и товарным знакам
SYSTEM — система см. break the system см. communicate with system см. access control system см. access control list system см. access …
Англо-Русский словарь компьютерной безопасности
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 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 ≈ классическое исчисление высказываний, классическое …
Большой Англо-Русский словарь
LOGIC — сущ. логика to apply, use logic ≈ применять логику There is no logic in their policy. ≈ Их политика нелогична. …
Большой Англо-Русский словарь
TAUTOLOGY — тавтология intuitionistic propositional tautology — интуиционистская пропозициональная тавтология positive predicate tautology — позитивная предикатная тавтология positive propositional tautology — позитивная пропозициональная тавтология - classical …
Англо-Русский научно-технический словарь

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

← INTUITIONISTIC PROOF INTUITIONISTIC TAUTOLOGY→