James L. Hein: Discrete Structures, Logic, and Computability, Second Edition, 2002. Portland State University. Dette notatet korrigerer feil i boken.
Følgende utdrag blir pensum:
- Ansitt 1.2 frem til og med side 25.
- Avsnitt 1.3 unntatt 1.3.2 og 1.3.5.
- Kapitlene/avsnittene 3.3, 6, 7.1, 7.2, 11, 12, 13, 14.1, 14.2, med noen unntak. Blant annet 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.)
Dessuten er de to notatene om sekventkalkyle for utsagnslogikk og predikatlogikk pensum.