Modulinformationssystem Informatik

 

Fortgeschrittene Programmierung URL PDF XML

Modulcode: WI09
Englische Bezeichnung: Advanced Programming
Modulverantwortliche(r): Prof. Dr. Michael Hanus
Turnus: jedes Jahr im SS (SS09 SS10)
Präsenzzeiten: 3V 2Ü
ECTS: 7
Workload: 210 Std.
Dauer: ein Semester
Modulkategorien: WI (Sonstige)
Lehrsprache: Deutsch
Voraussetzungen: Info

Kurzfassung:

In dieser Vorlesung werden fortgeschrittene Programmierkonzepte vorgestellt. Dabei wird der Umgang mit den Konzepten der wichtigsten Programmierparadigmen, d.h. funktionale, logische, Constraint-orientierte, nebenläufige und verteilte Programmierung, geübt.

Lernziele:

Nach Abschluss dieses Moduls sind die Studierenden in der Lage, die Konzepte der wichtigsten Programmierparadigmen zur Lösung konkreter Programmieraufgaben effektiv einzusetzen. Sie können die geeignete Anwendung dieser Konzepte für gegebene Probleme einschätzen.

Lehrinhalte:

In dieser Vorlesung werden forgeschrittene Programmierkonzepte, die über die in den ersten Studiensemestern erlernte Programmierung hinausgehen, vorgestellt. Dabei wird anhand verschiedener Programmiersprachen der Umgang mit den Konzepten der wichtigsten Programmierparadigmen vermittelt. Moderne funktionale Programmierungtechniken werden am Beispiel der Sprache Haskell gezeigt. Logische und Constraint-orientierte Programmierung wird in der Sprache Prolog vermittelt. Konzepte zur nebenläufigen und verteilten Programmierung werden mit der Sprache Java vorgestellt und geübt.

Weitere Voraussetzungen:

Bachelorstudium 1.-4. Semester

Prüfungsleistung:

mündliche Abschlussprüfung am Ende der Vorlesung

Lehr- und Lernmethoden:

Verwendbarkeit:

Literatur:

  • S. Thompson: Haskell - The Craft of Functional Programming, Addison-Wesley, 1996
  • G. Hutton: Programming in Haskell, Cambridge University Press, 2007
  • L. Sterling, E. Shapiro: The Art of Prolog, 2nd Ed., MIT Press, 1994
  • T. Frühwirth, S. Abdennadher: Constraint-Programmierung, Springer, 1997
  • D. Lea: Concurrent Programming in Java, 2nd Ed., Addison Wesley, 2000
  • P. Hyde: Java Thread Programming, Sams Publishing, 1999

Verweise:

Kommentar: