Weiterbildungslehrgang VIII "Informatik für Gymnasien"
Vortragsskripte und Materialien zum Kurs 5 des IFB Speyer vom 10.5. bis 14.5.2004
(Leitung: K. Becker, Kaiserslautern)
Ein Automatensimulator
von Klaus Becker
- Powerpoint-Präsentation (348 K)
- Präsentation und Materialien: Automatensimulator.zip (598 K)
Formale Sprachen
von Klaus Becker
Formale Sprachen und Automaten
- Powerpoint-Präsentation (785 K)
- Präsentation und Materialien: FormaleSprachenAutomaten.zip (4.1 M)
Theorie formaler Sprachen
- Powerpoint-Präsentation (2.44 M)
- Präsentation und Materialien: FormaleSprachenTheorie.zip (1.53 M)
Programmieren mit Prädikatenlogik
von Klaus Becker
- Powerpoint-Präsentation (689 K)
- Präsentation und Materialien: LogischeProgrammierung.zip (258 K)
Funktionale Programmierung
von Klaus Becker
- Powerpoint-Präsentation (631 K)
- Präsentation und Materialien: FunktionaleProgrammierung.zip (238 K)
Funktionale Programmierung mit Caml
- Powerpoint-Präsentation (259 K)
- Präsentation und Materialien: FunktionaleProgrammierungCaml.zip (81 K)