Matematikala logiko: Diferi inter la revizi
Kontenajo efacita Kontenajo adjuntita
m roboto adjuntas: ky:Математикалык логика |
Nula rezumo di redakto |
||
Lineo 1:
'''Matematikala logiko''' esas subfeldo di [[logiko]] e [[matematiko]]. Konsistas amba di matematikala studio di logiko e l'apliko di ta studio ad altra feldi di matematiko. Matematikala logiko havas proxim konekti ad [[informatiko]]. Uniganta temi en matematikala logiko inkluzas l'expresoza povo di [[formala sistemo]] e la deduktala povo di formala [[matematikala pruvo|pruvo]] sistemi.
{{Cienci}}
[[Kategorio:Matematikala logiko| ]]
|