Exorciser: Automatisches Generieren und Korrigieren von strukturierten Übungen zur theoretischen Informatik

Main content

Kontakt: Vincent Tscherter

Im Übungsbetrieb an Hochschulen dauert es oft Tage, bis Studierende Korrekturen zu ihren Lösungen erhalten. Unmittelbares und individuelles Feedback ist aber in vielen Lernsituationen entscheidend. Gerade in der Informatik bieten moderne Informations- und Kommunikationstechnologien Alternativen. In formal erfassbaren Themenbereichen lassen sich Aufgaben automatisch erzeugen, der Lösungsweg kann schrittweise auf Korrektheit überprüft und den Studierenden ein individuelles Feedback gegeben werden.

Exorciser ist eine Sammlung von interaktiven Übungen zum Themenbereich der Theoretischen Informatik. Studierende im Grundstudium Informatik testen darin ihr Grundverständnis der in einer Vorlesung vermittelten oder aus Lehrbüchern erworbenen Inhalte. Unterstützt werden sie von einem adaptiven Korrektur- und Bewertungssystem. Bei Exorciser steht aber nicht der Prüfungsaspekt im Vordergrund. Vielmehr können die Studierenden Aufgaben in vielen Varianten durchspielen und sich so vertieft mit den behandelten Problemen auseinandersetzen.

Exorciser war Finalist des Medidaprix 2003.

Akkordeon. Mit Tab zu Einträgen navigieren, dann Inhalt mit Enter auf und zuklappen.

 

Download

Autoren

Konzept

 

  • Prof. Jürg Nievergelt,Vincent Tscherter
  • Reto Lamprecht, Christian Häfeli (FA Lib & Editor)
  • Matthias Dreier, Nicolas Lefebvre (RegExp Dictionary)
  • Alexander Imfeld, Pascal Erni (MinDFA & FA2RE)
Beiträge

 

  • Daniel Müller, Thomas Briner (Markov Algorithms)
  • Thomas Suter, Martin Fussen (CFL)
  • Oliver Biderbost, Philipp Schlegel (NPDA)
Zusammenarbeit

 

  • Prof. Werner Hartmann

Aufgabentypen in Exorciser

Reguläre Sprachen

  • Konstruktion endlicher Automaten
  • Konversion endlicher Automaten zu regulären Ausdrücken
  • Konversion regulärer Ausdrücke zu endlichen Automaten
  • Entfernen von ε-Übergägen
  • Konversion von NFA zu DFA
  • Minimieren endlicher Automaten
  • Untere Schranke für deterministische endliche Automaten
  • Abgeschlossenheit: KLEENE STAR
  • Abgeschlossenheit: UNION
  • Abgeschlossenheit: CONCATENATION

Kontextfreie Grammatiken

  • Cocke-Kasami-Younger parsing Algorithmus
  • NPDA Browser

Markov Algorithmen

  • Einführung
  • Labor
  • Append Prefix
  • Append Suffix
  • Erase First
  • Erase Last
  • Stringverdoppelung
  • Stringumkehrung
  • Palindrome
  • Ungerade
  • Binär inkrementieren
  • Binär addieren
  • Multiplikation
  • DIV
  • GGT
  • KGV
  • Konversion von binär nach unär
 
 
URL der Seite: http://www.educ.ethz.ch/unterrichtsmaterialien/informatik/exorciser.html
Sun Mar 26 16:56:54 CEST 2017
© 2017 Eidgenössische Technische Hochschule Zürich