CS 460 - Theoretische Informatik
12 113 11460 Fachdidaktisches Begleitseminar zur Theoretischen Informatik
Prof. Dr. R. Loogen, Michael Szabo
Vorbesprechung: Do 3. Mai 2007, 13.30 Uhr
Beginn: Anfang Juni 2007

Aufgabenstellung: Wie können Themen der Theoretischen Informatik für den Unterricht in der gymnasialen Oberstufe aufbereitet werden? Welche Werkzeuge eignen sich zur Veranschaulichung der Konzepte? Erstellen Sie ein Unterrichtskonzept, besprechen Sie dieses mit Ihrem Betreuer und stellen Sie es in einem Kurzvortrag von ca 30 Minuten vor. Schreiben Sie eine Ausarbeitung zu Ihrem Thema.
Themen:
  1. Die Chomsky-Hierarchie
  2. Lindenmayer Systeme als Beispiel generativer Grammatiken
  3. Nichtdeterministische Automaten
  4. Mealy/Moore-Automaten: Endliche Automaten mit Ausgabe
  5. Zelluläre Automaten - Das Spiel des Lebens
  6. Das Pumping-Lemma für reguläre Sprachen
  7. Das Wortproblem
  8. Turingmaschinen als Modell einfachster Computer
  9. Fleißige Biber als Hinführung zu nicht-berechenbaren Funktionen
  10. Die Churchsche These
  11. Das P-NP-Problem - NP-Vollständigkeit
  12. Das Halteproblem als Beispiel nicht-entscheidbarer Probleme


Zuletzt geändert: