Lernmittel zur theoretischen Informatik:

Gebiet

Präsentationen

Übungen

Demo-Programme

Halteproblem
halteproblem1.doc
halteproblem1.ppt
keine Einfacher Beweis des Halteproblems. WARUM gibt es kein Programm, das von beliebigen Programmen feststellen kann, ob diese abstürzen oder nicht?
Induktiv/rekursiv
Vorschau_InduktiveDefinition_Rekursion1.pdf
InduktiveDefinition_Rekursion1.doc
InduktiveDefinition_Rekursion1.pdf
keine keine
Semantik
operationale_Semantik.doc
operationale_Semantik.pdf
keine keine