Descarcă aplicația
educalingo
Caută

Înțelesul "mathematical logic" în dicționarul Engleză

Dicționar
DICȚIONAR
section

PRONUNȚIA MATHEMATICAL LOGIC ÎN ENGLEZĂ

mathematical logic play
facebooktwitterpinterestwhatsapp

CATEGORIA GRAMATICALĂ A MATHEMATICAL LOGIC

substantiv
adjectiv
verb
adverb
pronume
prepoziție
conjuncție
determinant
exclamație

CE ÎNSEAMNĂ MATHEMATICAL LOGIC ÎN ENGLEZĂ?

Apasă pentru a vedea definiția originală «mathematical logic» în dicționarul Engleză dictionary.
Apasă pentru a vedea traducerea automată a definiției în Română.

Matematică logică

Mathematical logic

Logica matematică este un subdomeniu al matematicii care explorează aplicațiile logicii formale în matematică. În mod logic, logica matematică are legături strânse cu metamatematica, bazele matematicii și teoria informaticii. Temele unificatoare din logica matematică includ studiul puterii expresive a sistemelor formale și puterea deductivă a sistemelor oficiale de probă. Logica matematică este deseori împărțită în câmpurile teoriei seturilor, teoria modelului, teoria recursivității și teoria dovezilor. Aceste domenii împărtășesc rezultatele de bază ale logicii, în special logica de prim ordin și definitivitatea. În domeniul informaticii, logica matematică cuprinde subiecte suplimentare care nu sunt detaliate în acest articol; consultați Logica în informatică pentru aceștia. De la începuturi, logica matematică a contribuit și a fost motivată de studiul fundațiilor matematicii. Acest studiu a început la sfârșitul secolului al XIX-lea cu dezvoltarea cadrelor axiomatice pentru geometrie, aritmetică și analiză. La începutul secolului al XX-lea a fost modelat de programul lui David Hilbert pentru a dovedi coerența teoriilor fundamentale. 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.

Definiția mathematical logic în dicționarul Engleză

Definiția logicii matematice în dicționar este logică simbolică, adică acea ramură care se ocupă de fundamentele matematicii.

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

Apasă pentru a vedea definiția originală «mathematical logic» în dicționarul Engleză dictionary.
Apasă pentru a vedea traducerea automată a definiției în Română.

CUVINTE ÎN ENGLEZĂ CARE ÎNCEP CA 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.

CUVINTE ÎN ENGLEZĂ CARE SE SFÂRȘESC CA 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

Sinonimele și antonimele mathematical logic în dicționarul de sinonime Engleză

SINONIME

Traducerea «mathematical logic» în 25 de limbi

TRADUCĂTOR
online translator

TRADUCEREA MATHEMATICAL LOGIC

Găsește traducerea mathematical logic în 25 de limbi cu traducătorul nostru multilingv înEngleză.
Traducerile mathematical logic din Engleză în alte limbi prezentate în prezenta secțiune au fost obținute prin traducerea statistică automată; unde unitatea esențială a traducerii este cuvântul «mathematical logic» în Engleză.

Traducător din Engleză - Chineză

数理逻辑
1,325 milioane de vorbitori

Traducător din Engleză - Spaniolă

lógica matemática
570 milioane de vorbitori

Engleză

mathematical logic
510 milioane de vorbitori

Traducător din Engleză - Hindi

गणितीय तर्क
380 milioane de vorbitori
ar

Traducător din Engleză - Arabă

المنطق الرياضي
280 milioane de vorbitori

Traducător din Engleză - Rusă

математическая логика
278 milioane de vorbitori

Traducător din Engleză - Portugheză

lógica matemática
270 milioane de vorbitori

Traducător din Engleză - Bengali

গাণিতিক যুক্তিবিজ্ঞান
260 milioane de vorbitori

Traducător din Engleză - Franceză

la logique mathématique
220 milioane de vorbitori

Traducător din Engleză - Malaeză

Logik matematik
190 milioane de vorbitori

Traducător din Engleză - Germană

mathematischen Logik
180 milioane de vorbitori

Traducător din Engleză - Japoneză

数理論理学
130 milioane de vorbitori

Traducător din Engleză - Coreeană

수학 논리
85 milioane de vorbitori

Traducător din Engleză - Javaneză

Logika matematika
85 milioane de vorbitori
vi

Traducător din Engleză - Vietnameză

logic toán học
80 milioane de vorbitori

Traducător din Engleză - Tamilă

கணித தர்க்கம்
75 milioane de vorbitori

Traducător din Engleză - Marathi

गणिती तर्कशास्त्र
75 milioane de vorbitori

Traducător din Engleză - Turcă

Matematiksel mantık
70 milioane de vorbitori

Traducător din Engleză - Italiană

logica matematica
65 milioane de vorbitori

Traducător din Engleză - Poloneză

logika matematyczna
50 milioane de vorbitori

Traducător din Engleză - Ucraineană

математична логіка
40 milioane de vorbitori

Traducător din Engleză - Română

logică matematică
30 milioane de vorbitori
el

Traducător din Engleză - Greacă

μαθηματικής λογικής
15 milioane de vorbitori
af

Traducător din Engleză - Afrikaans

wiskundige logika
14 milioane de vorbitori
sv

Traducător din Engleză - Suedeză

matematisk logik
10 milioane de vorbitori
no

Traducător din Engleză - Norvegiană

matematisk logikk
5 milioane de vorbitori

Direcții de utilizare a mathematical logic

DIRECȚII

TENDINȚE DE FOLOSIRE A TERMENULUI «MATHEMATICAL LOGIC»

0
100%
FRECVENȚĂ
Puțin întrebuințat
49
/100
Imaginea de mai sus arată frecvența de întrebuințare a termenului «mathematical logic» în diferite țări.
Tendințele principale de căutare și întrebuințările obișnuite ale mathematical logic
Lista principalelor căutări efectuate de utilizatori pentru accesarea dicționarului nostru online înEngleză și cele mai întrebuințate expresii cu cuvântul «mathematical logic».

FRECVENȚA DE ÎNTREBUINȚARE A TERMENULUI «MATHEMATICAL LOGIC» DE-A LUNGUL TIMPULUI

Graficul exprimă evoluția anuală a frecvenței de întrebuințare a cuvântului «mathematical logic» în ultimii 500 de ani. Implementarea acestuia se bazează pe analizarea frecvenței de apariție a termenului «mathematical logic» în sursele digitalizate tipărite în Engleză între anul 1500 și până în prezent.

Exemple de întrebuințări în literatura, citatele și știrile în Engleză despre mathematical logic

EXEMPLE

CITATE ÎN ENGLEZĂ CU «MATHEMATICAL LOGIC»

Citate renumite și propoziții cu cuvântul 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!

CĂRȚI ÎN ENGLEZĂ ÎN LEGĂTURĂ CU «MATHEMATICAL LOGIC»

Descoperă întrebuințarea mathematical logic în următoarea selecție bibliografică. Cărți în legătură cu mathematical logic și extrase din aceasta pentru a furniza contextul de întrebuințare al acestuia în literatura Engleză.
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

ȘTIRI NOI CARE INCLUD TERMENUL «MATHEMATICAL LOGIC»

Află ce ziare naționale și internaționale au scris despre și cum este întrebuințat termenul mathematical logic în contextul următoarelor știri.
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, Iul 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, Iul 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, Iul 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, Iul 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, Iul 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, Iul 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, Iun 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, Iun 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, Iun 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, Iun 15»

REFERINȚE
« EDUCALINGO. Mathematical logic [online]. Disponibil <https://educalingo.com/ro/dic-en/mathematical-logic>. Mai 2024 ».
Descarcă aplicația educalingo
en
dicționar Engleză
Descoperă tot ce se ascunde în cuvinte pe
index
a b c d e f g h i j k l m n o p q r s t u v w x y z