Paradigmen der Programmierung

Ziel der Vorlesung ist, die Studierenden in Erweiterung des im Modul "Einführung in die Informatik" gelernten vertraut zu machen mit Programmierparadigmen und -stilen , die Alternativen und Ergänzungen zur prozedural/imperativen Programmierung darstellen.

Die Vorlesung führt in die Programmierkonzepte ein durch Vermittlung und Einübung geeigneter Sprachen für das funktionale (Haskell) und logisch-relationale (Prolog, CHR) Programmieren.

• Die Vorlesung führt in alternative, deklarative Programmierkonzepte ein durch Vermittlung und Einübung geeigneter Sprachen für das funktionale (z.B. Haskell) und logisch-relationale (z.B. Prolog, CHR) Programmieren.
• Die unterschiedlichen Ansätze werden miteinander vergleichbar gemacht und in Beziehung gesetzt.
• Die Übung ermöglicht es, praktische Erfahrungen mit deklarativen Programmiersprachen zu sammeln. Die Übungen beinhalten sowohl theoretische als auch programmier-praktische Aufgaben.

Ziel des Moduls ist, die Studierenden in Erweiterung des im Modul 'Einführung in die Informatik' gelernten vertraut zu machen mit Programmierparadigmen und -stilen, die Alternativen und Ergänzungen zur prozedural/imperativen Programmierung darstellen. Die Studierenden sollen grundlegendes Verständnis und Kenntnisse über Prinzipien und Verfahren der deklarativen Programmierung erhalten, können sie anwenden und besitzen entsprechende Programmiererfahrung.

• Vorlesungsfolien
• W. F. Clocksin, C. S. Mellish: Programming in Prolog, 5. Auflage, Springer 2003
• M. Lipovaca, Learn you a Haskell for Great Good!, No Starch Press 2011, http://learnyouahaskell.com

_{(Angaben ohne Gewähr)}