Modellierung

Wintersemester 2017/18

bei Prof. Dr. Sibylle Schwarz

Pflichtmodul 1010 im 1. Semester Bachelor Informatik, Medieninformatik, Angewandte Mathematik


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 für jeden Teilnehmer des Moduls zwei Vorlesungen statt.


Übungen

Jeder Student ist einer Übungsgruppe zugeordnet und nimmt an der wöchentlich stattfindenden Übung dieser Gruppe teil.

In den Übungen 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.

Alle schriftlichen Übungsserien werden zusätzlich hier veröffentlicht.


Prüfung

Klausur (120 min)

Zur Prüfung ist zugelassen, wer alle folgenden Bedingungen erfüllt:

  1. wenigstens die Hälfte aller Punkte für Autotool-Pflichtaufgaben,
  2. rechtzeitiges Lösen und Einsenden (in Opal) wenigstens 70% aller schriftlichen Hausaufgaben mit Bewertung korrekt oder vorwiegend richtig (von falsch, vorwiegend richtig, korrekt),
  3. wenigstens drei Punkte für Vorrechnen der Lösungen der schriftlichen Aufgaben in den Übungen.


Literaturempfehlungen

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

Die vollständigen Unterlagen zum Modul Modellierung im WS 2016/17 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.


http://www.imn.htwk-leipzig.de/~schwarz mailto:schwarz@imn.htwk-leipzig.de