Loading…
FB20 Computer Science · Offered in WiSe 2025/26
No grade data reported for this course yet.
Grade distributions arrive when a student who took the course opens their Notenspiegel with the TUPlan extension installed.
No ratings yet — be the first.
Your vote is stored against a random id in this browser. No account, nothing that identifies you.
- 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
No exam date published.
Add to plannerTimes, rooms and details come from TUCaN and may be out of date. Report something wrong