Modellierung, Spezifikation und Semantik

FB20 Informatik · Angeboten in WiSe 2025/26

Für diesen Kurs wurden noch keine Noten gemeldet.

Notenverteilungen kommen herein, sobald jemand, der den Kurs belegt hat, den Notenspiegel mit installierter TUPlan-Erweiterung öffnet.

Erweiterung installierenNoch nicht im Chrome Web Store — der Link führt vorerst zur Store-Suche.

Hat sich der Kurs gelohnt?

Noch keine Bewertungen — mach den Anfang.

Deine Bewertung hängt an einer zufälligen ID in diesem Browser. Kein Konto, nichts, was dich identifiziert.

Wöchentliche Termine · WiSe 2025/26

Mo08:55–10:35S311/08, S311/0012 · Integrierte Veranstaltung
Mo10:40–11:30S311/08, S311/0012 · Hörsaalübung
Di13:30–14:20S103/113 · Tutorensprechstunde - HIERZU BITTE NICHT ANMELDEN!
Di17:10–18:00S103/113 · Tutorensprechstunde - HIERZU BITTE NICHT ANMELDEN!
Mi08:00–09:40S103/121 · Tutorensprechstunde - HIERZU BITTE NICHT ANMELDEN!
Mi13:30–14:20S103/113 · Tutorensprechstunde - HIERZU BITTE NICHT ANMELDEN!
Do11:40–12:25S103/113 · Tutorensprechstunde - HIERZU BITTE NICHT ANMELDEN!
Do15:20–16:10S103/121 · Tutorensprechstunde - HIERZU BITTE NICHT ANMELDEN!

Bestandteile

20-00-0013-ivIntegrierte Veranstaltung3 SWS

Sprache: Deutsch
Lehrende: Prof. Dr.-Ing. Heiko Mantel

Lehrinhalte

- Einführung in die Modellierung mit logischen und algebraischen Konzepten - Interpretation und Adäquatheit formaler Modelle - strukturiertes Vorgehen bei der Modellierung und Umgang mit Entwurfsentscheidungen - Abstraktion, Verfeinerung, Komposition und Zerlegen von Modellen - Syntax und operationale Semantik von Programmiersprachen - elementare Beweistechniken und deren Verwendung - Einführung in Spezifikationssprachen - Syntax und denotationale Semantik von Spezifikationssprachen - Modellierung von Kommunikation und Koordination in nebenläufigen Systemen - Klassifikation von Systemeigenschaften

Prüfungstermine

Kein Prüfungstermin veröffentlicht.

Zum Stundenplan hinzufügen