Tutki sentitiivistä logiikkaa ensimmäisenä matemaattisen logiikan kohtaamisena. Tämä sisältää totuustaulukot ja "ja", "tai" ja "ei" käytön symbolisessa logiikassa. Tämän tutkimustason tulisi sisältää myös ensimmäisen asteen logiikka, joka lisää kieleen kvantifikaattorit, kuten "kaikille" ja "on olemassa".
Jatka todistusteorialla, joka on symbolisen manipuloinnin tutkimus. Tämä edellyttää muodollista kieltä, joka koostuu joukosta symboleja ja syntaksia. Nämä elementit sisältävät kaavoja, joita käytetään rakentamaan aksiomia kyseisen kielen teorioille.
Edistyminen ensimmäisen kertaluvun malliteoriaan, joka kuvaa rakenteita, jotka tyydyttävät joukon aksiomia. Loogisia kaavoja käytetään määrittelemään joukot, jotka voidaan määritellä tietyssä rakenteessa.
Aloita joukko-teorian tutkimus. Tähän tulisi sisältyä erittäin suuria äärettömiä sarjoja osoittaakseen, että "sarja" on epäselvä käsite.
Ota seuraavaksi rekursioteoria. Tämä kenttä on tutkimus tietyn joukon jäsenyydestä määrittämällä, mikä siitä joukosta voidaan laskea rajallisessa määrässä vaiheita. Rekursioteoria sisältää käsitteitä, kuten tutkintorakenteet, ajatukset pelkistettävyydestä ja suhteellisesta laskettavuudesta.
Tämän artikkelin on kirjoittanut ammattikirjailija, kopio muokattu ja tosiasiat tarkistettu monipisteisen tarkastusjärjestelmän kautta varmistaakseen, että lukijamme saavat vain parasta tietoa. Jos haluat lähettää kysymyksiä tai ideoita tai yksinkertaisesti oppia lisää, katso alla oleva linkki meistä.