Námsefni til prófs í
Formleg mál og reiknanleiki, Haust 1998

Námsefni í kennslubók

Kafli 0:

Allur kaflinn (Upprifjun úr Stærðfræðimynstur í tölvunarfræði)

Kafli 1:

Allur kaflinn (Stöðuvélar og regluleg mál)

Kafli 2:

Allur kaflinn (Staflavélar og samhengisóháð mál)

Kafli 3:

Allur kaflinn (Turing vélar)

Kafli 4:

Allur kaflinn (Leysanleg og óleysanleg mál)

Kafli 5:

Allur kaflinn (Óleysanleg mál og vörpunarumbreyting)

Kafli 6:

Hluti 6.1 (Endurkvæmnissetningin)

Kafli 7:

Hlutar 7.1 - 7.4 [þó lauslega Setningu Cook-Levin] (Tímaflækja)

Kafli 8:

Hlutar 8.1 - 8.3 [þó lauslega Setningar 8.5 og 8.8] (Minnisflækja)