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.

Themen des Proseminars

In diesem Proseminar werden verschiedene Themen zu logikbasierten Programmiersprachen und Programmiertechniken, sowie Sprachfeatures betrachtet. Dabei werden nicht nur das logische Programmierparadigma, sowie dessen formale Grundlagen betrachtet, sondern auch das funktionale, und dessen Verbindung zur formalen Logik.

Mögliche Themengebiete

  • Logische und Constraintprogrammierung
  • Lineare und Intuitionistische Logik
  • Verschiedene Typsysteme
  • Interaktive Beweisassistenten