Neues Kursangebot im September

In der Veranstaltung werden wir die Grundlagen der syntaktischen und semantischen Analyse formaler Sprachen kennenlernen. Wir werden mit ganz einfachen Sprachen anfangen, dann aber diverse logische Formalismen (propositionale Logik, diverse Formen der Modallogik, Prädikatenlogik, Dynamische Prädikatenlogik) syntaktisch und semantisch definieren. Am Ende des Seminars werden wir auch das Lambda-Kalkül formal präzise definieren und üben. Eine Anwendung auf Fragmente natürlicher Sprachen ist, je nach Vorkenntnissen, auch denkbar.

LV-Leiter: Univ.-Prof. Dr.phil. Edgar Onea

Anmeldezeitraum: 15.08. - 23.09.2022