| Veranstaltungskalender |
| 7.4. |
Einführung, Aussagenlogik, Erfüllbarkeit,
Schlussregeln
Slides
(4up, pdf), Uebung1
(pdf) |
| 14.4. |
Prädikatenkalkül, Grammatiken, Chomsky,
EBNF
Slides
(4up, pdf), Uebung2
(pdf) |
| 21.4. |
Wortproblem, endliche Automaten (DFA, NFA),
Minimierung, reguläre Ausdrücke
Uebung3 (pdf) |
| 28.4. |
Pumping-Lemma (regulär), Grammatiktransformationen,
Topdown-Parsing
Uebung4 (pdf), ebnf.java |
| 6.5. |
Pumping-Lemma (kontextfrei), Kellerautomaten,
kontextsensitive Sprachen
Uebung5 (pdf) |
| 13.5. |
Turingmaschine, WHILE- und LOOP-Programme
Uebung6 (pdf), tm-freiburg.tar.gz, http://www.drb.insel.de/~heiner/BB/
(Busy Beaver) |
| 26.5. |
primitiv-rekursive Funktionen, Gödelisierung
Uebung7 (pdf) |
| 2.6. |
GOTO-Programme, mu-rekursive Funktionen,
Church-These, Entscheidbarkeit, Aufzählbarkeit, Post-Korrespondenzproblem
Uebung8 (pdf) |
| 9.6. |
Entscheidbarkeit, Gödelscher (Unvollständigkeits)-Satz,
O-Kalkül
Uebung9 (pdf) |
| 16.6. |
Komplexitätsklassen, NP-Vollständigkeit,
SAT |
| 23.6. |
Nebenläufigkeit
Slides
(4up, pdf), Uebung10
(pdf) |
| 30.6. |
Repetition
Demopruefung
(pdf) |
| 7.7. |
Schlussprüfung |
