Modellierung
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
- Grundlagen formaler Kalküle
- Graphen
- Aussagenlogik
- Prädikatenlogik
- Modellierung von Unsicherheit
- Reguläre Ausdrücke
- Endliche Automaten
- Grammatiken
- 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.15 Uhr - 12.45 Uhr, Hörsaal L1
- Donnerstags, 9.15 Uhr - 10.45 Uhr, Hörsaal L1
Erste Vorlesung: Dienstag, 10. Oktober 2023
Erste Präsenzübung: Montag, 16. Oktober 2023
Veröffentlichung der ersten Heimübung: 13. Oktober 2023
Abgabefrist der ersten Heimübung: 23. Oktober 2023
Übungsgruppen
- Fr. 14-16 Uhr
- Do. 16-18 Uhr
- Mo. 14-16 Uhr
- Mo. 14-16 Uhr
- Mo. 16-18 Uhr
- Di. 09-11 Uhr
- Di. 16-18 Uhr
- Mi. 09-11 Uhr
- Mi. 11-13 Uhr
- Do. 16-18 Uhr
- Mi. 16-18 Uhr
- Do. 11-13 Uhr
- Fr. 09-11 Uhr
- Fr. 09-11 Uhr
- Fr. 11-13 Uhr
- 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.
Klaurtermine:
- Die erste Klausur wird am 22.02.2024 um 9:00-11:00 Uhr in der Sporthalle 1+2 stattfinden.
- Der zweite Klausur wird am 27.03.2024 um 9:00-11:00 Uhr im Audimax 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!