Gebiet |
Präsentationen |
Übungen |
Demo-Programme |
|---|---|---|---|
| Meine Diplomarbeit |
Brief1_an_Kryptologe_Rivest.pdf
Antwort1_von_Kryptologe_Rivest.pdf Brief2_an_Kryptologe_Rivest.pdf Diplomarbeit.pdf |
keine | keine |
| 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 |