|
![]() |
HyFIS |
Theoretische InformatikNoch immer spielt die Theoretische Informatik im Informatikunterricht eine untergeordnete Rolle. Meist wird sie in der vermittelten Form von den Schülern nicht geschätzt. Ursache ist oft eine isolierte Darbietung des Stoffs, die seine Anwendungen nicht erkennbar werden läßt. Zur Abhilfe wird empfohlen, theoretische Fragestellungen stets in Verbindung mit den zugehörigen praktischen Anwendungen, aus denen sie ihre ursprüngliche Motivation bezogen haben, zu behandeln.Die folgenden Beiträge geben Anregungen und Hinweise für die Einbeziehung theoretischer Aspekte in den Unterricht.
|
Analyse und Konstruktion von Sprache in der Informatik und der Chemie
Animation von Backtracking Algorithmen - EducETH Zuerich - *2003
Ausgewählte Algorithmen
AutoEdit - Simulation von Automaten beta version - *2005
Automaten - A. Rittershofer - *2004
Bibliography of Molecular Computation and Splicing Systems - P. Frisco - *2000
Charon - Simulation von endlichen Automaten - M. Spohrer - *2005
Das Problem der acht Damen - K. Wollweber - *2003
Die Integer-Rechenscheibe - H. Puhlmann - 1999
Dynamisches Programmieren - MathePrisma-Modul - *2002
EdMat - Education Matters - H.-J. Kreowski - *2002
Efficient Algorithms for Discrete Problems and their Applications - DFG - *2000
Effizienz von Sortieralgorithmen - K. Wollweber - *2003
Ein BCD-Codierermodell - A. Reissing/K. Schmidt/A. Schulz/B. Siggel/M. Thierbach - 2000
Ein enaktives Zeigermodell - G. Bobsin/M. Eichler/C. Heinrich/U. Kuhmann - 2000
Einführung in die Genetische Programmierung - M. Brameier - 1997
Exorciser - Übungen zur theor. Informatik erstellen - SwissEduc - *2005
Ganimal - Generierung endlicher Automaten - Interaktives Online-Lehrbuch - R. Wilhelm u.a. - *2000
Genetische Algorithmen interaktiv - E. Zitzler - EducETH Zürich - *2003
Grenzen der Berechenbarkeit - I. Saatz - 1996
JFLAP - Simulation zu Automaten und Formalen Sprachen (Demo) - *2001
JGAA - Journal of graph algorithms and applications - *2001
Komplexität von Algorithmen in der Schule - J. Mocek - *2002
Kryptographie
LALR-Parser - Lernprogramm - T. App - Universität Oldenbourg - *2003
Lily Lindenmayersysteme - Lernprogramm - Universität Oldenburg - *2003
Molekulares Rechnen - Das Sticker-Modell - S. Gerding - 1997
Nebenläufigkeit - Seminararbeit - Potsdam - 1999
Petri-Netze am Beispiel eines Drucker-Spoolers - *2003
Registermaschine Simulationsprogramm - *2001
Selection-, Insertion-, Bubblesort - Schuelerarbeit - *2001
Skripten zur Theoretischen Informatik - LS Meyer auf der Heide, Paderborn - *2002
Spracherkennung in Compilern - A. Rittershofer - 1997
Suchen, Sortieren, Baumstrukturen - Schuelerreferate - *2002
The Alan Turing Homepage - A. Hodges - *2000
The Boyer-Moore Fast String Searching Algorithm
The joys of teaching formal language theory to children - J.V. Rauff - 2000
Turingmaschine - MathePrisma-Modul - U Wuppertal - *2002
Turingmaschine Simulationsprogramm - G. Buchholz - *2004
Turingmaschine und Halteproblem - A. Rittershofer - *2003
Visualisierung und Animation der semantischen Analyse von Programmen - A. Kerren - 2000
Von HTML zu Bison: Formale Sprachen - A. Rittershofer - *2003
Welchen Wert haben theoretische Grundlagen für die Berufspraxis? - Gedanken zum Fundament des Informatik-Turms - J. Nievergelt - 1995
|