Achtung:

Sie haben Javascript deaktiviert!
Sie haben versucht eine Funktion zu nutzen, die nur mit Javascript möglich ist. Um sämtliche Funktionalitäten unserer Internetseite zu nutzen, aktivieren Sie bitte Javascript in Ihrem Browser.

Info-Icon Diese Seite ist nicht in Deutsch verfügbar
Bildinformationen anzeigen

Modellierung (Mod WS2020/21)

Organisation

Dozenten: Prof. Dr. Eyke Hüllermeier

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

  1. Einführung: Begriffe Modell, Modellierung
  2. Grundlegende Formalismen: Mengen, Relationen, Funktionen, induktive Definitionen und
    Beweise
  3. Modellierung mit Graphen: Weg, Verbindung, Zuordnung, Abhängigkeiten, Abfolgen, Fluss
  4. Logik: Aussagenlogik, Prädikatenlogik, Kalküle, Modellierung und Beweise
  5. Modellierung von Strukturen: reguläre Ausdrücke und kontextfreie Grammatiken
  6. Modellierung von Abläufen: endliche Automaten, Petrinetze

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 Clemens Damke oder Alexander Tornede.

Contact

Prof. Dr. Eyke Hüllermeier

Intelligente Systeme und Maschinelles Lernen

Eyke Hüllermeier
Telefon:
+49 5251 60-1771
Büro:
O4.258
Web:

Sprechzeiten:

Mittwoch, 11-12 Uhr

Alexander Tornede

Intelligente Systeme und Maschinelles Lernen

Alexander Tornede
Telefon:
+49 5251 60-3352
Büro:
ZM2.A.01.05.1

Clemens Damke

Intelligente Systeme und Maschinelles Lernen

Clemens Damke
Web:

Die Universität der Informationsgesellschaft