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.