Študujte sentenciálnu logiku ako prvé stretnutie s matematickou logikou. Patria sem pravdivostné tabuľky a použitie znakov „a“, „alebo“ a „nie“ v symbolickej logike. Táto úroveň štúdia by mala zahŕňať aj logiku prvého rádu, ktorá do jazyka pridáva kvantifikátory ako „pre všetkých“ a „existuje“.
Pokračujte v teórii dôkazov, čo je štúdium symbolickej manipulácie. Bude to vyžadovať formálny jazyk pozostávajúci zo sady symbolov a syntaxe. Tieto prvky zahŕňajú vzorce, ktoré sa používajú na zostavenie axiómov pre teórie daného jazyka.
Pokrok v teórii modelov prvého poriadku, ktorá popisuje štruktúry, ktoré vyhovejú množine axiómov. Logické vzorce sa používajú na určenie množín, ktoré možno definovať v danej štruktúre.
Začnite študovať teóriu množín. To by malo zahŕňať veľmi veľké nekonečné množiny, aby sa ukázalo, že „množina“ je nejednoznačný pojem.
Ďalej sa venujte teórii rekurzie. Toto pole je štúdiom príslušnosti k danej množine určením, čo sa dá o tejto množine vypočítať, v konečnom počte krokov. Teória rekurzie zahŕňa koncepty, ako sú študijné štruktúry, predstavy o redukovateľnosti a relatívnej vypočítateľnosti.
Tento článok bol napísaný profesionálnym autorom, redakčne upravený a overený pomocou systému viacbodového auditu, aby sa zabezpečilo, že naši čitatelia dostanú len tie najlepšie informácie. Ak chcete poslať svoje otázky alebo nápady alebo sa jednoducho dozvedieť viac, navštívte našu stránku o nás: odkaz nižšie.