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.

Da die Veranstaltung ab der FSPO 2022 nicht mehr für das Studium vorgesehen ist, läuft diese Vorlesung aus. Sie wird daher nur noch als Moodlekurs zum Selbststudium angeboten (siehe Link in der rechten Spalte). 

Bei Fragen können Sie sich gerne an den Dozenten (siehe ebenfalls rechte Spalte oder auch im Moodlekurs) wenden!

Klausuren werden halbjährlich jeweils im zweiten Prüfungszeitraum angeboten, nähere Infos im Moodlekurs. 

• 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)}