Må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
Forelæsere
Mogens Nielsen og Ole Eriksen
Eksamen
mundtlig, 13-skalaen
Kursussprog
dansk (kursusmateriale engelsk)
Point
10 ECTS