Matematikala logiko: Diferi inter la revizi
Kontenajo efacita Kontenajo adjuntita
Nula rezumo di redakto |
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.
{{Matematiko}}
{{Cienci}}
|