Mathematik für Informatik 1 (Discrete Foundations)

In dieser Basisvorlesung werden die für die Informatik wesentlichen Elemente der diskreten Mathematik, insbesondere der Logik, Mengenlehre und Algebra eingeführt. Hier spielt der sichere Umgang mit der Booleschen Algebra sowie der Funktionen- und Relationenalgebra eine große Rolle. Zweck der Vorlesung ist es auch, den Prozess der Abstraktion und Formalisierung sowie den hierarchischen Aufbau und die Anwendung von symbolischen, also nicht-numerischen, formalen Systemen darzustellen. Dabei wird der zentrale Unterschied zwischen Syntax und Semantik und das Prinzip rekursiver Konstruktionen und induktiven Schliessens ausführlich erläutert und eingeübt.