Gruppwebben som samarbetsyta stängs 1 oktober 2026. Du som administratör behöver nu exportera gruppens innehåll och/eller radera gruppen.
Observera: Från och med den 1 oktober 2026 kommer delar av gruppwebben som inte längre används, successivt att stängas ned, exempelvis gruppwebbar som redan har flyttats eller varit inaktiva under en längre tid.
Mer information hittar du i nyheten: Gruppwebben och Social stänger den 1 oktober 2026. Stöd och instruktioner för hur du exporterar en gruppwebb finns i: 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.