Vorlesungen etc.

Wintersemester 2023/2024

V Formale Methoden
S Mengentheoretische Konzepte in der Semantik
S Methoden der theoretischen Computerlinguistik
Ü Propädeutikum
S+V, Repräsentation sprachlichen Wissens

Sommersemester 2023

S Einführung in die formale Semantik
S Logische Grundlagen

Wintersemester 2022/2023

V Formale Methoden
S Kontextfreie Grammatiken
S Methoden der theoretischen Computerlinguistik
Ü Propädeutikum
S Repräsentation sprachlichen Wissens

Sommersemester 2022

S Einführung in die formale Semantik
S Logische Grundlagen

Wintersemester 2021/2022

V Formale Methoden
S Hypertext
S Kontextfreie Grammatiken
S Methoden der theoretischen Computerlinguistik
Ü Propädeutikum
S Repräsentation sprachlichen Wissens

Sommersemester 2021

S Einführung in die formale Semantik
S Formale Methoden 2
S Grundlegende Methoden der Computerlinguistik

Wintersemester 2020/2021

V Formale Methoden 1
S Hypertext
S Methoden der theoretischen Computerlinguistik
Ü Propädeutikum
S Repräsentation sprachlichen Wissens

Sommersemester 2020

S Einführung in die formale Semantik
S Formale Methoden 2
S Grundlegende Methoden der Computerlinguistik

Wintersemester 2019/2020

V Formale Methoden 1
S Grundlagen der Satzsemantik
S Hypertext
Ü Propädeutikum
S Repräsentation sprachlichen Wissens

Sommersemester 2019

S Einführung in die formale Semantik
S Formale Methoden 2
S Grundlegende Methoden der Computerlinguistik
V Semantik und Pragmatik

Wintersemester 2018/2019

V Formale Methoden 1
S Hypertext
S Kontextfreie Grammatiken
Ü Propädeutikum
S Repräsentation sprachlichen Wissens

Sommersemester 2018

S Einführung in die formale Semantik
S Formale Methoden 2
S Grundlegende Methoden der Computerlinguistik
V Semantik und Pragmatik

Wintersemester 2017/2018

S Hypertext
S Kontextfreie Grammatiken
Ü Propädeutikum
S Repräsentation sprachlichen Wissens

Sommersemester 2017

S Einführung in die formale Semantik
Ü Übung zu Einführung in die formale Semantik
S Grundlegende Methoden der Computerlinguistik
V Semantik und Pragmatik (2 Veranstaltungen, jeweils zusammen mit Stavros Skopeteas)

Wintersemester 2016/2017

S Grundlagen der Satzsemantik
S Hypertext
Ü Propädeutikum
S Repräsentation sprachlichen Wissens

Sommersemester 2016

S Diskrete Mathematik
S Einführung in die formale Semantik
S Grundlegende Methoden der Computerlinguistik
V Semantik und Pragmatik (2 Veranstaltungen, jeweils zusammen mit Stavros Skopeteas)

Wintersemester 2015/2016

S Grundlagen der Satzsemantik
S Hypertext
S Repräsentation sprachlichen Wissens
Ü Übung zu Repräsentation sprachlichen Wissens

Sommersemester 2015

S Einführung in die formale Semantik
S Grundlegende Methoden der Computerlinguistik
V Semantik und Pragmatik (2 Veranstaltungen, jeweils zusammen mit Pia Knoeferle)
S Verfahren der Verarbeitung sprachlichen Wissens

Wintersemester 2014/2015

S Grundlagen der Satzsemantik
S Hypertext
S Repräsentation sprachlichen Wissens
Ü Übung zu Repräsentation sprachlichen Wissens

Sommersemester 2014

S Grundlegende Methoden der Computerlinguistik
S Kontextfreie Grammatiken / Formale Methoden 3
S Mild kontextsensitive Charakterisierungen natürlicher Sprache
S Verfahren der Verarbeitung sprachlichen Wissens: Parsing

Wintersemester 2013/2014

S Ausgewählte Probleme der formalen Semantik
S Computerlinguistische Grundlagen: Programmierung
S Kolloquium Linguistik (zusammen mit Udo Klein und Stavros Skopeteas)
S Repräsentation sprachlichen Wissens
Ü Übung zu Repräsentation sprachlichen Wissens

Sommersemester 2013

S Einführung in die formale Semantik
S Grundlegende Methoden der Computerlinguistik
Ü Übung zu Grundlegende Methoden der Computerlinguistik
S Kolloquium Linguistik (zusammen mit Udo Klein und Stavros Skopeteas)
S Kontextfreie Grammatiken / Formale Methoden 3
BS Logische Grundlagen der formalen Semantik

Wintersemester 2012/2013

S Kolloquium Linguistik (zusammen mit Stavros Skopeteas)
S Kontextfreie Grammatiken
S Repräsentation sprachlichen Wissens
Ü Übung zu Repräsentation sprachlichen Wissens
S Semantik und Pragmatik

Sommersemester 2012

S Mild kontextsensitive Charakterisierungen natürlicher Sprache
S Tree Adjoining Grammars / Formale Methoden 3
Ü Übung zu Tree Adjoining Grammars / Formale Methoden 3

Wintersemester 2011/2012

S Computational Semantics II (zusammen mit Christina Unger)
S Repräsentation sprachlichen Wissens
Ü Übung zu Repräsentation sprachlichen Wissens

Sommersemester 2011

S Computational Semantics I (zusammen mit Christina Unger)
Ü Übungen zu Computational Semantics I (zusammen mit Christina Unger)
S Formale Methoden 3: Unifikation
S Kolloquium Linguistik (zusammen mit Udo Klein und Stavros Skopeteas)
S Textsatz und Textstruktur

Wintersemester 2010/2011

Sommersemester 2010

Wintersemester 2009/2010

S Repräsentation sprachlichen Wissens
Ü Übung zu Repräsentation sprachlichen Wissens

Sommersemester 2009

S Repräsentation sprachlichen Wissens: Minimalistische Grammatiken (zusammen mit Hans-Martin Gärtner)
Ü Übung zu Repräsentation sprachlichen Wissens: Minimalistische Grammatiken (zusammen mit Hans-Martin Gärtner)
S Textsatz und Textstruktur
V Verfahren der Verarbeitung sprachlichen Wissens: Parsing
Ü Übung zu Verfahren der Verarbeitung sprachlichen Wissens

Wintersemester 2008/2009

V Formale Methoden 1
S Formale Methoden 3: Baumadjunktionsgrammatiken
Ü Übung zu Formale Methoden 3: Baumadjunktionsgrammatiken
S Repräsentation sprachlichen Wissens

faculty homepage personal homepage