MATHEMATICAL LOGIC на Русском - Русский перевод

• математической логике
• математическая логика
• математическую логику
• математической логики

Примеры использования Mathematical logic на Английском языке и их переводы на Русский язык

Mathematical logic.
Математическая логика.

Introduction to Mathematical Logic.
Введение в математическую логику.

Mathematical logic and the theory of algorithms.
Математическая логика и теория алгоритмов.

This work led to fundamental contributions to mathematical logic.
Эта работа внесла фундаментальный вклад в математическую логику.

Mathematical logic I. Beklemishev, Yu. Savateev, V. Shehtman.
Математическая логика Л. Беклемишев, Ю. Саватеев, В. Шехтман.

Elliot Mendelson, Introduction to Mathematical Logic, second edition, 1979.
Мендельсон Э. Введение в математическую логику.- М. Наука, 1971.

Quine's Mathematical Logic also made much of the Sheffer stroke.
Математическая логика» Куайна также во многом основана на Штрихе Шеффера.

Research Institute:"Discrete mathematics and mathematical logic.
Научно-исследовательский институт:« Дискретная математика и математическая логика».

He worked in mathematical logic and class field theory.
Основные труды в области математическая логики и теория полей классов.

Igor Lavrov is the author of more then 50 works in mathematical logic and algorithms theory.
Автор более 50 работ в области математической логики и теории алгоритмов.

Keywords: programming, mathematical logic, teaching, bachelor, labor market, IT companies, competencies.
Ключевые слова: программирование, математическая логика, обучение, бакалавр, рынок труда, IТ- компания, компетенции.

Keywords: mathematical tricks, playing cards, mathematical logic.
Ключевые слова: математические фокусы, игральные карты, математическая логика.

McCarthy championed mathematical logic for artificial intelligence.
Маккарти отстаивал использование математической логики для искусственного интеллекта.

Then thought through all the details, but the gameplay is essentially a mathematical logic.
Тогда все детали продумывали, а игровой процесс, по сути, был математической логики.

Problems in Set Theory, Mathematical Logic, and the Theory of Algorithms.
Основные труды по теории множеств, математической логике, теории алгоритмов и теории групп.

The University of Vienna hosts the Kurt Gödel Research Center for Mathematical Logic.
При Венском университете существует Исследовательский центр по математической логике имени Геделя.

He also published papers on mathematical logic, and solved a special case of Hilbert's fifth problem.
Также опубликовал работы по математической логике и решил частный случай пятой проблемы Гильберта.

Key words: setting of aims, elaboration of learning courses, higher education, mathematical logic.
Ключевые слова: постановка целей, разработка учебных курсов, высшее образование, математическая логика.

Examples include mathematical logic, classical music, and archaeology; and political organizing among working people.
Примерами могут служить математическая логика, классическая музыка, археология и политические организации среди трудящихся.

Agazzi taught mathematics at Genoa, and philosophy of science and mathematical logic at the Catholic University of Milan.
Агацци преподавал математику в Генуе, философию науки и математическую логику в Католическом Университете Милана.

In mathematical logic, a theory is a formal language consisting of a set of sentences written using a fixed set of symbols.
В математической логике« теория»- это формальный язык, состоящий из множества предложений, записанных с использованием фиксированного набора символов.

It is assumed to be an unconscious, random, parallel, and distributed computational process, run in mathematical logic by the social structure.
Принято, что КИ является бессознательным, случайным, параллельным и распределенным вычислительным процессом, выполняемом в среде математической логики социальной системой.

His research interests include Mathematical logic, computability theory, set theory, Algebra and operator theory.
Его исследовательские интересы включают математическую логику, теорию вычислимости, теорию множеств, алгебру и теорию операторов.

In mathematical logic, a theory is complete if, for every formula in the theory's language, that formula or its negation is demonstrable.
В математической логике теория называется полной, если любая синтаксически корректная замкнутая формула или ее отрицание доказуемы в данной теории.

Kolmogorov seminar on complexity is held by the department of mathematical logic and theory of algorithms in MSU.
Колмогоровский семинар по сложности вычислений и сложности определений кафедры математической логики и теории алгоритмов механико-математического факультета Московского Государственного Университета им.

Mr. Raileanu's formula may have a mathematical logic, but not a legal logic,” Ciocan concluded.(Info-Prim Neo) Central Electoral Comission.
Формула господина Рэйляну может иметь математическую логику, но не имеет законной логики»,- подчеркнул Чокан.( Info- Prim).

In 1928, Ackermann helped David Hilbert turn his 1917- 22 lectures on introductory mathematical logic into a text, Principles of Mathematical Logic..
В 1928 году Аккерман помогал Давиду Гильберту подготовить к публикации лекции 1917- 1922 гг. по введению в математическую логику- Основы теоретической логики нем. Grundzüge der theoretischen Logik.

In mathematical logic, a Herbrand interpretation is an interpretation in which all constants and function symbols are assigned very simple meanings.
В математической логике, Эрбранова интерпретация- это интерпретация, в которой константам и функциональным символам присвоен очень простой смысл.

Mr. Raileanu's formula may have a mathematical logic, but not a legal logic,” Ciocan concluded.(Info-Prim Neo) Constitutional Court declines the PPCD's request to recount ballots.
Формула господина Рэйляну может иметь математическую логику, но не имеет законной логики»,- подчеркнул Чокан.( Info- Prim).

In mathematical logic, the primitive recursive functionals are a generalization of primitive recursive functions into higher type theory.
В математической логике примитивно рекурсивный функционал( англ. primitive recursive functional)- это обобщение понятия примитивно рекурсивной функции на многомерную теорию типов.