Mathematisch-logische Grundlagen der Informatik

Die Fähigkeit zum formalen Denken benötigen alle Studierende und alle Wissenschaftler, die mit Computersystemen arbeiten. Da Mathematik und Logik reine Strukturwissenschaften sind, wird auch in dieser Einführung der Schwerpunkt auf die Vermittlung der wichtigsten mathematisch-logischen Strukturen gelegt. Bei diesen Darstellungen wird gezeigt, wie aus einfachen Basisstrukturen durch Kombinationen und Einschränkungen neue Strukturen erzeugt werden. Gleichzeitig wird durch Anwendungsbeispiele demonstriert, dass die Gebiete der abstrakten Strukturmathematik teilweise eine sehr konkrete Bedeutung für die Informatik haben.