Alt som har blitt gjennomgått i forlesningene og på gruppetimene er pensum, samt alle forelesningsnotater som er tilgjengelig via kursets hjemmeside.
James L. Hein: Discrete Structures, Logic, and Computability, Second Edition, 2002. Jones and Bartlett Publishers. ISBN: 0-7637-1843-2. Errata.
Kun utvalgte deler av boken er pensum. Følgende liste samsvarer med det som har blitt gjennomgått på forelesningene og blir oppdatert etter hvert:
- Kapittel 1.1.1, side 2--5
- Kapittel 1.2, side 13--35
- Kapittel 1.3, side 35--55
- Kapittel 2.1.1, side 74--78
- Kapittel 2.4.1, side 115--116
- Kapittel 2.4.2, side 116--118
- Kapittel 4.1, side 194--195
- Kapittel 6.1, side 345--348
- Kapittel 6.2, side 348--369
- Kapittel 6.5, side 394--395
- Kapittel 7.1, side 397--416
- Kapittel 7.2, side 416--432
Følgende kapitler blir pensum i beregnbarhet (Lars' del av kurset):
- Kapittel 1.3.3, side 41--46
- Kapittel 3.3, side 173--188
- Kapittel 11 (hele)
- Kapittel 12.1 og 12.2, side 697--715
- Kapittel 12.4.2, side 751--754
- Kapittel 13.1, side 757--774