Logik för datavetare
Kursen förklarar de grundläggande begreppen inom satslogik och predikatlogik.
Kursen går igenom begrepp som sanningsvärdestabeller, semantiska tablåer och användande av resolutionsmetoden. Du lär dig dessutom att använda Prolog för att modellera system och analysera modeller.
Undervisning
Undervisningen består av föreläsningar och handledning.
Examination
Kursen examineras genom tentamen och inlämningsuppgifter.
Examinator
Schema finns tillgängligt senast en månad före kursstart. Vi rekommenderar inte utskrift av scheman då vissa ändringar kan ske.
Vid kursstart meddelar utbildningsansvarig institution var du hittar ditt schema under utbildningen.
Observera att kurslitteraturen kan ändras fram till två månader före kursstart.
Kursrapporter visas för de tre senaste kurstillfällena.
Studievägledningen för kandidatprogram och kurser
Linnea Carles, Anna-Karin Ernö, Manal Gomaa och Alicja Lysikowska Lissenko
BesöksadressNodhuset, Borgarfjordsgatan 12, Kista
MottagningstiderTisdag 09:30–11.00, drop-in på plan 2, rum G5:1
Onsdag 12.30–14.00, drop-in på Zoom
TelefontiderOnsdag 09.00–11.00
Fredag 09:00–11:00
