Vorlesung: Modellierung

Veranstaltung L.079.05101

Wintersemester 2017/18

Dozenten:

Prof. Dr. Eyke Hüllermeier
Prof. Dr. Heike Wehrheim

Die Veranstaltung wird über die

koaLA

-Plattform organisiert. Dort finden sich sämtliche Informationen und Materialien einschließlich der Organisation der Übungsgruppen.

Melden Sie sich zunächst in

PAUL

für die Veranstaltung an. Die Anmeldung zu den Übungsgruppen findet ausschließlich über koaLA statt! Ihre Übungsgrupen-Auswahl in PAUL wird ignoriert. Die Eintragung in die Übungsgruppen, die Sie in PAUL vorgenommen haben, gilt NICHT als Übunsgruppenanmeldung. Diese Anmeldung müssen Sie in koaLA vornehmen.

Neuigkeiten zur Vorlesung

Der allgemeine Abgabetermin der Heimübungen hat sich erneut geändert. Abgabe ist jetzt immer montags 11:00 Uhr.
In der Woche vom 30.10.2017-3.11.2017 entfallen sämtliche Präsenzübungen.
[Nicht mehr aktuell]Der allgemeine Abgabetermin der Heimübungen hat sich geändert. Abgabe ist jetzt immer montags 13:00 Uhr.
Die Vorlesung am 9.10.2017 fällt aus!!! Die erste Vorlesung findet am 10.10.2017 statt.

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.

Die Vorlesung behandelt weiterführend die folgenden Themen:

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

Umfang:

4 SWS Vorlesung
2 SWS Übung

Allgemeine Informationen

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)