| Computer-Aided Program
Development Institute of Computer Science Faculty of Engineering, Christian-Albrechts-University of Kiel |
![]() |
| Ordnungen und Verbände |
Normalerweise werden in Informatik- und Mathematikvorlesungen ordnungs- und verbandstheoretische Begriffe nur soweit eingeführt, wie es für die speziellen Anwendungsbereiche notwendig ist. Dies erfolgt in der Regel auch in sehr knapper Weise und unter Beschränkung auf sehr spezielle Klassen. So ein Zugang ist nicht dazu geeignet, dem fundamentalen Charakter dieser Begriffe gerecht zu werden. Ziel der Vorlesung ist es, eine einheitliche und geschlossene Einführung in die wichtigsten Konzepte der Ordnungs- und Verbandstheorie zu geben, diese durch zahlreiche Beispiele und Gegenbeispiele zu verdeutlichen, die für das Gebiet typischen Denk- und Schlussweisen zu vermitteln und wichtige Anwendungen in Informatik und Mathematik anhand von ausgewählten Beispielen zu demonstrieren.