Theoretische Informatik - kostenloses Unterrichtsmaterial, Arbeitsblätter und Übungen

Informatik mit Prolog
Enthält viele Unterrichtsmaterialien zur theoretischen Informatik, die mit aber auch ohne Prolog-Kenntnisse genutzt werden können.
SWI-Prolog-Editor
Unterrichtsgeeignete Entwicklungsumgebung für Prolog
Eine kurze Einführung in das ERM
Eine kurze Einführung in das ERM
SWI-Prolog-Editor
Unterrichtsgeeignete Entwicklungsumgebung für Prolog
Das praktisch Unmögliche - Didaktische Reduktion der polynomiellen Reduktion