Vi bruker boken Logiske metoder - kunsten å tenke abstrakt og matematisk av Roger Antonsen (ISBN: 9788215022741).

Følgende kapitler i RA er pensum: 1 – 14, 17 – 19, 21 – 23.
(Kap. 23 t.o.m. side 259, altså ekskludert ikke-deterministiske tilstandsmaskiner og formelle gramatikker.)

Vi vil også dekke deler av stoffet i kap. 15 – 16, men her gjør vi ting litt annerledes enn RA, se notat om predikatlogikk.

I tillegg er følgende ekstrakapitler pensum:

• Kap. 25 Tallteori
• Kap. 26 Kongruensregning
• Kap. 27 Litt mer tallteori
• Kap. 28 Kryptologi

VIKTIG: Alt fagstoff som presenteres i forelesningene og i øvingene, med mindre annet er oppgitt, er også pensum.

Det finnes også et nettkurs knyttet til boken som dekker hoveddelen av pensum – alt unntatt tallteori og krypto.

Merk: Roger Antonsen gikk tragisk bort i vår etter lengre tids sykdom, så det er ikke noe poeng i å kontakte ham for spørsmål knyttet til boken eller nettkurset. Ta heller kontakt med oss.