|
Ica artiklo bezonas revizo da ula persono qua konocas ambe Ido, ed ica temo ciencala, teknologiala, matematikala, filozofiala, sportala, edc.
Ka vu povas helpar ni revizar ol?
|
Matematikala logiko
esas fako de
logiko
e
matematiko
. Ol konsistas ek la matematikala studio di la
logiko
e l'aplikado di ta studii ad altra faki de 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
pruvo
sistemi.