Hier finden Sie Links auf Dokumente, Handbücher und Systeme, die in der Vorlesung verwendet werden.
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.
- Grundlagen der Programmierung I - 159 Dok.
- Begleitmaterialien zu ML - 17 Dok.
-
Abzählbarkeit - 9 Dok.
- Definition des Begriffs - Abzählbarkeit der Menge X*
-
Caml Light - INRIA, Frankreich - *2003
- Caml is a strongly-typed functional programming language from the ML family. OCaml (Objective Caml) and Caml Light are two open source implementations of Caml developed at INRIA Rocquencourt, France.
-
Einführung in die Programmiersprache ML - A. Schwill - 2004
- Kurze Darstellung der Programmiersprache PRO - A. Schwill - 2003
- Moscow ML - *2003
- Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.
- Programming in Standard ML - R. Harper - *2011
- Standard ML - Bell Labs, New Jersey - *2003
- Standard ML of New Jersey (abbreviated SML/NJ) is a compiler for the Standard ML '97 programming language with associated libraries, tools, and documentation. SML/NJ is free, open source software.
