INF.05173.08 - Mathematische Grundlagen der Informatik und Konzepte der Modellierung (Veranstaltungsübersicht)