Dozent: Prof. Dr.-Ing. Heiko Mantel
Assistent: bis 31.12.20: Tobias Hamann
ab 01.01.21: Tim Weißmantel
(Sprechstunde siehe 1. Vorlesungsmodul)
Übungsbetreuung: bis 31.12.20: Tobias Hamann
ab 01.01.21: Tim Weißmantel
Vorlesung: Montags, 9:50-11:30 (via Moodle)
Klausur: 10.3.2021, 8:00 - 9:30

Raumzuteilung

Raum Nachname
L402/1+2
A...   - Hd...
S101/A1 He... - Lm...
S105/22+23+24 Lo...  - Pk...
S206/030 Pl...   - Sei...
S306/051 Sel... - Tr...
S103/175 Tu...  - Z...


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: teachingatmais.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.).

 

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

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

Last modified on 9 March 2021.

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