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 - Folien zur Vorlesung WS99 - 51 Dok.
-
Einleitung
- Prolog-Basiskonstrukte
- Prädikatenlogik1
- Prädikatenlogik2
- Prolog-Syntax
- Prolog-Programmiertechniken
- Prolog Built-In Prädikate
- Prolog-Praktische Programmierung1
- Prolog-Praktische Programmierung2
- Prolog-Expertensystem
- ML-Einfuehrung
- Lambda Kalkül1
- Lambda Kalkül2
- Funktionale Programmierung mit ML 1
- Funktionale Programmierung mit ML 2
- ML-Fallstudie
- ML Modulsystem
- Erg. ML LazyLists
- Logisch-funktionale Sprache 1
