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. )