Dozent:	Prof. Dr.-Ing. Heiko Mantel
Kontakt:	teachingmais.informatik.tu-darmstadt.de
Assistent:	Tim Weißmantel (Sprechstunde siehe 1. Vorlesungsmodul)
Vorlesung:	Montags, 9:50-11:30 (via Moodle)
Klausur:	16.03.2022, 8:00 - 9:30 Raumzuteilung Raum Nachname L402/1+2 A...   - Ib... S101/A1 Ih... - Reic... S206/030 Rein...   - V... S202/C205 W... - Z... Bitte beachten Sie die aktuell geltenden 3G und Masken Regelungen für Klausuren. Für einen reibungslosen Ablauf empfehlen wir das Tragen eines 2G-Bändchens. Mehr Informationen für Studierende finden Sie auf der Website der TU-Darmstadt.

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

• Uwe Kastens, Hans Kleine Büning
  Modellierung - Grundlagen und formale Methoden
  Hanser, 2014, dritte Auflage
• Glynn Winskel
  The Formal Semantics of Programming Languages
  The MIT Press
  
• C. A. R. Hoare
  
  Communicating Sequential Processes
  Prentice-Hall, 1985

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

Last modified on 14 March 2022.