MATHEMATICAL LOGIC - переклад на Українською

• математична логіка
• математичної логіки
• математичній логіці

Приклади вживання Mathematical logic Англійська мовою та їх переклад на Українською

Mathematical logic, also known as symbolic logic,
Математична логіка, також відома як символічна логіка,

It is a key topic of the field of computability theory within mathematical logic and the theory of computation within computer science.
Це ключова тема в області теорії обчислюваності в рамках математичної логіки і теорії алгоритмів у інформатиці.

Main subjects: Architecture of Modern Operating Systems, Mathematical Logic and Theory of Algorithms,
Основні навчальні дисципліни: Архітектура сучасних операційних систем, Математична логіка та теорія алгоритмів,

In mathematical logic, a logical system has the soundness property if
У математичній логіці, логічна система має властивість правильності тоді

It therefore became clear that the solution to these problems called for a new mathematical science- mathematical logic.
З'ясувалося, т. о., що дозвіл цих завдань вимагає залучення нової математичної науки- математичної логіки.

Logical argument, Mathematical logic, and Model theory.).
Аргумент, Математична логіка і Теорія моделей.).

Formal language- in mathematical logic and computer science-a set of finite words(strings, chains) over a finite alphabet.
Формальна мова- в математичній логіці і інформатики-безліч кінцевих слів(рядків, ланцюжків) над кінцевим алфавітом.

building on mathematical logic:[22].
на основі математичної логіки:[3].

In mathematical logic, a non-standard model of arithmetic is a model of(first-order)
У математичній логіці нестандартна модель арифметики- це модель арифметики Пеано(першого порядку),

run in mathematical logic by the social structure.[35].
виконуваним у середовищі математичної логіки соціальною системою[15].

A Source Book in Mathematical Logic, 1879-1931.
Довідковий матеріал в математичній логіці, 1879- 1931.

A transition to logic from mathematics(through mathematical logic) is effected during the course of further abstraction.
Від математики(через математичну логіку) в ході подальшого абстрагування здійснюється перехід до логіки..

He has played a crucial role in the introduction of mathematical logic, analytical philosophy
Зіграв ключову роль у розвитку математичної логіки, аналітичної філософії та філософії науки в Іспанії

Some simple examples were given for solving mathematical logic problems and truth tables necessary to simplify this process.
Були наведені деякі найпростіші приклади для вирішення завдань по математичній логіці і таблиці істинності, необхідні для спрощення цього процесу.

In mathematical logic, the compactness theorem states that a set of first-order sentences has a model if and only if every
У математичній лозіці теорема компактності стверджує, що набір пропозицій першого порядку має модель тоді

Translated by Stefan Bauer-Mengelberg as"On the building blocks of mathematical logic" in Jean van Heijenoort, 1967.
Stefan Bauer-Mengelberg переклав цю статтю як«On the building blocks of mathematical logic» у книзі Jean van Heijenoort, 1967.

his derived And/Or programming language relates to mathematical logic, game theory
похідна від нього мова програмування And/Or пов'язані з математичною логікою, теорією ігор

Mathematical logic and foundations, including set theory Mathematicians have always worked with logic
Математична логіка і основи, включаючи теорію множин Математики завжди працювати із логікою

The first, who expressed an idea on possibility to use mathematical logic in designing of technical devices was,
Перший, хто висловив думку про можливість застосування математичної логіки для проектування технічних пристроїв був,

In computer science and mathematical logic the Turing degree(named after Alan Turing)
В інформатиці та математичній логіці Степінь Тюрінга(названа на честь Алана Тюрінга)