Vorlesung: Modellierung (WS 18/19 - L.079.05102)
Dozenten: Prof. Dr. Eyke Hüllermeier, Prof. Dr. Heike Wehrheim
Die Veranstaltung wird über PANDA organisiert. Die Anmeldung zur Veranstaltung findet über PAUL statt. Wer in PAUL angemeldet ist wird automatisch auch in PANDA für die Veranstaltung angemeldet. Über PANDA werden sämtliche Informationen und Materialien verteilt und die Übungsgruppen organisiert - Ihre Übungsgrupen-Auswahl in PAUL wird ignoriert.
Inhalte
Das Modellieren ist eine für das Fach Informatik typische Arbeitsmethode, die in allen Gebieten des Faches angewandt wird. Aufgaben, Probleme oder Strukturen werden untersucht und als Ganzes oder in Teilaspekten beschrieben, bevor sie durch den Entwurf von Software, Algorithmen, Daten und/oder Hardware gelöst bzw. implementiert werden.
Mit der Modellierung eines Problems zeigt man, ob und wie es verstanden wurde. Damit ist sie Voraussetzung und Maßstab für die Lösung und sie liefert meist auch den Schlüssel für einen systematischen Entwurf. Als Ausdrucksmittel für die Modellierung steht ein breites Spektrum von Kalkülen und Notationen zur Verfügung. Sie sind spezifisch für unterschiedliche Arten von Problemen und Aufgaben. Deshalb werden in den verschiedenen Gebieten der Informatik unterschiedliche Modellierungsmethoden eingesetzt. In den entwurfsorientierten Gebieten (Softwaretechnik, Hardware-Entwurf) ist die Bedeutung der Modellierung und die Vielfalt der Methoden natürlich besonders stark ausgeprägt.
Themen-Übersicht
- Einführung: Begriffe Modell, Modellierung
- Grundlegende Formalismen: Mengen, Relationen, Funktionen, induktive Definitionen und
Beweise - Logik: Aussagenlogik, Prädikatenlogik, Kalküle, Modellierung und Beweise
- Modellierung mit Graphen: Weg, Verbindung, Zuordnung, Abhängigkeiten, Abfolgen, Fluss
- Modellierung von Strukturen: reguläre Ausdrücke und kontextfreie Grammatiken
- Modellierung von Abläufen: endliche Automaten
Allgemeine Informationen
- Vorlesung
- Die Vorlesung findet auf Deutsch statt
- Die Vorlesung ist Teil des Moduls "Modellierung" im Bachelorstudiengang "Informatik"(Leistungspunkte: 8 ECTS)
- Die Vorlesung ist Teil des Moduls "Modellierung" im Bachelorstudiengang "Computer Engineering" (Leistungspunkte: 8 ECTS)
- 4 SWS Vorlesung
- Übung
- 2 SWS Übung
- Weiteres unter Übung
Kontakt
Bei weiteren Fragen nutzen Sie bitte das Forum in
PANDA
oder wenden Sie sich bitte direkt an Felix Pauck oder Karlson Pfannschmidt.