Kursen har ingen kursbok. Istället används de OH-bilder som utvecklats av Stephen Hegner (hegners orginal) och Frank Drewes. Det finns självlklart inget som talar emot att
dessutom skaffa sig en bok. Kom dock ihåg att olika
författare använder lite olika notationer, terminologier
o.dyl. Det som i
sådana fall gäller är alltid det officiella
kursmaterialet.
Några böcker om logik för datavetare (för dem som
vill veta mer eller se det ur olika synvinklar):
Mordechai Ben-Ari. Mathematical Logic for Computer Science (2nd
edition). Springer-Verlag, 2001.
En av de bästa logikböckerna för datavetare. Utöver
sats- och predikatlogik får man lära sig något om
logisk programmering, det formella specifikationsspråket Z och
temporal logik (där det är möjligt att prata om
tidsaspekter).
Jean Gallier. Logic for
Computer Science: Foundations of Automatic Theorem Proving. Wiley,
1986 (revised online version).
Mycket bra och rätt avancerad logikbok som fokuserar på
satslogik och första ordningens predikatlogik. Boken trycks inte
längre men kan istället laddas ner från webben utan
kostnad.
Anil Nerode, Richard A. Shore. Logic for Applications. Texts and
Monographs in Computer Science, Springer-Verlag, 1993.
En bok som också verkar vara bra (fast jag inte har läst
den). Innehåller satslogik, predikatlogik, Prolog, modallogik (en
utökning av predikatlogik som kan uttrycka att något är nödvändigt eller möjligt) och intuitionistisk
logik. Den sistnämnda accepterar ett existensbevis endast om det
åtminstone i princip visar hur ett objekt med egenskapen i
fråga skulle kunna tas fram.
John J. Kelly. The Essence of Logic. Prentice Hall, 1996.
Det är den här boken OH-bilderna rättar sig efter i
stora drag. Boken är förstås lite utförligare
än OH-bilderna. Å andra sidan behandlar OH-bilderna vissa
aspekter (t.ex. svarsextraktion, predikatlogik med ett speciellt
likhetspredikat, avgörbarhet och effektivitet) som inte alls eller
bara väldigt lite diskuteras i boken. Tyvärr innehåller
boken rätt mycket fel och missvisande information så att den
inte kan rekommenderas.
Några få böcker om logisk prgrammering (i Prolog):
William F. Clocksin, Christopher S. Mellish. Programming in
Prolog (5th edition). Springer-Verlag, 2003.
Bokens första utgåva från 1981 var den första
läroboken om Prolog överhuvud taget. Många tycker
fortfarande att den är bäst.
Leon Sterling, Ehud Shapiro. The Art of
Prolog (2nd edition). MIT Press, 1994.
Mycket bra bok, mer avancerad än den ovannämnda.
Richard O'Keefe. The Craft of Prolog. MIT
Press, 1990.
Bra bok för dem som redan kan Prolog men vill bli en ännu
bättre Prolog-programmerare. Är alltså ingen
nybörjarbok alls men kan vara mycket intressant om du redan har
läst en eller båda av de ovannämnda (eller någon
annan bok om programmering i Prolog).
