eo eu eo pt eo eo pt eo eu eo eu eo eo eo eo eo eo eo eo eo eo eo eo eo eo eo it eo pt eo eo eo eo lt id eo eo eo eo eo fi lt ur fi eo ja eo fi eo eo eo eo ur eo fi lt fi fi de eo io eo it eo eo it eo en it eo eo eo eo en eo it it eo fr eo eo eo eo nl pt eo eo eo io eo eo it eo eo eo eo eo eo sv eo eo eo eo eo eo io eo eo eo it io eo eo eo nl eo it it de eo es eo eo eo eo eo eo it eo eo eo sv eo eo eo eo eo eo pt eo eo en sl en eo eo eo eo eo eo eo eo eo eo eo eo it eo eo eo hbs_lat eo es eo es it es eo eo it en eo pt hbs_lat eo eo eo sq eo eo eo hbs_lat pt en eo eo eo gl it eo eo eo eo pt eo eo eo eo es eo eo eo pt it es eo eo it eo eo eo pt eo eo eo eo pt en eo it eo fr eo eo eo eo eo eo eo eo eo eu pl eo id es eo es en eo eo tr eo eu eo eo lt eo eo eo eo de es eo eo eo eo eo sv ur eo eo eo eo es eo eo eo eo eo eo eo eo tr fi eo eo it eo eo eo eo eo eo eo eo eo eo eo eo de an ar az ru sv bg bn hbs_lat ca hbs_lat vi da de el en es et fa fr de gd lt he hi hbs_lat hu hy id es it ja jv ka ko cs en lt lv en ms es my nl nb nb pl pt ro ru en hbs_lat si en sk sl sq hbs_lat sv en th ceb tr fy ur uz vi zh zh eo eo eo eo eo eo eo eo eo
El Vikipedio, la libera enciklopedio
Matematika kaj teoria biologio
Scienco, teĥnologio kaj socio
Filozofio kaj historio de scienco
v • d • r
Matematika logiko estas disciplino de matematiko, per kiu oni studas formalajn sistemojn en maniero de konceptoj de pruvo kaj kalkulado kiel partoj de la fundamentoj de matematiko.
Kvankam oni supozu, ke matematika logiko estas la logiko de matematiko, vere ĝi estas iom pli proksime al matematiko de logiko. Ĝi enhavas tiujn partojn de logiko, kiuj povas esti modelitaj matematike. Pli fruaj nomoj de la afero estis "simbola logiko" (en kontrasto al "filozofia logiko"), kaj "metalingvo de matematiko", kiu estas nun limigita kiel termino por iuj aspektoj de pruva teorio.
Temoj en matematika logiko[redakti | redakti fonton]
La ĉefaj terenoj de matematika logiko inkluzivas modelan teorion, pruvan teorion kaj rekursian teorion (kiu nun ofte estas nomita kiel "komputebleca teorio"). Ankaŭ aksioma aroteorio estas iam konsiderita kiel parto de matematika logiko.
Estas multaj kunigoj kun komputiko.
Studoj de programlingva semantiko derivas de modela teorio.
Kalkuloj kiel la λ-kalkulo kaj kombina logiko estas studataj ĉefe kiel idealigitaj programlingvoj.
Komputiko ankaŭ kontribuas al logiko per ellaboritaj teknikoj por aŭtomata kontrolado aŭ trovado de pruvoj, kiel aŭtomata pruvado de teoremoj kaj logika programado.
Vidu ankaŭ[redakti | redakti fonton]
Fundamenta statuso de aritmetiko
Ĉi tiu artikolo enhavas dume forkomentitajn partojn de la teksto, ĉar ili ankoraŭ ne estas sufiĉe bonaj. Vi povas redakti la paĝon kaj plibonigi kaj malkomenti la forkomentitajn partojn.
Kategorio Matematika logiko en la Vikimedia Komunejo (Multrimedaj datumoj)
Artikoloj kun komentitaj partoj
Informoj pri la paĝo
Citi ĉi tiun artikolon
Ĉi tiu paĝo estis lastafoje redaktita je 17:47, 24 dec. 2015.
La teksto disponeblas laŭ la permesilo Krea Komunaĵo Atribuite-Samkondiĉe 3.0 Neadaptita; eble aldonaj kondiĉoj aplikeblas. Vidu la uzkondiĉojn por detaloj.
Regularo pri respekto de la privateco
Vidigo por porteblaj aparatoj