James L. Hein: Discrete Structures, Logic, and Computability, Second Edition, 2002. Portland State University. ISBN: 0763718432. Dette notatet korrigerer feil i boken.
Følgende kapitler/avsnitt er pensum: 1.2, 1.3, 3.3, 6, 7.1, 7.2, 11, 12, 13, 14.1, 14.2, med følgende unntak: 1.2.3, 1.2.4, 1.2.5, 1.3.2, 1.3.5, side 180 og første halvpart av side 181, midt på side 704 til midt på side 707 og midt på side 709 til midt på side 711, 12.2.3, 12.3, side 754, 13.2.4, og det som står i 14.1 etter midten av side 798. Dessuten utgår alle diskusjoner om representasjon i logikkprogrammering eller som algebraiske strukturer. (Dermed utgår blant annet eksemplene 11.13, 11.14 og 13.8.)
Følgende er også pensum:
Alle oppgaver gjennomgått på gruppene.
Alle rettelser i notatet angitt ovenfor som angår deler av læreboken som er pensum.
Bevissystemet ND1750. (Utskriftsvennlig. )