Informationen zur Lehrveranstaltung
Inhalt:
Die Vorlesung beschäftigt sich mit der algebraischen Beschreibung und einfachen Eigenschaften von transfiniten Algorithmen. Zu den wesentlichen Werkzeugen gehören unter anderem entsprechende Typensysteme, für die Inferenz und Korrektheitsprüfung mittels transfiniter Methoden möglich ist. Die semitopologische Untersuchung solcher Typensysteme wird einen Leitfaden für die Vorlesung und zugleich anschauliche Beispiele für die praktische Anwendung rekursionsalgebraischer Ansätze liefern.Zielgruppe:
Studenten der Mathematik, Informatik (bzw. Differentialinformatik), Statistik, Computerlinguistik sowie Logik und Wissenschaftstheorie ab dem 14. (Bachelor/Diplom/Magister) bzw. 9. Semester (Master).Zeit und Ort:
Samstags, 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.Übungsblätter:
Jedes (!) abgegebene Blatt bitte stets mit dem Namen, der Matrikelnummer und dem Familiensiegel versehen.