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
Klausur: Klausurtermin: Freitag, 20.09.2019, 09:00-11:15
Anmeldungszeitraum: 1.5.-30.6.2019
Raumeinteilung: folgt
Feriensprechstunden der Tutoren:
Mo      5.8.   14:00-15:00    Lukas Rothenberger    A126
Mi       7.8.   11:00-12:00    Lukas Rothenberger    A126
Di    1 3.8.    14:00-15:00   Lukas Rothenberger    A126
Mo    19.8.   14:00-15:00    Nicholas Wolf         A126
Do    29.8.    11:00-12:00   Nicholas Wolf         A313
Fr     30.8.    13:30-14:30   Nicholas Wolf         A126
Mo     2.9.    10:00-11:00   Martin Edlund         A126
Mi      4.9.    10:00-11:00   Martin Edlund         A126
Do      5.9.   10:00-11:00   Martin Edlund         A126
Mi     11.9.   16:00-17:00   David Langsam         A126
Di     17.9.   10:00-11:00   David Langsam         A126
Mi     18.9.   16:00-17:00   David Langsam         A126
 
Sprechstunden des Assistenten vor der Klausur: Fr   16.8.  13:30-14:30
Fr   23.8.  13:30-14:30
Mo   9.9.  13:30-14:30
Bitte senden Ihre Fragen vorab an den Assistenten!
 

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.
  • Aufgrund von TU meet & move fallen die Übungen 2 (Mi 15:20) und 4 (Mi 17:10) und die zugehoerigen Tutorensprechstunden diese Woche aus. Die Studierenden dieser Übungsgruppen koennen in dieser Woche eine beliebige andere Übung/Tutorensprechstunde besuchen (Zeiten und Räume der Übungen und Sprechstunden sind in TUCaN gelistet).
  • Am 3.7.2019 finden keine Kleingruppenübungen durch die Assisstenten statt. Die Tutorensprechstunde findet aber regulär statt und die Tutoren werden während der Kleingruppenzeit anwesend sein.
  • Kleingruppe 3 (Do ab 15:20) fällt am 4.7.2019 aus. Die Studierenden dieser Übungsgruppen koennen in dieser Woche eine beliebige andere Übung/Tutorensprechstunde besuchen (Zeiten und Räume der Übungen und Sprechstunden sind in TUCaN gelistet).

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 17 July 2019.

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