This page in English  Lehr- und Forschungsgebiet Informatik 2  Fachgruppe Informatik RWTH

Proseminar: Fortgeschrittene Programmierkonzepte in Java, Haskell und Prolog

(PS3, SS 2012)

LuFG Informatik 2


Veranstalter

Prof. Dr. Jürgen Giesl, Marc Brockschmidt, Fabian Emmes, Carsten Otto, Thomas Ströder


Koordinaten

Das Proseminar findet wöchentlich am Freitag von 16:15 - 17:45 Uhr in Raum 5052 statt.


Inhalt

In diesem Proseminar werden fortgeschrittene Konzepte von Programmiersprachen verschiedender Programmierparadigmen vorgestellt. Als Vertreter der imperativen und objektorientierten Sprachen betrachten wir Java, als funktionale Sprache wird Haskell untersucht und als logische Sprache wird Prolog betrachtet. Das Proseminar baut auf der Vorlesung "Programmierung" auf, in denen erste Grundlagen dieser Sprachen behandelt wurden.

Unter anderem werden folgende Themen betrachtet:


Bibliotheksführung

Alle Teilnehmer sind verpflichtet, an einer Bibliotheksführung teilzunehmen. Die Webseite der Fachbibliothek Informatik finden Sie hier. Folgende Termine und Zuteilungen für Bibliotheksführungen wurden festgelegt:


Wichtige Termine

Alle Teilnehmer haben die Möglichkeit, sich bis 3 Wochen nach Themenvergabe (also bis zum 7. März) bei uns vom Proseminar wieder abzumelden. Erst danach werden wir die Teilnehmer verbindlich dem ZPA melden. Somit wird ein Abbruch des Seminars nach dem 7. März als Fehlversuch gezählt.

Es wird erwartet, dass die folgenden strikten Termine eingehalten werden:

Die genauen Termine der einzelnen Vorträge sowie die jeweiligen Betreuer sind nachstehend aufgeführt:

Datum Vortragende Thema Betreuer
13.04.2012 J. Giesl Allgemeine Hinweise zu Vorträgen   
27.04.2012 Alle Proseminaristen Kurzvorträge Alle Betreuer
04.05.2012 J. Erdelen, P. Kessels GUI-Programmierung in Java F. Emmes
04.05.2012 A. Schlichte, D. Theuke Generics, Iterations und Collections M. Brockschmidt
18.05.2012 T. Henn, F. Schwinger Multi-Threading und Synchronisation C. Otto
18.05.2012 L. Harke, N. Souris Refactoring-Techniken C. Otto
25.05.2012 L. Theisen, A. Wachtel Haskell: Auswertungsstrategie und Lazy Programming M. Brockschmidt
25.05.2012 B. Jonas, N. Gehlen Funktionen höherer Ordnung und List Comprehensions M. Brockschmidt
15.06.2012 A. Göringer Haskell-Typklassen, Monaden und Ein-/Ausgabe F. Emmes
15.06.2012 S. Kruse, K. Neuenfeldt Effiziente Datenstrukturen mit Haskell F. Emmes
06.07.2012 E. Mühmer, F. Obeloer Negation als Fehlschlag und der Cut, sowie Extra-Logische Prädikate T. Ströder
06.07.2012 N. Friedrich, T. Pohlen Constraint Logic Programming und Definite Clause Grammars T. Ströder


Voraussetzungen zum Bestehen des Proseminars

Zum erfolgreichen Abschluss des Proseminars müssen Sie die folgenden vier Bedingungen erfüllen:

Betreuer

Jeder Teilnehmer hat einen wissenschaftlichen Mitarbeiter als Betreuer. Dieser berät Sie bei der Bearbeitung Ihres Themas. Sie sollten Ihren Betreuer mehrfach aufsuchen, um mit ihm Ihren Fortschritt zu besprechen. Sie sollten ihn mindestens kontaktieren, um

Ausarbeitung und Vortrag

Die Ausarbeitung kann mit einem beliebigen Textverarbeitungssystem erstellt werden. Wir empfehlen allerdings LaTeX.


Rückfragen

Bei Rückfragen wenden Sie sich bitte an Marc Brockschmidt.

Disclaimer  Lehr- und Forschungsgebiet Informatik 2  Fachgruppe Informatik RWTH