Pētiet sentenciālo loģiku kā pirmo tikšanos ar matemātisko loģiku. Tas ietver patiesības tabulas un "un", "" vai "un" ne "izmantošanu simboliskajā loģikā. Šajā studiju līmenī jāiekļauj arī pirmās kārtas loģika, kas valodai pievieno tādus kvantorus kā "visiem" un "pastāv".
Turpiniet ar pierādījumu teoriju, kas ir simboliskas manipulācijas izpēte. Tam būs nepieciešama oficiāla valoda, kas sastāv no simbolu kopas un sintakses. Šie elementi ietver formulas, kuras izmanto, lai izveidotu aksiomas šīs valodas teorijām.
Pirmās kārtas modeļa teorijas virzība, kas apraksta struktūras, kas apmierinās aksiomu kopumu. Loģiskās formulas tiek izmantotas, lai noteiktu kopas, kuras var definēt noteiktā struktūrā.
Sāciet kopu teorijas izpēti. Tam jāietver ļoti lieli bezgalīgi komplekti, lai parādītu, ka "kopa" ir neskaidrs jēdziens.
Tālāk izmantojiet rekursijas teoriju. Šis lauks ir pētījums par dalību noteiktā kopā, nosakot, ko par šo kopu var aprēķināt ierobežotā skaitā soļu. Rekursijas teorija ietver tādus jēdzienus kā grādu struktūras, idejas par reducējamību un relatīvo aprēķināmību.
Šo rakstu ir uzrakstījis profesionāls rakstnieks, rediģēts eksemplārs un faktu pārbaude, izmantojot daudzpunktu revīzijas sistēmu, lai nodrošinātu, ka mūsu lasītāji saņem tikai vislabāko informāciju. Lai iesniegtu savus jautājumus vai idejas vai vienkārši uzzinātu vairāk, skatiet mūsu saiti par saiti zemāk.