МАТЕМАТИЧЕСКОЙ ЛОГИКИ на Английском - Английский перевод

• mathematical logic

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

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

Содержание Язык математических знаков и начала математической логики.
The language of math characters and introduction to math logic.

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

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

В 1961 году он получил в Гарварде должность профессора математической логики и прикладной математики от фонда имени Гордона Маккея.
In 1961, he was appointed Gordon Mckay Professor of Mathematical Logic and Applied Mathematics at Harvard.

Это позволит всем желающим повторить некоторые из них и окунуться в мир иллюзии и математической логики.
This will allow everyone to repeat some of them and plunge into the world of illusion and mathematical logic.

Автор более 200 книг и статей, он был одним из основателей математической логики и теории множеств.
The author of over 200 books and papers, he was a founder of mathematical logic and set theory, to which he contributed much notation.

Один из основоположников квантовой химии в СССР, крупный специалист в области теоретической химии и математической логики.
Prof. Bochvar was one of the leading USSR scientists in the fields of quantum chemistry, theoretical chemistry and math logic.

Гуманизация и гуманитаризация математического образования и роль математической логики в этих процессах.
Humanization and humanitation of mathematical education and role of mathematical logic in these processes.

Мостерин получил начальное логическое образование в Институте математической логики и фундаментальных исследований в Мюнстере Германия.
Mosterín acquired his initial logical formation at the Institut für mathematische Logik und Grundlagenforschung in Münster Germany.

В этой модели существа и информация смоделированы как абстрактные молекулы информации, несущие на себе выражения, записанные языком математической логики.
In this model, beings and information are modeled as abstract information molecules carrying expressions of mathematical logic.

Сыграл ключевую роль в развитии математической логики, аналитической философии и философии науки в Испании и Латинской Америке.
He has played a crucial role in the introduction of mathematical logic, analytical philosophy and philosophy of science in Spain and Latin America.

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

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

Является одним из пионеров математической логики Болгарии, автор болгарской научной школы в области теории исчислимости алгебраической теории рекурсий.
Doyen and pioneer of mathematical logic research in Bulgaria who developed a Bulgarian school in the theory of computability, namely the algebraic(or axiomatic) recursion theory.

Гуманизация и гуманитаризация математического образования и роль математической логики в этих процессах// Информационные технологии в образовании.
Humanization and humanitarization of mathematical education and the role of mathematical logic in these processes// Information technologies in education.

Nazym Kuttygul, Методы преподавания элементов математической логики в классах с углубленным изучением математики, Master, Университет имени Сулеймана Демиреля.
Nazym Kuttygul, Methods of teaching elements of mathematical logic in classes with deep studying mathematics, Master, Suleyman Demirel University.

Димитър Генчев Скордев, родился в 1936 году в Софии- болгарский математик, многолетний преподаватель кафедры математической логики и ее приложений при факультете математики и информатики Софийского университета.
Dimiter Skordev(Bulgarian: Димитър Скордев)(born 1936 in Sofia) is a professor in the Department of Mathematical Logic and Applications, Faculty of Mathematics and Computer Science at the St. Kliment Ohridski University of Sofia.

Изучение интерпретации формальных систем есть раздел математической логики, известный как теория моделей, изучение дедуктивного аппарата формальной системы является разделом теории доказательств.
The study of interpretation of formal systems is the branch of mathematical logic that is known as model theory, and the study of deductive systems is the branch that is known as proof theory.

Предлагается использовать на бинарном уроке веб- документ- интерактивный образовательный модуль« Тригонометрия: Формулы приведения», в котором отражены интегрированные задания на закрепление формул приведения и элементов математической логики.
It is proposed to use in the binary class web-document- interactive educational module"Trigonometry: Reduction formulas", which reflects the integrated tasks on formulas and elements of mathematical logic.

Подход Робинсона, разработанный в 1960- е годы, использует технические средства из математической логики для расширения системы вещественных чисел бесконечно малыми и бесконечно большими числами, как это было в исходной концепции Ньютона- Лейбница.
Robinson's approach, developed in the 1960s, uses technical machinery from mathematical logic to augment the real number system with infinitesimal and infinite numbers, as in the original Newton-Leibniz conception.

Борис Авраамович Трахтенброт( также Борис Абрамович, англ. Boris( Boaz) Trachtenbrot, Trakhtenbrot, Trajtenbrot& Trahtenbrot, ивр. בועז טרכטנברוט‎; 20 февраля 1921, Бричево, Сорокский уезд, Бессарабия- 19 сентября 2016, Реховот, Израиль)- советский и израильский математик в области математической логики, теории алгоритмов и кибернетики.
Boris(Boaz) Avraamovich Trakhtenbrot(Russian: Борис Авраамович Трахтенброт; 19 February 1921- 19 September 2016), or Boaz(Boris) Trakhtenbrot(Hebrew: בועז טרכטנברוט) was an Israeli and Russian mathematician in mathematical logic, algorithms, theory of computation, and cybernetics.

Однако некоторые тексты математической логики( особенно по логике первого порядка и в меньшей степени по логике высказываний) делают различие между ними, причем, первый знак↔ используется как символ в логических формулах, тогда как знак⇔ используется в рассуждениях по поводу этих формул например, в металогике.
However, some texts of mathematical logic(particularly those on first-order logic, rather than propositional logic) make a distinction between these, in which the first,↔, is used as a symbol in logic formulas, while⇔ is used in reasoning about those logic formulas e.g., in metalogic.

Юриметрика должна была быть« связана с такими вопросами, как количественный анализ судебного поведения, применение теории коммуникации и информации для юридического выражения, использование математической логики в законе, поиск юридических данных с помощью электронных и механических средств и формулировка исчисления правовой предсказуемости».
Jurimetrics was to be"concerned with such matters as the quantitative analysis of judicial behavior, the application of communication and information theory to legal expression, the use of mathematical logic in law, the retrieval of legal data by electronic and mechanical means, and the formulation of a calculus of legal predictability.

Предметом и целью деятельности института является проведение научных исследований в области дискретной математики и математической логики, привлечение молодых ученых к научной деятельности в области математической логики и создание условий студентам, магистрантам, докторантам, молодым преподавателям для научного роста в применении математических методов, главным образом, метода математической логики в информационных технологиях.
The object and purpose of the Institute is to conduct research in discrete mathematics and mathematical logic, attracting young scientists to research activities in the field of mathematical logic and the creation of conditions to students, undergraduates, doctoral students, young teachers for scientific growth in the application of mathematical methods, mainly mathematical method logic in information technology.

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

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

Серия« Математическая логика и основания математики».
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik.

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

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