| Dozent: | Prof. Dr.-Ing. Heiko Mantel | |||||||||||||||
| Assistent: | Tobias Hamann (Sprechstunde siehe 1. Vorlesungsmodul) |
|||||||||||||||
| Übungsbetreuung: | Tobias Hamann |
|||||||||||||||
| Vorlesung: | Montags, 9:50-11:30 (via Moodle) | |||||||||||||||
| Klausur: | 10.3.2021, 8:00 - 9:30 Raumzuteilung
Vor dem Betreten des Universitätsgeländes, informieren Sie sich bitte über die geltenden Coronarichtlinien auf der Website der TU-Darmstadt. Beachten Sie bitte, dass das Tragen einer Alltags-Stoffmaske nicht ausreichend ist! |
|||||||||||||||
| Kontakt: | teaching mais.informatik.tu-darmstadt.de |
|||||||||||||||
Informationen während der Corona Pandemie:
MoSeS wird statt finden. Der Vorlesungs- und Übungsbetrieb für MoSeS im Wintersemester 2020/21 wird online statt finden. Die Vorlesung wird als Aufzeichnung im Moodlekurs der Veranstaltung bereitgestellt. Alle weiteren organisatorischen Detais finden Sie in den Vorlesungsunterlagen im Moodlekurs. Sollte Sie den Einschreibeschlüssel fuer den Moodlekurs nicht als TUCaN-Nachricht erhalten haben, oder sollten Sie keinen TUCaN Zugriff haben, wenden Sie sich bitte per Mail an den Assistenten der Veranstaltung (s.o.).
MoSeS wird statt finden. Der Vorlesungs- und Übungsbetrieb für MoSeS im Wintersemester 2020/21 wird online statt finden. Die Vorlesung wird als Aufzeichnung im Moodlekurs der Veranstaltung bereitgestellt. Alle weiteren organisatorischen Detais finden Sie in den Vorlesungsunterlagen im Moodlekurs. Sollte Sie den Einschreibeschlüssel fuer den Moodlekurs nicht als TUCaN-Nachricht erhalten haben, oder sollten Sie keinen TUCaN Zugriff haben, wenden Sie sich bitte per Mail an den Assistenten der Veranstaltung (s.o.).
News
Inhalt
Die Vorlesungsmaterialien werden im Moodlekurs zur Veranstaltung bereitgestellt.
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. HoareCommunicating Sequential Processes
Prentice-Hall, 1985
Die Fachschaft betreibt ein Forum zu den Lehrveranstaltungen. Das Forum zu MoSeS befindet sich hier.
Last modified on 28 January 2022.
Print
Imprint
Sitemap
Contact