Proseminar Logikbasierte Programmiersprachen

Organisatorisches

Die Anmeldung zum Proseminar erfolgt zentral. Nach der Zuteilung werden die Teilnehmer per E-Mail kontaktiert. Bitte kontaktieren Sie Sascha Rechenberger bei Fragen oder Problemen zur Veranstaltung oder zum Zuteilungsprozess.

Das Proseminar bietet eine Plattform, um neuere Forschungsansätze kennenlernen, analysieren und bewerten zu können. Es dient zudem der Förderung der Fähigkeiten im Aufbereiten und Präsentieren von fachwissenschaftlichen Inhalten. Dies geschieht durch Erarbeitung, Ausarbeitung, Vortrag und Diskussion ausgewählter Texte: Die Studierenden arbeiten sich in ihr jeweiliges Thema ein, erstellen eine schriftliche Ausarbeitung zu ihrem Thema, halten dazu einen wissenschaftlichen Vortrag und beteiligen sich an der Diskussion zu den anderen Vorträgen.

Thema: Deklarative Programmiersprachen

In diesem Proseminar werden wir uns verschiedene Familien und Vertreter deklarativer Programmiersprachen ansehen. Darunter funktionale Programmiersprachen wie LISP, ML, Haskell oder Curry und Logische Programmiersprachen wie Prolog, Constraint Handling Rules oder Curry.

Wir werden dabei deren Geschichte, charakteristische Features, Einsatzbereich und Vor- und Nachteile je Bereich, sowie die Beziehungen zu den jeweils anderen Sprachen kennenlernen.