Gruppwebben som samarbetsyta stängs 1 oktober 2026. Då upphör redigeringsmöjligheterna. Du som administratör kan redan nu välja att exportera gruppens innehåll och radera gruppen.
Mer information och instruktioner hittar du i nyheten: Gruppwebben som samarbetsyta stängs 1 oktober 2026.
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.