Modellierung, Spezifikation und Semantik

Dozent: Prof. Dr.-Ing. Heiko Mantel
Assistent: Tobias Hamann (Sprechstunde siehe Website des Assistenten)
Übungsbetreuung: Tobias Hamann,  Markus Tasch
Vorlesung: Montags, 9:50-11:30, S2|02 C205 sowie S2|02 C120 & S2|02 C110
Übungen und
Sprechstunden
der Tutoren:
Gr. 1:    Montags, 13:30-15:10 Uhr  Raum: S2|07 167
Übung: 13:30-14:15 Uhr, Assistent: Markus Tasch
Sprechstunde: 14:25-15:10, Tutor: Jan Schneider
Gr. 2:    Montags, 16:15-17:55 Uhr Raum: S2|02 C120
Übung: 16:15-17:00 Uhr, Assistent: Markus Tasch
Sprechstunde: 17:10-17:55, Tutor: Tobias Roth
Gr. 3:    Dienstags, 11:40-13:20 Uhr Raum: S2|07 167
Übung: 11:40-12:25 Uhr, Assistent: Markus Tasch
Sprechstunde: 12:35-13:20, Tutor: Dorothea Treitz
Gr. 4:    Mittwochs, 16:15-17:55 Raum: S2|07 167
Übung: 16:15-17:00 Uhr, Assistent: Tobias Hamann
Sprechstunde: 17:10-17:55, Tutor: Lukas Rothenberger
Gr. 5:    Mittwochs, 11:40-13:20 Raum: S1|01 A4
Übung: 11:40-12:25 Uhr, Assistent: Tobias Hamann
Sprechstunde: 12:35-13:20, Tutor: Henry Rust
Klausur: Klausurtermin: Mi, 07.03.2018, 08:00-10:30Uhr
Räume: Nachnamen A - Mec: L402/1 (Hörsaal- und Medienzentrum Lichtwiese)
              Nachnamen Met - Z: S101/A1 (Audimax)
Mitzubringen sind der Studentenausweis sowie Personalausweis oder Reisepass
Klausureinsicht: Die Klausureinsicht findet am Freitag, 4.5.2018, 13:00-18:00 Uhr in S2|02  A126 statt. Wenn Sie an der Klausureinsicht teilnehmen möchten, melden Sie sich für organisatorische Zwecke bitte über die entsprechende Gruppeneinteilung in Moodle (https://moodle.informatik.tu-darmstadt.de/course/view.php?id=428) für einen der 1-stündigen Zeiträume an. Bitte bringen Sie sowohl einen Lichtbildausweis als auch Ihren Studentenausweis mit.
Klausur SoSe 2018: 
Klausurtermin: Fr, 21.09.2018, 09:00-11:30Uhr
Raum: S206|030 (alle Studierenden)
Mitzubringen sind der Studentenausweis sowie Personalausweis oder Reisepass
Klausureinsicht SoSe 2018: 
Einsichtstermin: Freitag, 12.10.2018, 10:30 - 12:30
Raum/Slotzuweisung: Bitte senden Sie eine eMail an Tobias Hamann <hamann@mais.informatik.tu-darmstadt.de> mit eventuellen Zeiteinschraenkungen Ihrerseits. Wir schicken Ihnen dann eine Slotzuweisung per Mail.

Mitzubringen sind der Studentenausweis sowie Personalausweis oder Reisepass

 

Klausur WiSe 2018/19: 
Klausurtermin: Mi, 13.03.2019, 08:00-10:30Uhr
Raum: S206|030 (alle Studierenden)
Mitzubringen sind der Studentenausweis sowie Personalausweis oder Reisepass
   
Klausureinsicht: Die Klausureinsicht findet am Freitag, 26.4.2019, 15:30-20:00 Uhr in S2|02  A313 statt. Wenn Sie an der Klausureinsicht teilnehmen möchten, melden Sie sich für organisatorische Zwecke bitte per eMail bei Tobias Hamann mit Angabe des gewünschten Zeitslots an (Ein Slot pro halbe Zeitstunde). Bitte bringen Sie sowohl einen Lichtbildausweis als auch Ihren Studentenausweis mit.

 

News

  • Die Raumzuteilung der Klausur steht nun fest und ist oben angekündigt.
  • Erinnerung (26.10.2017): Am Dienstag 31.10.2017 ist ein Feiertag. Dementsprechend findet an diesem Tag die Übungsgruppe 3 nicht statt. Sie können daher in der nächsten Woche an einer anderen Übungsgruppe teilnehmen. 

Inhalt

Hier geht es zu den internen Webseiten.

Sprechstunden der Tutoren in der vorlesungsfreien Zeit

In der vorlesungsfreien Zeit im Februar und März 2018 bietet jeder MoSeS-Tutor zwei Sprechstunden  an. Die Termine und Räume (alle in S2/02) sind der folgenden Tabelle zu entnehmen.

Datum Zeit Raum Tutor
Mo 12.02.2018
 10:00-12:00 A213 Jan Schneider
Mi, 14.02.2018 10:00-12:00 E202 Tobias Roth
Fr, 16.02.2018 10:00-12:00 A213 Jan Schneider
Mo, 19.02.2018 10:00-12:00 A213 Lukas Rothenberger
Mi, 21.02.2018 10:00-12:00 A213 Henry Rust
Fr, 23.02.2018 10:00-12:00 A213 Lukas Rothenberger
Mo, 26.02.2018 10:00-12:00 A213 Henry Rust
Mi, 28.02.2018 15:30-17:30 E202 Dorothea Treitz
Fr, 02.03.2018 09:00-12:00 A313 Tobias Roth & Dorothea Treitz

Sprechstunden des Assistenten in der vorlesungsfreien Zeit

Datum Zeit Assistent Raum
19.02.18
 13:30-14:30 Markus Tasch E321
26.02.18
 13:30-14:30 Markus Tasch E321
05.03.18 13:30-14:30 Markus Tasch A126

Bitte senden Sie wie bei den Sprechstunden während der Vorlesungzeit Ihre Fragen vorab an den Assistenten per E-Mail.

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 [AP 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 Name und 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 25 April 2019.

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