Deskriptive Programmierung, Sommersemester 2013

Für die entsprechende Vorlesung im Sommersemester 2016, siehe hier.

Organisatorisches:

Exkursion:

HaL8

Gastvorlesung:

Stefan Wehr zum Thema "Funktionale Programmierung in der Praxis"

Inhaltliche Zusammenfassung:

Die Vorlesung führt deskriptive Programmierung (oder, auch gängige Bezeichnung: deklarative Programmierung) an Hand der funktionalen Programmiersprache Haskell und der logischen Programmiersprache Prolog ein. Ziel solcher Programmiersprachen ist es, Problembeschreibung und -lösung in den Vordergrund zu stellen, statt Überlegungen zu Operationen der ausführenden Maschine. Dies bedeutet Programmieren auf einem abstrakteren Niveau, insbesondere unter Anleihen in Algebra und Logik. Viele Problemstellungen können auf diese Weise sehr viel direkter modelliert werden als in "herkömmlichen" Sprachen, und im Idealfall stellt eine solche Modellierung/Spezifikation bereits ein ausführbares Programm dar. Der Hauptfokus der Vorlesung liegt aktuell auf funktionalem Programmieren mit Haskell. Haskell hält sich streng an den mathematischen Funktionsbegriff (insbesondere Seiteneffektfreiheit), bietet mächtige Abstraktionsmechanismen auf Funktions- und Typebene, und erlaubt Korrektheitsbeweise und effizienzverbessernde Programmtransformationen durch gleichungsbasiertes Schließen. Die Vorlesung führt Haskell ohne Annahme von Vorkenntnissen in funktionaler Programmierung ein und führt von einfachen Programmen zu allgemeinen Konstruktionsprinzipien, Sprachmechanismen zur flexiblen Wiederverwendung von Code, und Ansätzen zur Analyse und Transformation von Programmen. Durchgehend enthalten die Übungen einen großen Anteil Programmieraufgaben (in Einzelarbeit). Ein kleinerer Teil der Vorlesung widmet sich logischem Programmieren mit Prolog, wiederum mit Einführung von Grund auf, bis zu einfachen Programmen, den wichtigsten Sprachfeatures, und Behandlung des Operationalisierungsprinzips und der entsprechenden logischen Interpretation.

Voraussetzungen:

Die Lehrveranstaltung richtet sich in erster Linie an Bachelor-Studierende der Informatik (nach Absprache prinzipiell Teilnahme auch im Nebenfach möglich). Sie gehört zum Wahlpflichtbereich, kann jedoch auch bereits im 2. Fachsemester belegt werden. Vorausgesetzt werden die Beherrschung des Programmierens in einer beliebigen Programmiersprache sowie mathematische und logische Grundlagen wie etwa in der Lehrveranstaltung Logik und diskrete Strukturen (insbesondere Kapitel 2 und 5 und der allgemeine Teil von Abschnitt 4.3) vermittelt.

Studentische Sicht auf die Lehrveranstaltung:

Durch die Fachschaft durchgeführte Lehrevaluationen:

Lehrbücher:

Online-Ressourcen:

Software:

Weiterführendes Material: