Modellierung

Wintersemester 2022/23

bei Prof. Dr. Sibylle Schwarz

Pflichtmodul C114 im 1. Semester Bachelor Informatik und Medieninformatik


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 statt.


Seminare

Jeder Teilnehmer ist einer Übungsgruppe zugeordnet und nimmt am wöchentlich stattfindenden Seminar dieser Gruppe teil.

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


Ü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. 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:

Alle schriftlichen Übungsserien werden hier veröffentlicht.


Literaturempfehlungen

Zusammenfassung, alle Folien

Die Unterlagen zum Modul Modellierung im WS 2021/22 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