Lehre Wintersemester 2021/22 Computationelle Logik Ambiguität Grundlagen des maschinellen Lernens Deep Learning in NLP