Litteraturlista
Matematisk logik för datavetenskap
Logic in Computer Science
Kurs
DIT203
Avancerad nivå
7,5 högskolepoäng (hp)
Om litteraturlistan
Giltig fr.o.m
Hösttermin 2026 (2026-08-31)
Beslutsdatum
2026-01-30
Logic in Computer Science. by Michael Huth and Mark Ryan, second edition.
Det finns en electronic version. på Store.
Det finns även en elektronisk version av boken tillgänglig via Chalmers bibliotek.