Matematikala logiko

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.

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?