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.
Kursen ges bara inom program och går inte att läsa som fristående kurs.
-
Kursupplägg
Undervisning
Undervisningen består av föreläsningar och handledning.
Examination
Kursen examineras genom tentamen och inlämningsuppgifter.
Examinator
-
Schema
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. -
Kurslitteratur
Observera att kurslitteraturen kan ändras fram till två månader före kursstart.
-
Kontakt
Kursen ges bara inom program och går inte att läsa som fristående kurs.
Mer information om våra program hittar du här
Om du går på ett program och har frågor om kursen, kontakta studievägledningen