Universität Potsdam - Didaktik der Informatik - 82247 Dok.
- Universität Potsdam - Didaktik der Informatik - 79440 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
-
Guided Tour - 39585 Dok.
-
Lehre - 11483 Dok.
- Lehrveranstaltungen - 11479 Dok.
- Funktionale und logische Programmierung - 127 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
