Skolan för
datavetenskap
och kommunikation
logik09
Kursliteratur
Föreläsningar
Övningar
Hemtal
Labbar
Kontrollskrivningar
Kursanalys
Andra omgångar
Studiehandbok
Hederskodex
KTH
/
CSC
/
Kurser
/
DD1350
/
logik09
/ Kursliteratur
Logik för dataloger, logik09
DD1350 Logik för dataloger
Kurslitteratur
Michael Huth, Mark Ryan
Logic in Computer Science
Cambridge University Press 2004 (2nd edition)
ISBN 0 521 54310X
Borde finnas i
Kårbokhandeln
i början av perioden.
Om
Prolog
hänvisar vi till följande manual:
Manual för Sicstus Prolog
Copyright ©
Sidansvarig:
Dilian Gurov
<dilian@csc.kth.se>
Uppdaterad 2009-01-29
Michael
Huth, Mark Ryan
