Mittwoch, 13.07.2022

Neues Kursangebot im September

Formale Sprachen (Syntax und Semantik)

Termine und Anmeldung in UNIGRAZonline. (LV 510.490)

Formale Sprachen (Syntax und Semantik)

Termine und Anmeldung in UNIGRAZonline. (LV 510.490)

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

Weitere Artikel

Literarischer Adventkalender 2025

Germanistischer Debattierclub

Donnerstag, 11.12.2025, 19.00 Uhr, HS 23.03, Meerscheinschlössl, Mozartgasse 3, 8010 Graz Haben Tiere Menschenrechte?

Medievalia - Interdisziplinäres mediävistisches Forschungskolloquium

Mi., 10. Dezember 2025 - 18:30 Uhr ‚Symbol‘ des Friedens oder Vermittlerinnen? Die Rolle der Königinnen in Friedensverhandlungen während der Guerra del Vespro CRISTINA ANDENNA (Geschichte des Mittelalters, Universität des Saarlandes)

Literaturwissenschaftliches Kolloquium

Migration im Zeitalter der Romantik: Poetik – Wissen – Politik Prof. Dr. Frederike Middelhoff (Frankfurt a.M.) 10.12.2025, 18:30 Uhr