Universität Potsdam - Didaktik der Informatik - 82258 Dok.
- Universität Potsdam - Didaktik der Informatik - 79441 Dok.
- Der Lehrstuhl Didaktik der Informatik der Uni Potsdam bearbeitet in Forschung, Lehre, Entwicklung und Service Fragestellungen zur Didaktik der Informatik, zur Gestaltung des Lehramtsstudiums Informatik, sowie zur Lehrerfortbildung und Lehrerweiterbildung
- Lehrstuhl für Didaktik der Informatik - 17639 Dok.
-
Lehre - 11483 Dok.
- Lehrveranstaltungen - 11479 Dok.
- Erweiterungsstudium Informatik für Lehrer - 2890 Dok.
- Logische und Funktionale Programmierung (Erweiterungsstudium) - Folien zur Vorlesung SS 2000 - 22 Dok.
-
I Einleitung
- II Prolog Erste Schritte
- III Grundlagen der Logik
- IV Prolog Syntax
- IX Lambda-Kalkül
- V Prolog Programmiertechniken
- VI Prolog BuiltIn-Prädikate
- VII Prolog Datenstrukturen
- VIII ML Erste Schritte
- X ML Ueberblick
- XI ML Modulsystem
-
I Einleitung
- II Prolog Erste Schritte
- III Grundlagen der Logik
- IV Prolog Syntax
- IX Lambda-Kalkül
- V Prolog Programmiertechniken
- VI Prolog BuiltIn-Prädikate
- VII Prolog Datenstrukturen
- VIII ML Erste Schritte
- X ML Ueberblick
- XI ML Modulsystem
