Das Projekt

Leitung: Bernhard Moiske

Beteiligte Schüler des 4.Semesters:
Gregor Chmielewski, Sandra Engelhardt, Max Fowinkel, Thomas Glittmann, René Güntner, Gangolf Kern, Martin Köhn, Robert Naucke, Philipp Tomann, Alexander Wolf.

Unterstützung durch die Internet-AG:
Ulrich Kautz, Karar Selçuk, Jan Wagner, Alexandra Stumm

Durch den im Projekt dargestellten Stoff erhält man zeitlose strukturelle Einsichten in die Informatik. Die verwendeten formalen Methoden rücken das Gebiet auch in der Schule in die Nähe der Mathematik. Das vorgestellte Material liefert lediglich einen roten Faden, wobei die wesentlichen Zusammenhänge verdeutlicht werden sollen. Für den Unterricht notwendig sind Ergänzungen, weitere Beispiele und Aufgaben , welche man zum Beispiel der angegebenen Literatur entnehmen kann.

Es ist denkbar, die Webseiten als Anregung zu benutzen, etwa als Ausgangspunkt eigener Recherchen, aber auch für Vorträge oder zur Wiederholung sind die Seiten verwendbar.

Die Themen über Automaten und Formalen Sprachen wurden von Arbeitsgruppen bearbeitet: Es wurde jeweils ein Vortrag gehalten, entsprechende Webseiten wurden entwickelt und Beispielprogramme in Turbo-Pascal entstanden.
In der Entwicklung der Webseiten sollten die Arbeitsgruppen durchaus einen eigenen Stil entwickeln. An ein Gesamtkonzept für die Seiten war also nicht gedacht. Eine spätere Überarbeitung der Seiten durch die Internet-AG des OSZ Recht brachte dann unter anderem eine gewisse Vereinheitlichung der Hintergrundgestaltung.
Einige Schüler nutzten Rechercheergebnisse für ihre Themen.

Zu dem Themenbereich über Turingmaschinen und unlösbare Probleme hat der betreuende Lehrer entsprechende Webseiten sowie die Turingmaschinen-Simulation in der Niki-Programmierumgebung zur Verfügung gestellt.

Als Grundlage für die Erstellung dieser Webseiten als auch für Programmierideen dienten etliche Quellen.  Darüber hinaus gibt es einige Websites zu den Themen unseres Projektes !

[Startseite]