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.

v · d · m Faki de la matematiko
Faki	Algebro • Abstrakta algebro • Geometrio • Kalkulo • Analitiko • Ensemblo-teorio • Matematikala logiko • Kombinatoriko • Topologio • Informo-teorio • Matematikala statistiko • Ludo-teorio
Subdividuro	Pura matematiko
Filozofio di la matematiko • Historio di la matematiko

v · d · m Cienco
Formala cienci	Matematiko • Matematikala logiko • Matematikala statistiko • Informatiko • Logiko
Fizikala cienci	Fiziko • Kemio • Astronomio • Cienci di Tero (Meteorologio • Klimatologio • Ekologio • Geodezio • Geologio)
Vivo-cienci	Anatomio • Biofiziko • Biokemio • Biologio • Botaniko • Celulala biologio • Ekologio • Fiziologio • Genetiko • Mikrobiologio • Paleontologio • Sistematiko • Zoologio
Sociala cienci	Antropologio • Arkeologio • Ekonomiko • Geografio • Historio • Yuro-cienco • Linguistiko • Psikologio • Sociologio
Aplikata cienci	Injeniorarto • Sanesala cienci (Farmacio • Medicino • Flegado • Veterinarala medicino)
Intercienceso	Aplikata fiziko • Artifical inteligenteso • Bioetiko • Bioinformatiko • Biomedicinal injeniorarto • Biostatistiko • Mentala cienco • Komplexa sistemi • Informatikala linguistiko • Kulturala studii • Cibernetiko • Ambientala cienco • Ambientala studii • Saneso • Biblioteko-cienco • Biologiala injeniorarto • Retala cienco • Nervala injeniorarto • Nervala cienco • Semiotiko • Sociobiologio • Statistiko • Sistemi cienco
Filozofio di la cienco • Historio di la cienco