Kiel registrite je 09:29, 23 jul. 2011 redakti Movses-bot (diskuto \| kontribuoj) 3 009 redaktoj e r2.6.2) (robota aldono de: si:ගණිතමය තර්කණය ← Iru al antaŭa ŝanĝo		Kiel registrite je 21:00, 6 jan. 2012 redakti malfari Moldur (diskuto \| kontribuoj) Patrolantoj 54 310 redaktoj eNeniu resumo de redakto Iru al sekvanta ŝanĝo →
Linio 1: '''Matematika logiko''' estas disciplino de [[matematiko]], per kiu oni studas [[Formala sistemo\|formalajn sistemojn]] en maniero de konceptoj de [[Matematika pruvo\|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 ~~kontraŭo~~kontrasto al "filozofia logiko"), kaj "[[metalingvo]] de matematiko", kiu estas nun limigita kiel termino por iuj aspektoj de [[pruva teorio]]. <!-- ==Historio== Linio 21: Studoj de [[programlingvo\|programlingva]] [[semantiko]] derivas de [[modela teorio]]. Kalkuloj kiel la [[Lambda-kalkulo\|λ -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]]. Linio 233: --> == Vidu ankaŭ ~~jenon:~~ == * [[Logiko]] * [[Modela teorio]] Linio 250: {{projektoj\|commonscat=Logics}} [[Kategorio:Matematika logiko\| ]] [[ar:منطق رياضي]]

Matematika logiko: Malsamoj inter versioj