Uurige tundeloogikat kui esimest kohtumist matemaatilise loogikaga. See hõlmab tõetabeleid ja "ja", "või" ja "mitte" kasutamist sümboolses loogikas. See taseme uuring peaks sisaldama ka esimese järgu loogikat, mis lisab keelde sellised kvantorid nagu "kõigile" ja "on olemas".
Jätkake tõestusteooriaga, mis on sümboolse manipuleerimise uurimine. Selleks on vaja ametlikku keelt, mis koosneb sümbolite komplektist ja süntaksist. Need elemendid sisaldavad valemeid, mida kasutatakse selle keele teooriate aksioomide loomiseks.
Esimese järgu mudeli teooria, mis kirjeldab aksioomide komplekti rahuldavaid struktuure. Loogilisi valemeid kasutatakse nende struktuuride määramiseks, mida võib antud struktuuris määratleda.
Alustage hulga teooria uurimist. See peaks hõlmama väga suuri lõpmatuid kogumeid, et näidata, et "komplekt" on mitmetähenduslik mõiste.
Järgmisena võtke arvesse rekursiooniteooriat. See väli on antud kogumi liikmelisuse uurimine, määrates kindlaks, mida saab selle hulga kohta lõpliku arvu sammudega arvutada. Rekursiooniteooria hõlmab selliseid mõisteid nagu kraadistruktuurid, ideed redutseeritavuse ja suhtelise arvutatavuse kohta.
Selle artikli on kirjutanud professionaalne kirjanik, koopia on redigeeritud ja faktide kontrollimine läbi mitmepunktilise auditeerimissüsteemi, püüdes tagada, et meie lugejad saaksid ainult parimat teavet. Küsimuste või ideede esitamiseks või lihtsalt lisateabe saamiseks vaadake allolevat linki meie kohta.