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.

Show image information

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

  • In der Woche vom 30.10.2017-3.11.2017 entfallen sämtliche Präsenzübungen.
  • 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:

  1. Einführung: Begriffe Modell, Modellierung
  2. Grundlegende Formalismen: Mengen, Relationen, Funktionen, induktive Definitionen und
    Beweise
  3. Logik: Aussagenlogik, Prädikatenlogik, Kalküle, Modellierung und Beweise
  4. Modellierung mit Graphen: Weg, Verbindung, Zuordnung, Abhängigkeiten, Abfolgen, Fluss
  5. Modellierung von Strukturen: reguläre Ausdrücke und kontextfreie Grammatiken
  6. 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)

Kontakt

Bei weiteren Fragen nutzen Sie bitte das Forum in koaLA oder wenden Sie sich bitte direkt an Sascha Henzgen, Karlson Pfannschmidt oder Manuel Töws.

2Further information:
Contact

Prof. Dr. Eyke Hüllermeier

Intelligent Systems

Eyke Hüllermeier
Phone:
+49 5251 60-1771
Office:
O4.258
Web:

Office hours:

Wednesday, 9-10 AM

Prof. Dr. Heike Wehrheim

Specification and Modelling of Software Systems

Heike Wehrheim
Phone:
+49 5251 60-4331
Office:
O4.225
Web:

Sascha Henzgen

Intelligent Systems

Sascha Henzgen
Phone:
+49 5251 60-3345
Office:
O4.164

Karlson Pfannschmidt, M.Sc.

Intelligent Systems

Karlson Pfannschmidt
Phone:
+49 5251 60-3349
Office:
O4.158

Manuel Töws

Specification and Modelling of Software Systems

Manuel Töws
Phone:
+49 5251 60-4272
Fax:
+49 5251 60-3993
Office:
O4.137
Web:

No news available.

The University for the Information Society