C114 – Modellierung

Modul
Modellierung
Modelling
Modulnummer
C114
Version: 2
Fakultät
FIM-INF: Informatikstudiengänge - Fakultät Informatik und Medien
Niveau
Bachelor
Dauer
1 Semester
Turnus
Wintersemester
Modulverantwortliche

Prof. Dr. rer. nat. Sibylle Schwarz
sibylle.schwarz@htwk-leipzig.de
Dozierende

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

Deutsch
in "Modellierung"
ECTS-Leistungspunkte

8.00 ECTS-Punkte

Workload

240 Stunden

Lehrveranstaltungen

6.00 SWS (4.00 SWS Vorlesung | 2.00 SWS Übung)
Selbststudienzeit

156.00 Stunden
28.00 Stunden Vorbereitung Lehrveranstaltung - Modellierung
28.00 Stunden E-Learning - Modellierung
84.00 Stunden Bearbeitung Prüfungsvorleistung - Modellierung
16.00 Stunden Vorbereitung Prüfung - Modellierung
Prüfungsvorleistung(en)

Prüfungsvorleistung Beleg
in "Modellierung"

Prüfungsvorleistung Präsentation
in "Modellierung"
Prüfungsleistung(en)

Prüfung Klausurarbeit
Modulprüfung | Prüfungsdauer: 120 Minuten | Wichtung: 100%
in "Modellierung"
Lehr- und Lernformen
  • Vorlesung
  • Übung
  • Bearbeiten von Problemen und Lösungsfindung,

Selbstudium anhand theoretischer und praktischer Übungsaufgaben
Medienform

keine Angabe
Lehrinhalte/Gliederung

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
Qualifikationsziele

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

Keine
Empfohlene Voraussetzungen

Keine
Literaturhinweise
  • 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
Aktuelle Lehrressourcen

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

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

Informatik | Bachelor (20INB) Pflichtmodul

Medieninformatik | Bachelor (20MIB) Pflichtmodul

Medieninformatik | Bachelor Studienrichtung Bibliotheksinformatik (20MIB-BI) Pflichtmodul
Link zu Kurs/Lernressourcen im OPAL/Moodle/etc.
Detailansicht schließen
© Modulux (Version 4.1)