Kurslitteratur
 |
Michael Huth, Mark Ryan Logic in Computer Science Borde finnas i Kårbokhandeln i början av perioden. Vi kommer ta upp följande kapitel: Kap 1 till och med 1.5.1 |
Här är ett kompendium som innehåller lösningar till ett antal viktiga uppgifter (framförallt från kursboken), många av vilka betraktas under övningarna.
Följande papper diskuterar formaliseringen av deklarativa meningar i predikatlogik.