James L. Hein: Discrete Structures, Logic, and Computability, Second Edition, 2002. Portland State University. ISBN: 0763718432. Dette notatet korrigerer feil i boken.
Pensum utgjøres av kapitlene/avsnittene 1.1, 1.2, 1.3, 3.3, 6, 7, 11, 12, 13, 14.1, 14.2, med følgende unntak: 1.1.2, 1.1.3, 1.2.4, 1.2.5, 1.3.2, 1.3.5, 12.3, 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 hele eksempel 13.8.)
Følgende inngår også i pensum:
Alle oppgaver gjennomgått på gruppene.
Alle rettelser i notatet angitt ovenfor som angår deler av læreboken som er pensum.
De to notatene om bevissystemene ND1750 og ND1750PRED.