Formal Foundations of Computational Linguistics: Mathematical and Logical Foundations
Modul mit zwei Teilen: Formale und mathematische Grundlagen (1. Sem.) sowie Grundlagen der formalen Logik (2. Sem.) für Computerlinguisten mit Klausur oder mündlicher Prüfung.