�Logikk
�Spr�k:
�Uttrykke
betingelser p� en helt presis
m�te
�Kalkyle
�Gjennomf�re
gyldige slutninger
�Beregninger
�Hva
er beregnbart?
�Hva
betyr dette?
�Ikke
alt kan beregnes
�Modeller
for beregnbarhet
�Endelige
automater
�Stakkautomater
�Turingmaskiner