Ändringar mellan två versioner
Här visas ändringar i "Kurslitteratur" mellan 2014-08-26 13:30 av Johan Boye och 2014-08-26 14:11 av Johan Boye.
Visa nästa > ändring.
Kurslitteratur
¶
*
course book 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.
* 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.