Lehre Wintersemester 2018/19 Deep Learning CL-Kolloquium Einführung in die computationelle Logik Quantitative Methoden der CL: Maschinelles Lernen