C114 – Modelling

Module
Modelling
Modellierung
Module number
C114
Version: 2
Faculty
FIM-INF: Informatikstudiengänge - Fakultät Informatik und Medien
Level
Bachelor
Duration
1 Semester
Semester
Winter semester
Module supervisor

Prof. Dr. rer. nat. Sibylle Schwarz
sibylle.schwarz@htwk-leipzig.de
Lecturer(s)

Prof. Dr. rer. nat. Sibylle Schwarz
sibylle.schwarz@htwk-leipzig.de
Course language(s)

German
in "Modellierung"
ECTS credits

8.00 credits

Workload

240 hours

Courses

6.00 SCH (4.00 SCH Vorlesung | 2.00 SCH Übung)
Self-study time

156.00 hours
28.00 hours Examination preparation - Modellierung
28.00 hours E-Learning - Modellierung
84.00 hours Bearbeitung Prüfungsvorleistung - Modellierung
16.00 hours Course preparation - Modellierung
Pre-examination(s)

Prüfungsvorleistung Beleg
in "Modellierung"

Prüfungsvorleistung Präsentation
in "Modellierung"
Examination(s)

Prüfung Klausurarbeit
Module examination | Examination time: 120 minutes | Weighting: 100%
in "Modellierung"
Form of teaching
  • Vorlesung
  • Übung
  • Bearbeiten von Problemen und Lösungsfindung,

Selbstudium anhand theoretischer und praktischer Übungsaufgaben
Media type

keine Angabe
Instruction content/structure

Modellierung und formale Darstellung von

  • Daten durch Mengen, Mengenoperationen
  • Zusammenhängen durch Relationen, Funktionen, Äquivalenz- Ordnungsrelationen, Graphen
  • strukturierten Daten durch Wörter, Texte, Sprachen, Bäume, Signaturen, Terme, strukturelle Induktion, algebraische Strukturen
  • Eigenschaften und Anforderungen in Logiken (jeweils Syntax, Semantik, Folgern, Schließen)
  • Software-Schnittstellen durch abstrakte Datentypen
  • Abläufen und Berechnungen durch Zustandsübergangssysteme jeweils mit praktischen Modellierungsbeispielen
Qualification objectives

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.
Special admission requirements

Keine
Recommended prerequisites

Keine
Literature
  • U. Kastens, H. Kleine Büning: "Modellierung: Grundlagen und formale Methoden", Hanser, 2008.
  • M. Huth, M. Ryan: "Logic in Computer Science”, Cambridge University Press, 2010.
  • U. Schöning: "Theoretische Informatik - kurzgefasst", Spektrum, in der aktuellen Auflage.
  • M. Broy, R. Steinbrüggen: "Modellbildung in der Informatik", Springer, 2004
Current teaching resources

Lehrmaterial und aktuelle Informationen: https://informatik.htwk-leipzig.de/schwarz
Notes

regelmäßiges erfolgreiches Lösen der praktischen Übungsaufgaben (PVB) und 3 Kurzvorträge zu schriftlichen Übungsaufgaben (PVP)
Applicability

Informatik | Bachelor (20INB) Pflichtmodul

Medieninformatik | Bachelor (20MIB) Pflichtmodul

Medieninformatik | Bachelor Studienrichtung Bibliotheksinformatik (20MIB-BI) Pflichtmodul
Link to course/learning resources in OPAL/Moodle/etc.
Close detail view
© Modulux (Version 4.1)