Modellierung

Wintersemester 2020/21

bei Prof. Dr. Sibylle Schwarz

Pflichtmodul C114 im 1. Semester Bachelor Informatik und Medieninformatik


Aktuelles

Aufgrund der aktuellen Situation sind im WS20/21 keine Präsenzveranstaltungen zum Modul möglich.

Vorlesungen und Seminare finden für alle Teilnehmer gemeinsam als synchrone Online-Veranstaltungen über BigBlueButton statt. Die Zugangsdaten werden im OPAL-Kurs zum Modul bekanntgegeben.

Vertiefende begleitete Diskussionen der Inhalte und Übungsaufgaben finden asynchon im Forum im OPAL-Kurs zum Modul statt.


Lernziele / Kompetenzen

Die Studierenden können mathematische und logische Grundkonzepte zur Modellierung praktischer Aufgabenstellungen anwenden. Sie können Anforderungen an Software und Systeme formal beschreiben und wissen, dass deren Korrektheit mit formalen Methoden nachweisbar ist.


Inhalt

Modellbildung und formale Darstellung in der Informatik mit praktischen Beispielen

Modellierung von


Vorlesung

Wöchentlich finden zwei Vorlesungen online synchron statt.


Übungen

Jeder Teilnehmer nimmt an der wöchentlich online synchron stattfindenden Übung teil.

In den Übungen werden vorwiegend die Lösungen der schriftlichen Hausaufgaben besprochen und damit die Zulassungen zur Prüfung erworben.

Zur vertieften begleiteten Diskussion der Modulinhalte und Lösungsansätze zu den Übungsaufgaben sind die Foren im OPAL-Kurs vorgesehen.


Übungsaufgaben

Das Selbststudium zum Modul Modellierung besteht aus

Vor- und Nachbereitung
jeder Vorlesung und Übung,
praktischen Übungsaufgaben:
wöchentlich als Hausaufgaben im Autotool zu bearbeiten. (Hinweise für Autotool-Neulinge).
Nicht rechtzeitig dort bearbeitete Lösungen der schriftlichen Aufgaben können nicht gewertet werden.
schriftlichen Übungsaufgaben:
wöchentlich als Hausaufgaben im Opal-Kurs zum Modul einzusenden (Ordner: Übungen). Dort finden Sie auch alle Aufgaben als einzelne Dateien.
Nicht rechtzeitig dort eingesendete Lösungen der schriftlichen Aufgaben können nicht gewertet werden.
Lösung zu jeder Aufgabe X.Y von Übungsserie X einzeln in den Abgabeordner zu genau dieser Aufgabe einsenden:


Literaturempfehlungen

Zusammenfassung, alle Folien

Die vollständigen Unterlagen zum Modul Modellierung im WS 2019/20 stehen hier.

Bücher:

Unter http://wilfridhodges.co.uk/cognitive01.pdf gibt es sieben uneingeschränkt richtige Hinweise zum Lernen von Mathematik, die selbstverständlich genauso für die Grundlagen der Informatik gelten.


https://informatik.htwk-leipzig.de/schwarz mailto:sibylle.schwarz@htwk-leipzig.de