Höhere Semitypen und stochastisch-transfiniter Lambda-Kalkül

Prof. Dr. Ignatius Schottenschneider
Arbeitsgruppe transfinite Wahrscheinlichkeitslogik


Informationen zur Lehrveranstaltung

Inhalt:

Die Vorlesung behandelt den untypisierten Lambdakalkül erweitert um Semitypen und verallgemeinert das System auf den transfiniten Fall. Dabei wird ein stochastischer Blickwinkel eingenommen, in welchem die Semantik über einem Wahrscheinlichkeitsring definiert ist und Reduktionen probabilistisch eintreten.

Am Rande betrachtet werden die Auswirkungen der Gentzenschen Negativübersetzung auf die Differenzierbarkeit von Termmodellen sowie Anwendungen der Theorie in der Berechnung von Zustandsübergängen von makroskopischen de-Broglie-Wellen.

Vorkenntnisse:

Grundlegende Methoden der Wahrscheinlichkeitskategorientheorie werden vorausgesetzt.

Zielgruppe:

Studenten der Mathematik, Informatik (bzw. Differentialinformatik), Statistik, Computerlinguistik sowie Logik und Wissenschaftstheorie ab dem 18. (Bachelor/Diplom/Magister) bzw. 13. Semester (Master).

Zeit und Ort:

Sonntags, 1:15 - 2:45 und 5:15 - 6:45, sowie Donnerstags, 1:15 - 2:45, in den Katakomben unter dem mathematischen Institut, Verlies 34.

Übungsbetrieb:

Die Übungen finden regelmäßig am Sonntag um 3:00 Uhr früh im Z-Dungeon unter dem Institut für Informatik statt. Da die bereitgestellten Mittel nicht ausreichen, um einen Tutor zu finanzieren, werden die Teilnehmer gebeten, die Übung selbst zu organisieren.

Klausur:

Bei Bedarf wird eine mündliche Prüfung (720 min) angeboten. Voraussetzung ist die rechtzeitige Anmeldung sowie regelmäßige Teilnahme am Übungsbetrieb.

Literatur: