Proučite logiku rečenice kao prvi susret s matematičkom logikom. To uključuje tablice istine i upotrebu "i", "ili" i "ne" u simboličkoj logici. Ova bi razina studija također trebala obuhvaćati logiku prvog reda, koja jeziku dodaje kvantifikatore poput "za sve" i "postoji".
Nastavite s teorijom dokaza, koja je proučavanje simboličke manipulacije. To će zahtijevati formalni jezik koji se sastoji od skupa simbola i sintakse. Ti elementi sadrže formule koje se koriste za izgradnju aksioma za teorije tog jezika.
Napredak u teoriji modela prvog reda, koja opisuje strukture koje će zadovoljiti skup aksioma. Logičke formule koriste se za određivanje skupova koji se mogu definirati u datoj strukturi.
Započnite proučavanje teorije skupova. To bi trebalo uključivati vrlo velike beskonačne skupove koji pokazuju da je "skup" dvosmislen pojam.
Slijedi teorija rekurzije. Ovo je područje proučavanje pripadnosti određenom skupu određivanjem onoga što se može izračunati o tom skupu u konačnom broju koraka. Teorija rekurzije uključuje koncepte kao što su strukture stupnja, ideje o reducibilnosti i relativnoj izračunljivosti.
Ovaj je članak napisao profesionalni pisac, uredio ga i provjerio činjenice kroz sustav revizije u više točaka, nastojeći da naši čitatelji dobiju samo najbolje informacije. Da biste poslali svoja pitanja ili ideje ili jednostavno saznali više, pogledajte našu stranicu o nama: link ispod.