МАТЕМАТИЧНОЇ ЛОГІКИ - переклад на Англійською

• mathematical logic
• mathematical logician

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

він сам працював в області математичної логіки й був одним із засновників статистики.
though he himself was a mathematical logician and a founder of statistics.

Алонзо Черч згадував цю нотацію в своїй книзі з математичної логіки, як гідну уваги систему нотації і навіть протиставляв логічним нотаціям Альфреда Уайтхеда
Alonzo Church mentions this notation in his classic book on mathematical logic as worthy of remark in notational systems even contrasted to Alfred Whitehead

він сам працював в області математичної логіки й був одним із засновників статистики.
although he was a mathematical logician and a founder of statistics.

основою для комп'ютерних схем, програмування комп'ютерів і математичної логіки, а також вона використовується в інших областях математики таких як теорія множин та статистика.
computer programming, and mathematical logic, and is also used in other areas of mathematics such as set theory and statistics.

геометрії, математичної логіки, класичній механіці,
geometry, mathematical logic, classical mechanics,

Вивчення математичної логіки призвело безпосередньо до теорії обчислення Алана Тьюрінга, математичного вирахування.">
The study of mathematical logic led directly to Alan Turing's theory of computation, of mathematical deduction.">

На сьогодні вже є деякі успіхи в перекладі інформації такого типу мовою математичної логіки, але щоб каталогізувати здоровий глузд чотирирічної дитини, потрібно було б сотні мільйонів комп'ютерного коду.
There has been some progress made in translating this sort of information into mathematical logic, but to catalog the common sense of a four-year-old child would require hundreds of millions of lines of computer code.

Хоча розвиток математичної логіки не відповідає Булевій, зв'язок між його алгеброю
Although the development of mathematical logic did not follow Boole's program,

У галузі математичної логіки і інформатики відомій як теорія типів,
In the area of mathematical logic and computer science known as type theory,

Би. заклав основи математичної логіки.
Boole laid the foundation of mathematical logic.

23 липня 1912- 29 березня 1986) історик математичної логіки.
1912- March 29, 1986) was a historian of mathematical logic.

перекладом Фреге 1879 Begriffsschrift, яка супроводжується 45 історично важливими короткими частинами математичної логіки і аксіоматичної теорії множин,
which is followed by 45 historically important short pieces on mathematical logic and axiomatic set theory,

формальне моделювання складних систем за допомогою математичної логіки та теорії ймовірностей,
formal modeling of complex systems by means of mathematical logic and probability theory,

існує якась істина, якщо існує якесь значення у вигляді процедури математичної логіки, з цього випливає, що деяка кількість проблем, які належали до філософії, перестануть належати філософії та належатимуть науці.
if there is any value in the kind of procedure of mathematical logic, it will follow that a number of problems which had belonged to philosophy will have ceased to belong to philosophy and will belong to science.

Математична логіка та основи математики" у енциклопедії Британіка: Новий томах.
Mathematical Logic and the Foundations of Mathematics" in Encyclopædia Britannica: The New Volumes, vol.

Математична логіка та теорія алгоритмів;
Mathematical logic and theory of algorithms;

Математична логіка.
Mathematical logic.

Математична логіка і основи, включаючи теорію множин.
Mathematical logic and foundations, including set theory.

Літерал(математична логіка).
Sentence(mathematical Logic).

Літерал(математична логіка).
Theory(mathematical logic).