Matematika logiko - Vikipedio

Scienco
Parto de serio pri
Formalaj sciencoj Logiko Matematiko Matematika logiko Matematika statistiko Teoria komputila scienco
Fizikaj sciencoj Fiziko Klasika fiziko Moderna fiziko Aplikata fiziko Eksperimenta fiziko Teoria fiziko Komputada fiziko Termodinamiko Meĥaniko Solida meĥaniko Klasika meĥaniko Kontinuaĵa meĥaniko Reologio Meĥaniko de fluidaĵo Plasmo Atoma fiziko Fiziko de kondensita materio Kvantuma meĥaniko Nuklea fiziko Partikla fiziko Speciala relativeco Kvantuma kampa teorio Ĝenerala relativeco Kordoteorio Ĥemio Redoksa reakcio Alkemio Analiza kemio Astrokemio Biokemio Kristalografio Media kemio Manĝaĵokemio Geokemio Verda kemio Neorganika kemio Materiala inĝenierarto Molekula fiziko Nuklea kemio Organika kemio Fotokemio Fizika kemio Radiokemio Solidstata kemio Stereokemio Supermolekula kemio Surfacoscienco Teoria kemio Astronomio Astrofiziko Kosmologio Galaksiastronomio Planeda geologio Planedoscienco Stela astronomio Tersciencoj Meteorologio Klimatologio Ekologio Media scienco Geodezio Geologio Geomorfologio Geofiziko Glaciologio Hidrologio Limnologio Oceanografio Paleoklimatologio Paleoekologio Polenoscienco Pedologio Edafologio Fizika geografio Spaca scienco
Vivosciencoj Biologio Anatomio Astrobiologio Bioĥemio Biogeografio Biologia inĝenierarto Biofiziko Konduta neŭroscienco Biotekniko Botaniko Ĉelbiologio Konservobiologio Kriobiologio Disvolviĝ-biologio Ekologio Etnobiologio Etologio Evolubiologio) Genetiko (Enkonduko al genetiko) Gerontologio Imunologio Limnologio Marbiologio Mikrobiologio Molekula biologio Neŭroscienco Paleontologio Parazitologio Fiziologio Radiobiologio Edafo Sociobiologio Sistematiko Toksologio Zoologio
Sociaj sciencoj Antropologio Arkeologio Kriminologio Demografio Ekonomiko Edukado Internaciaj rilatoj Juro Lingvistiko Politika scienco Psikologio Sociologio Soci-ekonomia geografio
Aplikataj sciencoj Inĝenierarto Aerospaca scienco Agrikultura Biomedicina Kemia inĝenierarto Civila inĝenierarto Komputila scienco Komputika inĝenierarto Elektra inĝenierarto Fajroprotekto Genteĥniko Industria inĝenierarto Meĥanika inĝenierarto Milita inĝenierarto Mineja inĝenierarto Nuklea inĝenierarto Operacia esploro Programada inĝenierarto Robotiko TTT-inĝenierarto Sanscienco Biologia inĝenierarto Dentokuracado Epidemiologio Sankuracado Medicino Flegado Farmacio Socia laboro Veterinara medicino
Interfakeco Aplikata fiziko Artefarita intelekto Bioetiko Biokomputiko Biomedika inĝenierarto Biostatistiko Kognoscienco Kompleksaj sistemoj Komputada lingvoscienco Kulturaj sciencoj Kibernetiko Mediscienco Media socia scienco Mediaj studoj Etnaj studoj Evolua psikologio Forstado Sano Bibliotekscienco Matematika kaj teoria biologio Matematika fiziko Militistiko Retscienco Neurona inĝenierarto Neŭroscienco Sciencaj studoj Scienco, teĥnologio kaj socio Scienca modelado Semiotiko Sociobiologio Statistiko Sistemscienco Transdisciplino Urba planado TTT-sciencoj
Filozofio kaj historio de scienco Civitanoscienco Marĝenscienco Historio de scienco Filozofio de scienco Protoscienco Pseŭdoscienco Scienca libereco Scienca politiko Scienca metodo Teĥnoscienco

Ĝeneralaĵoj Kategorio
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

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ŭ

Ĉ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)