Завантажити застосунок
educalingo
Пошук

Значення "mathematical logic" у англійська словнику

Словник
СЛОВНИК
section

ВИМОВА MATHEMATICAL LOGIC У АНГЛІЙСЬКА

mathematical logic play
facebooktwitterpinterestwhatsapp

ГРАМАТИЧНА КАТЕГОРІЯ MATHEMATICAL LOGIC

noun
прикметник
дієслово
прислівник
займенник
прийменник
сполучник
означальне слово
вигук

ЩО MATHEMATICAL LOGIC ОЗНАЧАЄ У АНГЛІЙСЬКА?

Натисніть, щоб побачити визначення of «mathematical logic» в англійська словнику.
Натисніть, щоб побачити автоматичний переклад визначення в українська.

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

Mathematical logic

Математична логіка - підполе математики, що вивчає застосування формальної логіки до математики. Тематично математична логіка має тісні зв'язки з метаматематикою, основами математики та теоретичною інформатикою. Об'єднуючі теми в математичній логіці включають вивчення експресивної сили формальних систем та дедуктивну силу формальних систем докази. Математична логіка часто поділяється на поля теорії множин, теорії моделі, теорії рекурсії та теорії доказів. Ці області діляться основними результатами логіки, зокрема логікою першого порядку та визначеності. У комп'ютерній математиці математична логіка охоплює додаткові теми, не деталізовані в цій статті; Див. логіку комп'ютерної науки для тих. З моменту свого заснування математична логіка сприяла і була мотивована вивченням основ математики. Це дослідження почалося в кінці 19 ст з розвитком аксіоматичних рамок для геометрії, арифметики та аналізу. На початку 20-го століття вона була сформована програмою Девіда Гільберта, що підтверджує узгодженість фундаментальних теорій. Mathematical logic is a subfield of mathematics exploring the applications of formal logic to mathematics. Topically, mathematical logic bears close connections to metamathematics, the foundations of mathematics, and theoretical computer science. The unifying themes in mathematical logic include the study of the expressive power of formal systems and the deductive power of formal proof systems. Mathematical logic is often divided into the fields of set theory, model theory, recursion theory, and proof theory. These areas share basic results on logic, particularly first-order logic, and definability. In computer science mathematical logic encompasses additional topics not detailed in this article; see Logic in computer science for those. Since its inception, mathematical logic has both contributed to, and has been motivated by, the study of foundations of mathematics. This study began in the late 19th century with the development of axiomatic frameworks for geometry, arithmetic, and analysis. In the early 20th century it was shaped by David Hilbert's program to prove the consistency of foundational theories.

Визначення mathematical logic у англійська словнику

Визначення математичної логіки в словнику є символічною логікою, тобто це галузь, пов'язана з основ математики.

The definition of mathematical logic in the dictionary is symbolic logic, esp that branch concerned with the foundations of mathematics.

Натисніть, щоб побачити визначення of «mathematical logic» в англійська словнику.
Натисніть, щоб побачити автоматичний переклад визначення в українська.

АНГЛІЙСЬКА СЛОВА, ЩО ПОЧИНАЮТЬСЯ ТАК САМО ЯК MATHEMATICAL LOGIC

math
math.
mathematic
mathematical
mathematical error
mathematical expectation
mathematical model
mathematical probability
mathematically
mathematician
mathematicise
mathematicism
mathematicize
mathematics
mathematisation
mathematise
mathematization
mathesis
maths
maths.

АНГЛІЙСЬКА СЛОВА, ЩО ЗАКІНЧУЮТЬСЯ ТАК САМО ЯК MATHEMATICAL LOGIC

biologic
cryptologic
dermatologic
ecologic
epidemiologic
fuzzy logic
geologic
gynecologic
histologic
histopathologic
hydrologic
immunologic
logic
morphologic
pathologic
pharmacologic
physiologic
psychologic
symbolic logic
urologic
virologic

Синоніми та антоніми mathematical logic в англійська словнику синонімів

СИНОНІМИ

Переклад «mathematical logic» на 25 мов

ПЕРЕКЛАДАЧ
online translator

ПЕРЕКЛАД MATHEMATICAL LOGIC

Дізнайтесь, як перекласти mathematical logic на 25 мов за допомогою нашого англійська багатомовного перекладача.
Переклад слова mathematical logic з англійська на інші мови, представлений в цьому розділі, було зроблено шляхом автоматичного статистичного перекладу; де основною одиницею перекладу є слово «mathematical logic» в англійська.

Перекладач з англійська на китайська

数理逻辑
1,325 мільйонів носіїв мови

Перекладач з англійська на іспанська

lógica matemática
570 мільйонів носіїв мови

англійська

mathematical logic
510 мільйонів носіїв мови

Перекладач з англійська на гінді

गणितीय तर्क
380 мільйонів носіїв мови
ar

Перекладач з англійська на арабська

المنطق الرياضي
280 мільйонів носіїв мови

Перекладач з англійська на російська

математическая логика
278 мільйонів носіїв мови

Перекладач з англійська на португальська

lógica matemática
270 мільйонів носіїв мови

Перекладач з англійська на бенгальська

গাণিতিক যুক্তিবিজ্ঞান
260 мільйонів носіїв мови

Перекладач з англійська на французька

la logique mathématique
220 мільйонів носіїв мови

Перекладач з англійська на малайська

Logik matematik
190 мільйонів носіїв мови

Перекладач з англійська на німецька

mathematischen Logik
180 мільйонів носіїв мови

Перекладач з англійська на японська

数理論理学
130 мільйонів носіїв мови

Перекладач з англійська на корейська

수학 논리
85 мільйонів носіїв мови

Перекладач з англійська на яванська

Logika matematika
85 мільйонів носіїв мови
vi

Перекладач з англійська на в’єтнамська

logic toán học
80 мільйонів носіїв мови

Перекладач з англійська на тамільська

கணித தர்க்கம்
75 мільйонів носіїв мови

Перекладач з англійська на маратхі

गणिती तर्कशास्त्र
75 мільйонів носіїв мови

Перекладач з англійська на турецька

Matematiksel mantık
70 мільйонів носіїв мови

Перекладач з англійська на італійська

logica matematica
65 мільйонів носіїв мови

Перекладач з англійська на польська

logika matematyczna
50 мільйонів носіїв мови

Перекладач з англійська на українська

математична логіка
40 мільйонів носіїв мови

Перекладач з англійська на румунська

logică matematică
30 мільйонів носіїв мови
el

Перекладач з англійська на грецька

μαθηματικής λογικής
15 мільйонів носіїв мови
af

Перекладач з англійська на африкаанс

wiskundige logika
14 мільйонів носіїв мови
sv

Перекладач з англійська на шведська

matematisk logik
10 мільйонів носіїв мови
no

Перекладач з англійська на норвезька

matematisk logikk
5 мільйонів носіїв мови

Тенденції використання mathematical logic

ТЕНДЕНЦІЇ

ТЕНДЕНЦІЇ ВЖИВАННЯ ТЕРМІНУ «MATHEMATICAL LOGIC»

0
100%
ЧАСТОТА
Вживається мало
49
/100
На наведеній вище мапі представлено частоту використання терміну «mathematical logic» у різних країнах.
Основні тенденції пошуку та приклади звичайного вживання mathematical logic
Перелік основних пошуків, здійснених користувачами для доступу до нашого англійська онлайн-словника, та найбільш широко вживаних виразів із словом «mathematical logic».

ЗМІНИ У ЧАСТОТІ ВЖИВАННЯ ТЕРМІНУ «MATHEMATICAL LOGIC» ПРОТЯГОМ ПЕВНОГО ЧАСУ

На графіку представлено щорічні зміни у частоті вживання слова «mathematical logic» протягом останніх 500 років. Його побудовано на аналізі того, як часто термін «mathematical logic» траплявся у оцифрованих друкованих джерелах англійська у період між 1500 роком та сьогоденням.

Приклади вживання в англійська літературі, цитати та новини про mathematical logic

ПРИКЛАДИ

АНГЛІЙСЬКА ЦИТАТИ ІЗ «MATHEMATICAL LOGIC»

Відомі цитати та речення зі словом mathematical logic.
1
Anish Kapoor
Much of what I make is geometric, and has a kind of almost mathematical logic to the form.
2
Stephen Cole Kleene
Here at Wisconsin we didn't get an undergraduate course in mathematical logic until the '60s.
3
Hilary Putnam
I think part of the appeal of mathematical logic is that the formulas look mysterious - You write backward Es!

10 АНГЛІЙСЬКА КНИЖКИ ПОВ'ЯЗАНІ ІЗ «MATHEMATICAL LOGIC»

Дізнайтеся про вживання mathematical logic з наступної бібліографічної підбірки. Книжки пов'язані зі словом mathematical logic та короткі уривки з них для забезпечення контексту його використання в англійська літературі.
1
Introduction to Mathematical Logic, Fourth Edition
The Fourth Edition of this long-established text retains all the key features of the previous editions, covering the basic topics of a solid first course in mathematical logic.
Elliott Mendelson, 1997
2
Mathematical Logic
The book starts with a thorough treatment of first-order logic and its role in the foundations of mathematics.
H.-D. Ebbinghaus, 1994
3
From Frege to Gödel: A Source Book in Mathematical Logic, ...
Gathered together in this book are the fundamental texts of the great classical period in modern logic.
Jean Van Heijenoort, 1977
4
Mathematical Logic for Computer Science
Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science.
Mordechai Ben-Ari, 2012
5
Foundations of Mathematical Logic
Written by a pioneer of mathematical logic, this comprehensive graduate-level text explores the constructive theory of first-order predicate calculus.
Haskell Brooks Curry, 1963
6
A Course in Mathematical Logic
This book is a text of mathematical logic on a sophisticated level, presenting the reader with several of the most significant discoveries of the last 10 to 15 years, including the independence of the continuum hypothesis, the Diophantine ...
‎1977
7
Handbook of Mathematical Logic
Each chapter is written for non-specialists in the field in question. Mathematicians will find that this book provides them with a unique opportunity to apprise themselves of developments in areas other than their own.
J. Barwise, 1982
8
An Introduction to Mathematical Logic and Type Theory
In case you are considering to adopt this book for courses with over 50 students, please contact ties.nijssen@springer.com for more information.
Peter B. Andrews, 2002
9
Mathematical Logic
With its user-friendly approach, this book successfully equips readers with the key concepts and methods for formulating valid mathematical arguments that can be used to uncover truths across diverse areas of study such as mathematics, ...
George Tourlakis, 2011
10
Fundamentals of mathematical logic
This introductory graduate text covers modern mathematical logic from propositional, first-order and infinitary logic and G del's Incompleteness Theorems to extensive introductions to set theory, model theory and recursion (computability) ...
Peter G. Hinman, 2005

НОВИНИ ІЗ ТЕРМІНОМ «MATHEMATICAL LOGIC»

Дізнайтеся, що обговорювала національна та міжнародна преса, і як термін mathematical logic вживається в контексті наступних новин.
1
Review: 'Genius at Play: The Curious Mind of John Horton Conway'
He has made “distinguished contributions to the theory of finite groups, to the theory of knots, to mathematical logic (both set theory and ... «Buffalo News, Липень 15»
2
The delights of encountering the original manuscript for “Alice in …
... riddles, puzzles, and logic games, partly to practice his lessons in mathematical logic, which he taught at Christ Church, Oxford, for 26 years. «Quartz, Липень 15»
3
You Still Cannot Be Moral Without God
Whatever evils were avoided were avoided passively: my education (all that mathematical logic) guarded me from vice. I behaved morally, but ... «Patheos, Липень 15»
4
How Many Different Smells Can The Human Nose Actually Detect?
Rather, the researchers' interpretation of their data — and the massive figure they came to —seem to be the result of flawed mathematical logic. «Gizmodo, Липень 15»
5
City's tribute to computer genius George Boole to mark 200th …
"His development of mathematical logic was revolutionary for the subject, and particularly to algebra, which is one of the key focuses of our ... «Lincolnshire Echo, Липень 15»
6
The Observer view on reforms to teacher training
Mathematical logic and reason lie at the heart of some of humanity's greatest achievements. Without it, there would be no progress and no ... «The Guardian, Липень 15»
7
An Illicit Tour Of The New Vikings Stadium
The angles of its half-built roof seem to defy mathematical logic, and traversing its unfinished concourses and upper levels is like walking ... «Deadspin, Червень 15»
8
Facebook Shares Homegrown Mobile Code Testing Tool
... engineers who developed it have been involved in groundbreaking highly theoretical computer science and brand-new mathematical logic. «ADT Magazine, Червень 15»
9
Guardian Shorts: Science that Changed the World by Tim Radford …
... released by the publication of the two papers in 1965 drove research in a number of unexpected directions: theorists used mathematical logic ... «The Guardian, Червень 15»
10
Stanford computer processor uses moving water drops
Despite not intending to replace traditional computers, the water PC can reproduce mathematical logic operations. The computer is constructed ... «SlashGear, Червень 15»

ПОСИЛАННЯ
« EDUCALINGO. Mathematical logic [онлайн]. Доступно <https://educalingo.com/uk/dic-en/mathematical-logic>. Травень 2024 ».
Завантажити застосунок educalingo
en
англійська словник
Відкрийте все, що приховане в словах, скориставшись