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

Proseminar: Fortgeschrittene Programmierkonzepte

(PS3, SS 2019)

LuFG Informatik 2


Veranstalter

Prof. Dr. Jürgen Giesl, Stefan Dollase, Marcel Hark, Jera Hensel, David Korzeniewski


Termin

Das Proseminar findet wöchentlich am Freitag von 12:30 - 14:00 Uhr in Raum 5056 statt.


Inhalt

In diesem Proseminar werden fortgeschrittene Konzepte von Programmiersprachen verschiedender Programmierparadigmen vorgestellt. Unter anderem betrachten wir als Vertreter der imperativen und objekt-orientierten Sprachen Java, als funktionale Sprache Haskell und als logische Sprache Prolog. Das Proseminar baut auf der Vorlesung "Programmierung" auf, in der erste Grundlagen verschiedener Programmiersprachen behandelt wurden.

Inhaltlich werden dazu beispielsweise 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 01.04.2019) bei uns vom Proseminar wieder abzumelden. Erst danach werden wir die Teilnehmer verbindlich dem ZPA melden. Somit wird ein Abbruch des Seminars nach dem 01.04.2019 als Fehlversuch gezählt. Genauere Informationen zum Proseminar wurden in der Vorbesprechung am 11.03.2019 bekannt gegeben.

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

Themenverteilung

Die folgenden Termine sind vorläfig und können sich noch nach hinten verschieben.

Datum Vortragende Thema Betreuer
05.04.2019 J. Giesl Allgemeine Hinweise zu Vorträgen  
12.04.2019 Alle Proseminaristen Kurzvorträge Alle Betreuer
26.04.2019 NN, Lukas Wilke Design Patterns D. Korzeniewski
03.05.2019 Christopher Ritz, Lucas Sita Multi-Threading und Synchronisation J. Hensel
03.05.2019 Felix Jordan, Johannes Leurs Java-Modulsystem S. Dollase
10.05.2019 Ben Lakhoune, Aaron Conrardy Domain Specific Languages S. Dollase
10.05.2019 Aaron Küsters, Cameron Pitsch Build-Systeme D. Korzeniewski
17.05.2019 Leon Spitzer, Tobias Wohlers Prototyping D. Korzeniewski
17.05.2019 Hauke Heidemeyer, Felix Huhn Versionsverwaltung mit Git S. Dollase
24.05.2019 David Ehrenberg, Philip Niederprüm Monaden und IO M. Hark
24.05.2019 Vincent Hilla, Leo Mommers Typklassen und Operatoren M. Hark
28.06.2019 Erik Wrede, Martin Ziegler Higher-Order Funktionen und Auswertungsstrategie M. Hark
28.06.2019 Eric Weber Constraint Logic Programming J. Hensel
05.07.2019 Ivaylo Doychev, Johannes Röder Cut und Negation J. Hensel
05.07.2019 Valentino Geuenich, Florian Tümmers Metaprogrammierung und extralogische Prädikate J. Hensel


Voraussetzungen zum Bestehen des Proseminars

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

Betreuer

Jeder Teilnehmer hat einen Mitarbeiter des Lehr- und Forschungsgebiets 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 Jera Hensel.

Disclaimer  Lehr- und Forschungsgebiet Informatik 2  Fachgruppe Informatik RWTH