Wintersemester 2022/23

• Computationelle Logik
• Grundlagen des maschinellen Lernens
• Kategorialgrammatik
• Logik und Zeit