Modeller og Logik
Formål Målet med dette kursus er at give de studerende et basalt kendskab til fundamentale dele af teoretisk datalogi, herunder automatteori, logik og beregnelighed.
Indhold - Regularitet: Endelige automater, regulære grammatikker, regulære udtryk og deres egenskaber, herunder udtryksmæssig ækvivalens og begrænsninger.
- Beregnelighed: Turing maskiner og deres sprog, universalitet, uafgørlighed - herunder standse problemet.
- Logik: Propositions logik, tilfredsstillelighed og gyldighed, første ordens logik, bevissystemer, fuldstændighed, Gödel's ufuldstændighedssætning.
Underviser
Mogens Nielsen
Forelæsninger
3 timer/uge
Øvelser
2 timer/uge
Studiecafe
2 timer/uge
Forudsætninger
Matematik 10 og dIntProg (dIntProg og dette kursus kan tages samtidigt).
Eksamensform
Mundtlig, 13-skalaen
Sprog
Dansk (kursusmateriale engelsk)
ECTS
10 ECTS
Kvarter
3 + 4 (I 3. kvarter sammenfalder kurset med Regularitet og Automater).