Die Theoretische Informatik formuliert und untersucht Algorithmen mit Hilfe von formale Methoden und mathematische Modelle und unterstützt die Rechnerkonstruktion mit Hilfe von (Denk-)Modellen.
WorkShops und Skripte
- Workshop "Endliche Automaten", Tagung zur Schulinformatik GI-FIBBB 2008 (PDF-Datei von W. Gussmann)
- Workshop Turingmaschinen, IBBB 2007 (PDF-Datei von W. Gussmann)
- LISUM-Fortbildung: Automaten und Sprachen (2007) (PDF-Datei von W. Gussmann)
- Informatik-Tag Berlin-Brandenburg 2010: „Formale Sprachen” (PDF-Datei von W. Gussmann, Paul-Natorp-Oberschule)
Material und Links
- Material zum Vertiefungsgebiet "Theoretische Informatik" im dritten Unterrichtsjahr (Bereich Vertiefungsgebiet V9 - TI)
- Linkliste zum Thema theoretische Informatik (Bereich Vertiefungsgebiet TI)
- Software zum Thema Theoretische Informatik (Bereich Vertiefungsgebiet TI)
Programme und Tools
- JFLAP - Programm zur Simulation von diversen Automaten-Typen (Link zur Übersichtsseite von JFlap)
JFlap ist ein Java Programm, das an der Duke University, Durham, unter Susan Rodgers erstellt wurde. Es dient zur Visualisierung und zum selbständigen Erstellen von Automaten. Zur Einführung bietet sich das JFLAP-Tutorial (Englisch) an. Ein umfangreiches JFLAP-Wiki (Englisch) kann zur weiterführenden Information genutzt werden. Das Tool wurde schon mehrfach erfolgreich im Wahlpflicht- und Oberstufenunterricht am Gymnasium eingesetzt.
- AtoCC - Lernumgebung für theoretische Informatik
Die Lernumgebung AtoCC unterstützt den Lernenden in der theoretischen Informatik (Automatentheorie, formale Sprachen) und deren Anwendung im Compilerbau. AtoCC befördert Aktivitäten, mit deren Hilfe beim Lehrenden ganz bestimmte geistige Techniken entwickelt werden. AtoCC besteht aus 6 Komponenten: AutoEdit, AutoEdit Workbook, kfG Edit, TDiag, VCC und SchemeEdit. Eine Weiterentwicklung von AtoCC ist nicht mehr geplant. Nachfolger ist FLACI - siehe unten.
FLACI - Formale Sprachen, abstrakte Automaten, Compiler und Interpreter
Ein deutlich überarbeiteter Nachfolger von AtoCC in Form einer modernen Web-Applikation. Das PDF "FLACI – Eine Lernumgebung für theoretische Informatik" beschreibt den Einsatz dieser Sofware (INFOS 2019).
Sonstiges
Sie möchten gerne in diesem Bereich mitarbeiten, Material oder Links dazu vorschlagen, Unterrichtsreihen vorstellen oder beschreiben?
Dann schreiben Sie bitte eine E-Mail an den u.a. verantwortlichen Redakteur!
-
Unterricht
-
Fächer
-
Mathematik/ Naturwissenschaften
-
Informatik
-
Unterrichtsmaterialien und Fachthemen - Überblicksseite
- Materialien zu Themen des RLP 1-10
- Materialien zu Themen der Sekundarstufe II - Überblick
- Informatik zu Hause - Selbstlernmaterialien für Schülerinnen und Schüler
- OER-Material zum Informatik-Unterricht
- Unterrichtsmaterial zur Informatik Sek II (geordnet)
- Was ist Informatik?
- Angewandte Informatik
- Praktische Informatik
- Theoretische Informatik
- Technische Informatik
- Informatik und Gesellschaft
- Didaktik der Informatik
- Sonstiges (Linksammlung und Verweise)
- Ausserschulische Lernorte Informatik
- Tools für den Informatik-Unterricht
-
Unterrichtsmaterialien und Fachthemen - Überblicksseite
-
Informatik
-
Mathematik/ Naturwissenschaften
-
Fächer
Redaktionell verantwortlich: Frank Oppermann
Der Bildungsserver Berlin-Brandenburg ist ein Service des Landesinstituts für Schule und Medien Berlin-Brandenburg im Auftrag der Senatsverwaltung für Bildung, Jugend und Familie (Berlin) und des Ministeriums für Bildung, Jugend und Sport Land Brandenburg.