Studujte sentenciální logiku jako první setkání s matematickou logikou. To zahrnuje pravdivostní tabulky a použití symbolů „a“, „nebo“ a „ne“ v symbolické logice. Tato úroveň studia by měla také zahrnovat logiku prvního řádu, která do jazyka přidává kvantifikátory jako „pro všechny“ a „existuje“.
Pokračujte teorií důkazů, což je studium symbolické manipulace. To bude vyžadovat formální jazyk skládající se ze sady symbolů a syntaxe. Tyto prvky zahrnují vzorce, které se používají k vytváření axiomů pro teorie daného jazyka.
Pokrok v teorii modelů prvního řádu, která popisuje struktury, které uspokojí množinu axiomů. Logické vzorce se používají k určení množin, které lze definovat v dané struktuře.
Začněte studovat teorii množin. To by mělo zahrnovat velmi velké nekonečné množiny, které ukazují, že „množina“ je nejednoznačný koncept.
Dále se věnujte teorii rekurze. Toto pole je studium členství v dané sadě určením toho, co lze o této sadě vypočítat v konečném počtu kroků. Teorie rekurze zahrnuje pojmy jako struktury studia, představy o redukovatelnosti a relativní vypočítatelnosti.
Tento článek byl napsán profesionálním spisovatelem, upraven a zkontrolován pomocí vícebodového kontrolního systému, aby naši čtenáři získali pouze ty nejlepší informace. Chcete-li odeslat své dotazy nebo nápady nebo se jednoduše dozvědět více, podívejte se na naši stránku o nás: odkaz níže.