Translation of "mathematical logic" to Russian language:

Dictionary English-Russian

Logic - translation :

Mathematical - translation :

Mathematical logic - translation :

Keywords : логика логики логике логику логикой математической математические математическая математических математическое

Examples (External sources, not reviewed)

Mathematical Logic.	Математическая логика.
Mathematical Logic .	Mathematical Logic .
This is inconsistent in mathematical logic.	Комбинаторная логика в программировании.
McCarthy championed mathematical logic for artificial intelligence.	Маккарти отстаивал использование математической логики для искусственного интеллекта.
Proof theory is a branch of mathematical logic that represents proofs as formal mathematical objects, facilitating their analysis by mathematical techniques.	Теория доказательств это раздел математической логики, представляющий доказательства в виде формальных математических объектов, осуществляя их анализ с помощью математических методов.
As well, he worked in mathematical logic, discovering the many valued logic algebra which bears his name.	Работал клиническим психологом, занимался математической логикой, внес вклад в теорию систем.
Ivor Grattan Guinness, Algebras, Projective Geometry, Mathematical Logic, and Constructing the World.	Ivor Grattan Guinness, Algebras, Projective Geometry, Mathematical Logic, and Constructing the World.
His main interests lie in mathematical logic, model theory in particular, and in axiomatic set theory.	Шелах занимается математической логикой, в частности, теорией моделей и теорией множеств.
He also published papers on mathematical logic, and solved a special case of Hilbert's fifth problem.	Он также опубликовал работы по математической логике и решил особый случай пятой проблемы Хилберта.
In this model, beings and information are modeled as abstract information molecules carrying expressions of mathematical logic.	В этой модели существа и информация смоделированы как абстрактные молекулы информации, несущие на себе выражения, записанные языком математической логики.
He is a mathematician and holds a Ph.D. in Mathematical Logic and Computer Science from Sofia University.	Получил степень доктора по математической логике и информатике в Софийском университете.
Structural induction is a proof method that is used in mathematical logic (e.g., in the proof of Łoś' theorem), computer science, graph theory, and some other mathematical fields.	Структурная индукция метод доказательства, который используется в математической логике (например, в доказательстве теоремы Лося об ультрапроизведениях, информатике, теории графов, и некоторых других областях математики).
And it is our job, understanding the world with the help of mathematical formulas armed with only our logic.	В этом и заключается наша работа понять мир с помощью математических формул, имея лишь логику в нашем распоряжении.
It is assumed to be an unconscious, random, parallel, and distributed computational process, run in mathematical logic by the social structure.	Принято, что КИ является бессознательным, случайным, параллельным и распределенным вычислительным процессом, выполняемом в среде математической логики социальной системой.
The use of formal, mathematical logic in philosophy now resembles the use of maths in science, although it is not as frequent.	В свою очередь, использование формальной логики в философии сродни использованию математики в науке.
American Mathematical Society Mathematical Surveys, vol.	American Mathematical Society Mathematical Surveys, vol.
It's not logic, that logic Libby	Это не логика, логика, что Либби
The author of over 200 books and papers, he was a founder of mathematical logic and set theory, to which he contributed much notation.	Автор более 200 книг и статей, он был одним из основателей математической логики и теории множеств.
The logic you're looking for. And the logic is that there is no logic.	Логика, которую вы ищете, эта логика в том, что здесь нет никакой логики.
AMOF The Amazing Mathematical Object Factory Mathematical Object Exhibit	Mathematical Objects AMOF The Amazing Mathematical Object Factory Mathematical Object Exhibit
Mathematical Syntax	Математический синтаксис
mathematical operators	математические символы
Mathematical Operators	Математические операторы
Mathematical Symbols	Математические символыKCharSelect section name
Mathematical Operators	Математические операторыKCharselect unicode block name
Mathematical engineer.	Инженер математик.
Very mathematical.	Очень математические.
Logic, especially sentential logic, is implemented in computer logic circuits and is fundamental to computer science.	В XX веке математическая логика оформилась в качестве самостоятельной дисциплины в рамках логической науки.
Elementary Logic .	Elementary Logic .
V. LOGIC.	Метафизика.
Logic Game	Логическая играName
Logic Games	Логические игрыName
Logic Buttons	Логические операции и основания
Logic Functions	Соединение 01Comment
Logic Shapes	Логические операцииStencils
Logic Functions	Функция
logic programming.	Некоторые люди называют парадигмой объектно ориентированное программирование .
Same logic.	Та же логика.
The development of the modern so called symbolic or mathematical logic during this period is the most significant in the two thousand year history of logic, and is arguably one of the most important and remarkable events in human intellectual history.	Появление современной математической логики является наиболее значительным событием в истории логики за последние две тысячи лет и, возможно, одним из наиболее важных и примечательных событий в интеллектуальной истории человечества.
American Mathematical Society.	American Mathematical Society, 1967.
American Mathematical Society.	American Mathematical Society.
Oxford Mathematical Monographs.	Oxford Mathematical Monographs.
mathematical function plotter	программа рисования графиков математических функций
Supplemental Mathematical Operators	Дополнительные математические операторы
Mathematical Alphanumeric Symbols	Математические буквенно цифровые символы

Показать эту страницу на русском языке