Modellierung, Spezifikation und Semantik

Dozent: Prof. Dr.-Ing. Heiko Mantel
Assistent: Tobias Hamann (Sprechstunde siehe Website des Assistenten)
Übungsbetreuung: Tobias Hamann, Thomas Höhl
Vorlesung: Freitags, 9:50-11:30, S1|01 A1
Übungen und
Sprechstunden
der Tutoren:
TBA, Beginn nach erster Vorlesung am 26.4.2019
 
 
 
 
Klausur: Klausurtermin: Freitag, 20.09.2019, 09:00-11:15
Anmeldungszeitraum: 1.5.-30.6.2019
Raumeinteilung: folgt
   

News

  • Beginn der Vorlesung und des Übungsbetriebs: Aufgrund des Feiertags am 19.4.2019 startet die Vorlesung am 26.4.2019. Der Übungsbetrieb startet in der darauffolgenden Woche ab 29.4.2019 (KW 18).
  • Die Uebung 2 (Mi 15:20) und die zugehoerige Tutorensprechstunde findet diese Woche in Raum S402/101 statt. Bitte generell eventuelle Raumaenderungen auf TUCaN beachten.

Inhalt

Hier geht es zu den internen Webseiten.

Themen

Folgende Themen werden in der Vorlesung behandelt, in Klammern steht die verwendete Literatur:

  • Einführung in die Modellierung [Kastens/Kleine Buening]
  • Repititorium über Aussagen- und Prädikatenlogik [FGDI 2 Skript von M. Otto]
  • Formale Modellierung und formale Modelle [Kastens/Kleine Buening]
  • Formale Spezifikation [Kastens/Kleine Buening]
  • Syntax und Semantik von Programmiersprachen [Winskel]
  • Syntax und Semantik von Prozessalgebren [Hoare]

Klausurregeln

  • keine Unterlagen, elektronischen Hilfsmittel, ...
  • 1 beidseitig handbeschriebene DIN A4 Seite ist erlaubt
    • keine Ausdrucke! keine Kopien!
    • muss deutlich lesbar mit Ihrem Namen und Ihrer Matrikelnummer am oberen
      Rand
      auf beiden Seiten markiert sein
  • mitzubringen sind
    • Personalausweis oder Reisepass mit Lichtbild
    • Studierendenausweis im Original
    • Kugelschreiber/Füller in schwarz/blau
    • Uhr (kein Handy oder Smartwatch)
  • Papier wird gestellt (sowohl für Antworten als auch für Notizen)

In der Vorlesung verwendete Literatur

Die Fachschaft betreibt ein Forum zu den Lehrveranstaltungen. Das Forum zu MoSeS befindet sich hier.

Last modified on 15 May 2019.

A A A | Print | Imprint | Sitemap | Contact
zum Seitenanfang