Suche Home Einstellungen Anmelden Hilfe  

UNI

HyFISH

DdI

Theoretische Informatik

    Noch 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. 

    Suche nachTheoretische Informatik im Unterricht bei Altavista

 

info  Analyse und Konstruktion von Sprache in der Informatik und der Chemie
info  Animation von Backtracking Algorithmen - EducETH Zuerich - *2003
info  Ausgewählte Algorithmen
info  AutoEdit - Simulation von Automaten beta version - *2005
info  Automaten - A. Rittershofer - *2004
info  Bibliography of Molecular Computation and Splicing Systems - P. Frisco - *2000
info  Charon - Simulation von endlichen Automaten - M. Spohrer - *2005
info  Das Problem der acht Damen - K. Wollweber - *2003
info  Die Integer-Rechenscheibe - H. Puhlmann - 1999
info  Dynamisches Programmieren - MathePrisma-Modul - *2002
Dynamisches Programmieren ist ein algorithmisches Prinzip, das zur Loesung bestimmter Optimierungsaufgaben herangezogen werden kann. Ausgehend von dem Aufhaenger "Optimiere die Weglaenge bei der Durchfahrt durch ein Warenlager" wird das Prinzip allgemein beschrieben und auf die konkrete Aufgabenstellung mittels interaktiver Applets angewendet.
info  EdMat - Education Matters - H.-J. Kreowski - *2002
Kolumne der EATCS zu allen Fragen der Ausbildung in Theoretischer Informatik
info  Efficient Algorithms for Discrete Problems and their Applications - DFG - *2000
DFG Research Cluster
info  Effizienz von Sortieralgorithmen - K. Wollweber - *2003
info  Ein BCD-Codierermodell - A. Reissing/K. Schmidt/A. Schulz/B. Siggel/M. Thierbach - 2000
info  Ein enaktives Zeigermodell - G. Bobsin/M. Eichler/C. Heinrich/U. Kuhmann - 2000
info  Einführung in die Genetische Programmierung - M. Brameier - 1997
info  Exorciser - Übungen zur theor. Informatik erstellen - SwissEduc - *2005
info  Ganimal - Generierung endlicher Automaten - Interaktives Online-Lehrbuch - R. Wilhelm u.a. - *2000
Das Online-Lehrbuch beschreibt schrittweise die vollständigen Konstruktion eines minimalen endlichen Akzeptors zu einem regulären Ausdruck. Die hierzu notwendigen Definitionen werden ebenfalls eingeführt.
info  Genetische Algorithmen interaktiv - E. Zitzler - EducETH Zürich - *2003
info  Grenzen der Berechenbarkeit - I. Saatz - 1996
info  JFLAP - Simulation zu Automaten und Formalen Sprachen (Demo) - *2001
info  JGAA - Journal of graph algorithms and applications - *2001
info  Komplexität von Algorithmen in der Schule - J. Mocek - *2002
info  Kryptographie
info  LALR-Parser - Lernprogramm - T. App - Universität Oldenbourg - *2003
info  Lily Lindenmayersysteme - Lernprogramm - Universität Oldenburg - *2003
info  Molekulares Rechnen - Das Sticker-Modell - S. Gerding - 1997
info  Nebenläufigkeit - Seminararbeit - Potsdam - 1999
info  Petri-Netze am Beispiel eines Drucker-Spoolers - *2003
info  Registermaschine Simulationsprogramm - *2001
info  Selection-, Insertion-, Bubblesort - Schuelerarbeit - *2001
info  Skripten zur Theoretischen Informatik - LS Meyer auf der Heide, Paderborn - *2002
info  Spracherkennung in Compilern - A. Rittershofer - 1997
info  Suchen, Sortieren, Baumstrukturen - Schuelerreferate - *2002
info  The Alan Turing Homepage - A. Hodges - *2000
This page is the gateway and guide to a large Website dedicated to Alan Turing (1912-1954).
info  The Boyer-Moore Fast String Searching Algorithm
Animation der Stringsuche in einem String nach Knuth-Pratt-Morris und Boyer-Moore
info  The joys of teaching formal language theory to children - J.V. Rauff - 2000
EATCS Bulletin 72 (2000) 189-192
info  Turingmaschine - MathePrisma-Modul - U Wuppertal - *2002
Dieses Modul stellt ein umfangreiches und leistungsfaehiges Simulationsprogramm bereit. Es werden folgende Themen behandelt: Halteproblem, Entscheidungsproblem,Churchsche These, Berechenbarkeit, Arbeits- und Funktionsweise der TM, Bedeutung der TM fuer die Informatik, das Problem der fleissigen Biber.
info  Turingmaschine Simulationsprogramm - G. Buchholz - *2004
info  Turingmaschine und Halteproblem - A. Rittershofer - *2003
info  Visualisierung und Animation der semantischen Analyse von Programmen - A. Kerren - 2000
info  Von HTML zu Bison: Formale Sprachen - A. Rittershofer - *2003
info  Welchen Wert haben theoretische Grundlagen für die Berufspraxis? - Gedanken zum Fundament des Informatik-Turms - J. Nievergelt - 1995

Benutzer: gast • Besitzer: schwill • Zuletzt geändert am: