Študijsko logiko preučite kot prvo srečanje z matematično logiko. To vključuje tabele resnic in uporabo "in", "ali" in "ne" v simbolni logiki. Ta raven študija bi morala vključevati tudi logiko prvega reda, ki jeziku doda kvantifikatorje, kot sta "za vse" in "obstaja".
Nadaljujte s teorijo dokazov, ki je preučevanje simbolne manipulacije. Za to bo potreben formalni jezik, sestavljen iz nabora simbolov in skladnje. Ti elementi vsebujejo formule, ki se uporabljajo za oblikovanje aksiomov za teorije tega jezika.
Napredovanje v teorijo modela prvega reda, ki opisuje strukture, ki bodo zadovoljile niz aksiomov. Logične formule se uporabljajo za določanje nizov, ki jih je mogoče definirati v dani strukturi.
Začnite študij teorije množic. To mora vključevati zelo velike neskončne množice, ki dokazujejo, da je "niz" dvoumen koncept.
Naslednja teorija rekurzije. To področje je preučevanje članstva v danem nizu z določitvijo, kaj je mogoče izračunati glede tega niza v končnem številu korakov. Teorija rekurzije vključuje koncepte, kot so stopnjevne strukture, ideje o reducibilnosti in relativni izračunljivosti.
Ta članek je napisal poklicni pisatelj, uredil kopijo in preveril dejstva prek večtočkovnega revizijskega sistema, da bi našim bralcem zagotovil le najboljše informacije. Če želite predložiti svoja vprašanja ali ideje ali preprosto izvedeti več, si oglejte našo stran o nas: spodnja povezava.