Der Kurs vermittelt formales Grundwissen, das in späteren Kursen (insbesondere aus den Bereichen Wissensrepräsentation, Datenmodellierung und Datenbanken) benötigt wird. Es werden Relationen, Funktionen, Operatoren, Aussagenlogik (Sprache, Kalküle, Boole'sche Algebra), Prädikatenlogik (Sprache, Kalküle, Interpretation) sowie Formale Sprachen und Automatentheorie behandelt.
