?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