Modellierung

Wintersemester 2021/22

bei Prof. Dr. Sibylle Schwarz

Pflichtmodul C114 im 1. Semester Bachelor Informatik und Medieninformatik


Prüfung

Klausur (120 min) am Montag, dem 14. Februar 2022 um 13:30 bis 15:30 Uhr in G119, G327 und G329 (Treffpunkt 13:00 Uhr vor Haupteingang G)

Zulassungen zur Prüfung sind in Opal zu sehen.


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

Zusammenfassung, alle Folien 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