mathematical logic
EN → TR
Tanım
•any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
Eş & Zıt Anlamlılar
Eş anlamlılar
symbolic logic
formal logic
Örnek Cümleler
"Matematiksel mantık üzerine" 508–524.
"On mathematical logic," 508–524.
küme teorisi ve matematiksel mantık konularını içerir
including set theory and mathematical logic
Frege'den Gödel'e: Matematiksel Mantıkta Bir Kaynak Kitap, 1879–1931 .
From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931.
Matematiksel mantık ve dilbilim üzerine çok sayıda makalenin yazarıydı.
He was the author of numerous papers on mathematical logic and linguistics.
Berkeley'deki seminerleri matematiksel mantık dünyasında hızla ün kazandı.
His seminars at Berkeley quickly became famous in the world of mathematical logic.
Peano, matematiksel mantık üzerine bir makale sunan kilit bir katılımcıydı.
Peano was a key participant, presenting a paper on mathematical logic.
Peano, birkaç yıl sonra matematiksel mantıkla ilgili ilk kitabını yayınladı.
A few years later, Peano published his first book dealing with mathematical logic.
Matematiksel mantığın matematiğin bağımsız bir dalı olarak gelişmesine paraleldi.
It was a parallel to the development of mathematical logic as a stand-alone branch of mathematics.
Mantık, matematiksel mantığın ve matematiğin geri kalanının altında yatan temeldir.
Logic is the foundation which underlies mathematical logic and the rest of mathematics.
Matematiksel Mantıkta Bir Kaynak Kitap (A Source Book in Mathematical Logic), 1879–1931 .
A Source Book in Mathematical Logic, 1879–1931.
Matematiksel mantıkta kuramlar formu resmi olarak incelenir, özellikle de model kuramında.
The form of theories is studied formally in mathematical logic, especially in model theory.