Modellierung

Wintersemester 2021/22

bei Prof. Dr. Sibylle Schwarz

Pflichtmodul C114 im 1. Semester Bachelor Informatik und Medieninformatik


Aktuelles

Ab KW47 finden vorerst alle Vorlesungen (zu den üblichen Zeiten) online per BBB statt, ab KW48 auch die Seminare.

Die Zugangsdaten werden jeweils kurz vorher im Opal-Kurs zum Modul bekanntgegeben (oder im Autotool, falls Opal nicht funktioniert).


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.


Seminare

Jeder Teilnehmer ist einer Übungsgruppe zugeordnet und nimmt am wöchentlich online synchron stattfindenden Seminar teil (Genaueres zur Organisation während der Online-Phase in OPAL).

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

Folien zur aktuellen Vorlesung (werden jeweils nach der Vorlesung veröffentlicht):

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