Nominal Sets (SoSe 2024)
Die Anmeldung erfolgt über den StudOn-Kurs. Bitte schreiben Sie im Anmeldeformular im Feld “Motivation” in maximal zwei Sätzen, warum Sie an der Veranstaltung teilnehmen möchten. Aktuell (11. April 2024) sieht es danach aus, dass im Raum noch ausreichend Platz ist. Interessierte Studierende können im Zweifelsfall auch einfach zu den ersten Sitzungen kommen
Voraussichtliche Termine
- Montags, 10:15-11:45 (Raum: Übung 3): Vorlesung
- Dienstags, 10:15-11:45 (Raum: Übung 3): Abwechselnd zwischen Vorlesung und Übung
- Dozent: Thorsten Wißmann
- Erster Termin: Montag, 15.04.2024, Letzter Termin: Dienstag, 16.07.2024
- Unterrichtssprache: Deutsch
- Siehe auch: Kurs auf campo
Materialien und Ablauf
- Das Vorlesungsskript (ebenfalls auf StudOn)
- Die Übungsblätter sind im entsprechenden Ordner auf StudOn zu finden, sowie hier:
- Es gibt keine verpflichtende Übungsblattabgabe. Stattdessen werden die Übungsblätter gemeinsam in der Übungsstunde besprochen und auch von den Studierenden an der Tafel vorgestellt.
- Die Prüfung ist in der Regel mündlich.
Inhalt
Dass Namen nur Schall und Rauch sind, verkörpert sich mathematisch in der Kategorie der nominalen Mengen. Hier lässt sich elegant über gebundene und freie Namen reden, wie sie in der Informatik allgegenwärtig sind:
- Variablennamen im λ-Kalkül
- Unendliche Eingabealphabete für endliche Automaten
- Session IDs in Protokollen
Nach einigen Grundlagen zu Gruppen- und Kategorientheorie werden wir die Kategorie der nominalen Mengen untersuchen und darin Konzepte wie Variablenbindung und Frischheit von Variablennamen studieren.