Mod­el­lier­ung

Dozent: Prof. Dr. Christian Scheideler

Inhalt

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. Grundlagen formaler Kalküle
  2. Graphen
  3. Aussagenlogik
  4. Prädikatenlogik
  5. Modellierung von Unsicherheit
  6. Reguläre Ausdrücke
  7. Endliche Automaten
  8. Grammatiken
  9. Petri-Netze

Organisation

Die Veranstaltung wird über PANDA organisiert. Die Anmeldung zur Veranstaltung findet über PAUL statt. Dort finden sich sämtliche Informationen und Materialien. Melden Sie sich in PAUL für die Veranstaltung an. Wer in PAUL angemeldet ist wird automatisch auch in PANDA für die Veranstaltung angemeldet.

Hinweis: Wenn Sie keine Übungsgruppe besuchen wollen melden Sie sich bitte in PAUL in der ersten Übungsgruppe (KEINE ÜBUNG) an. Somit wird vermieden, dass Sie Übungsgruppenplätze für Ihre Kommilitonen blockieren

Vorlesung

  • Dienstags, 11.00 Uhr - 13.00 Uhr, Hörsaal L1
  • Donnerstags, 9.00 Uhr - 11.00 Uhr, Hörsaal L1

Erste Vorlesung: Dienstag, 11. Oktober 2022
Erste Präsenzübung: Montag, 17. Oktober 2022

Veröffentlichung der ersten Heimübung: 14. Oktober 2022
Abgabefrist der ersten Heimübung: 24. Oktober 2022

Übungsgruppen

  1. Mo. 09-11 Uhr
  2. Mo. 09-11 Uhr
  3. Mo. 14-16 Uhr
  4. Mo. 14-16 Uhr
  5. Mo. 16-18 Uhr
  6. Di. 09-11 Uhr
  7. Di. 16-18 Uhr
  8. Mi. 09-11 Uhr
  9. Mi. 11-13 Uhr
  10. Do. 11-13 Uhr
  11. Do. 11-13 Uhr
  12. Do. 11-13 Uhr
  13. Fr. 09-11 Uhr
  14. Fr. 09-11 Uhr
  15. Fr. 11-13 Uhr
  16. Fr. 11-13 Uhr

Klausuren

Die Vorlesung ist nur dann bestanden, wenn die Klausur mit mindestens 4,0 bestanden ist. Voraussichtlich wird die Klausur in Präsenz stattfinden. Sie dürfen in der Klausur keine Hilfsmittel benutzen außer einem beidseitig handbeschriebenen DINA4 Zettel.

Klausurtermine:

  1. Die erste Klausur wird am 23.02.2023, 9-11 Uhr im SP 1 / G stattfinden.
  2. Der zweite Klausur wird am 29.03.2023, 13-15 Uhr in G stattfinden.

Voraussetzung zur Prüfungszulassung ist der Nachweis einer "Studienleistung". In diesem Jahr besteht die Studienleistung darin, auf mindestens 9 (von 13) Heimübungszetteln mindestens 20% der möglichen Punktzahl zu erreichen. Darüber hinaus gibt es die Möglichkeit Bonus-Notenschritte zu erzielen, die bei bestandener Klausur (mind. 4,0) auf die erzielte Note wirken:

  • 1/3 Bonus-Notenschritt bei mind. 60% der Gesamtpunkte aller 13 Heimübungen
  • 2/3 Bonus-Notenschritt bei mind. 80% der Gesamtpunkte aller 13 Heimübungen

Studienleistungen aus vorherigen Semestern sind weiterhin gültig, aber Bonus-Notenschritte müssen neu erarbeitet werden!