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

Proseminar: Fortgeschrittene Programmierkonzepte in Java, Haskell und Prolog

(PS3, SS 2013)

LuFG Informatik 2


Veranstalter

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


Termin

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 12. April) bei uns vom Proseminar wieder abzumelden. Erst danach werden wir die Teilnehmer verbindlich dem ZPA melden. Somit wird ein Abbruch des Seminars nach dem 12. April 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
12.04.2013 J. Giesl Allgemeine Hinweise zu Vorträgen  
03.05.2013 Alle Proseminaristen Kurzvorträge Alle Betreuer
07.06.2013 C. Klein , T. Liepe GUI-Programmierung in Java F. Emmes
07.06.2013 L. Korp , K. Kotenko Generics, Iterations und Collections M. Brockschmidt
28.06.2013 V. Ladage, J. Winkens Multi-Threading und Synchronisation C. Otto
28.06.2013 M. Niewerth , H. Arndt Refactoring-Techniken C. Otto
05.07.2013 J.-M. Dietrich , M. Heithoff Haskell: Auswertungsstrategie und Lazy Programming M. Brockschmidt
05.07.2013 M. Bauer Funktionen höherer Ordnung M. Brockschmidt
12.07.2013 J. Kliege , F. Bier Haskell-Typklassen, Monaden und Ein-/Ausgabe F. Emmes
12.07.2013 D. Slotboom , D. Nemeth Effiziente Datenstrukturen mit Haskell F. Emmes
19.07.2013 K. Voigt , R. Lau Negation als Fehlschlag und der Cut, sowie Extra-Logische Prädikate T. Ströder
19.07.2013 T. T. Nguyen , K. Schnackenberg 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 Carsten Otto.

Disclaimer  Lehr- und Forschungsgebiet Informatik 2  Fachgruppe Informatik RWTH