- funktionale Programmierung: diese Vorlesung
- logische Programmierung: in Angew. Künstl. Intell.
- Constraint-Programmierung: als Master-Wahlfach
Beziehungen zu weiteren LV: Voraussetzungen
- Bäume, Terme (Alg.+DS, Grundlagen Theor. Inf.)
- Logik (Grundlagen TI, Softwaretechnik)
Anwendungen:
- Softwarepraktikum
- weitere Sprachkonzepte in Prinzipien v. Programmiersprachen
- Programmverifikation (vorw. f. imperative Programme)
Johannes Waldmann
2013-06-11
