Deckblatt Wi-Inf WS1011 1 - Fachbereich Informatik - Universität ...

LV 64-022:
Übungen zu SE3 - Funktionale Programmierung
Dozent/in
Benjamin Seppke, Leonie Dreschler-Fischer
Zeit/Ort Wöchentlich 2 UE Di 8:15–9:45 D–125 ab 19.10.10
Wöchentlich 2 UE Di 10:15–11:45 D–125 ab 19.10.10
Wöchentlich 2 UE Mi 10:15–11:45 D–220 ab 20.10.10
Wöchentlich 2 UE Mi 12:15–13:45 D–129 ab 20.10.10
Wöchentlich 2 UE Mi 14:15–15:45 C–104 ab 20.10.10
Weitere Informationen siehe oben
LV 64-021:
Softwareentwicklung III: Logikprogrammierung
Dozent/in
Michael König; Wolfgang Menzel; Isabelle Streicher
Zeit/Ort 2 UE / Wöchentlich 2 UE Fr 12:15–13:45 ESA J ab 22.10.10
Kommentare/ Inhalte Die Veranstaltung vermittelt Kenntnisse und Fertigkeiten in einem alternativen
Programmierparadigma, das auf der Idee der Informationsanreicherung durch Unifikation
von Datenstrukturen beruht. Ausgangspunkt ist der Begriff der Relation als
richtungsunabhängige Berechnungsvorschrift und ihre Implementierung als relationale
bzw. deduktive Datenbank. Einen Schwerpunkt bildet die Arbeit mit rekursiven und
unvollständigen (variablenhaltigen) Datenstrukturen. Behandelt werden außerdem die
Möglichkeiten und das Potenzial der gezielten Veränderung von Syntax und Semantik der
Programmiersprache. Die Veranstaltung schließt auch eine Gegenüberstellung mit
zentralen Konzepten der funktionalen Programmierung ein.
Vorgehen
* Kennenlernen von zentralen Konzepten der Logikprogrammierung (Unifikation, Suche,
Informationsanreicherung, Metaprogrammierung)
* Vermitteln der Fähigkeit zur kritischen Bewertung der Vor- und Nachteile der
relationalen Programmierung im Vergleich zu anderen Programmierparadigmen, sowie
zum Erkennen typischer Anwendungsfelder.
* aktive Anwendung der Kenntnisse zur eigenständigen Problemlösung
* Wiedererkennen formaler Strukturen der Informatik in einem programmiersprach-lichen
Kontext
* Praktische Übungen zur Softwareentwicklung in Prolog
* Präsentation von Lösungsansätzen und Resultaten
* schriftliche Dokumentation der Resultate
Literatur
* Clocksin, W. und Mellish, C. (1997) Programming in Prolog. Springer-Verlag, Berlin.
* Sterling, L. and Shapiro, E. (1993) The Art of Prolog. MIT Press, Cambridge, MA.
* Bratko,, I. (2001) Prolog - Programming for Artificial Intelligence. Pearson Education,
Harlow etc.
LV 64-023:
Übungen zu SE3 - Logikprogrammierung
Dozent/in
Wolfgang Menzel, N.N.
Zeit/Ort Wöchentlich 2 UE Di 8:15–9:45 D–129 ab 19.10.10
Wöchentlich 2 UE Mi 10:15–11:45 C–104 ab 20.10.10
Wöchentlich 2 UE Mi 12:15–13:45 D–125 ab 20.10.10
Wöchentlich 2 UE Mi 14:15–15:45 D–125 ab 20.10.10
Weitere Informationen siehe oben
37