Mathematical Logic through Python av Yannai A. (Harvard University Massachusetts) Gonczarowski, Noam (Hebrew University of Jerusalem) Nisan

Denne boken introduserer matematisk logikk ved å bruke en unik pedagogisk tilnærming der studentene blir veiledet i implementeringen av de underliggende logiske konseptene og matematiske bevis gjennom Python-programmering. Tilnærmingen er skreddersydd for den stadig voksende gruppen av programmeringskyndige studenter, og den bringer matematisk logikk inn i deres komfortsone. Dette gir en klarhet som kun kan oppnås gjennom en dyptgående praktisk forståelse og tilfredsstillelsen av å ha skapt fungerende kode. Selv om metoden er unik, dekker teksten de samme emnene som vanligvis inngår i et ett-semesters kurs i matematisk logikk på bachelor-nivå. Temaene inkluderer proposisjonell logikk og førsteordens predikatlogikk, og avsluttes med et bevis på Gödel's fullstendighetsteorem. Boken gir også et smakebit på Gödel's ufullstendighetsteorem. Læreboken leveres med en omfattende samling programmeringsoppgaver, kode-skjeletter og enhetstester. Det er forventet at leserne har en viss fortrolighet med bevis og grunnleggende ferdigheter i Python.