Modellierung, Spezifikation und Semantik

Dozent: Prof. Dr.-Ing. Heiko Mantel
Assistent: Markus Tasch (Sprechstunde siehe Website des Assistenten)
Übungsbetreuung: Tobias Hamann, Johannes Schickel, 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, Raum: S105|23 (Übung: 11:40-12:25 Uhr, Sprechstunde: 12:35-13:20, Tutor: Dorothea Treitz)
Gr. 2:    Montags, Raum: S202|C120 (Übung: 16:15-17:00 Uhr,  Sprechstunde: 17:10-17:55, Tutor: Kenten Fina)
Gr. 3:    Dienstags, Raum: S105|23 (Übung: 11:40-12:25 Uhr, Sprechstunde: 12:35-13:20, Tutor: Philipp Malkmus)
Gr. 4:    Mittwochs, Raum: S207|167 (Übung: 16:15-17:00 Uhr,  Sprechstunde: 17:10-17:55, Tutor: Thomas Höhl)
Gr. 5:    Mittwochs, Raum: S101|A4 (Übung: 11:40-12:25 Uhr, Sprechstunde: 12:35-13:20, Tutor: Tamara Liebich)
Klausur: Klausurtermin: Mittwoch, 08.03.2017, 08:00-10:30
Anmeldungszeitraum: 15.11.-15.12.2016
Raumeinteilung:
siehe unten
Klausureinsicht: Freitag: 12.05.2017, 13:00-18:00 Uhr in S2|02 E302
Klausur SS17 Klausurtermin: Freitag 22.09.2017, 09:00-10:30
Raumeinteilung: Klausur findet in S101/A01 (Keller des Audimax) statt
Klausureinsicht: Montag: 30.10.2017, 17:30-18:30 Uhr in S2|02 E202

News

  • Klausureinsicht am Montag 30.10.2017, 17:30-18:30 in S2|02 E202: Die Klausureinsicht zur Klausur Modellierung, Spezifiaktion und Semantik im SS17 findet am Montag, 30.10.2017, 17:30-18:30 Uhr in S2|02 E202 statt. Bitte bringen Sie sowohl einen Lichtbildausweis als auch Ihren Studentenausweis mit.
  • Weitere Sprechstunde Sommersemester 2017: Für die Klausurvorbereitung bietet Herr Markus Tasch (E321) eine weitere Sprechstunde am 20.09 von 17:00-18:00 Uhr an. Bitte senden Sie ihre Fragen schon vorab per E-Mail an den Assistenten.
  • Raumeinteilung für Klausur am 22.09.2017: Die Klausur findet für alle Teilnehmer in S101/A01 (Keller des Audimax) statt.
  • Sprechstunde Sommersemester 2017: Für die Klausurvorbereitung bietet Herr Markus Tasch eine Sprechstunde am 13.09 von 15:00-16:30 Uhr in E302 an. Bitte senden Sie ihre Fragen schon vorab per E-Mail an den Assistenten.
  • Klausureinsicht am Freitag 12.05.2017, 13:00-18:00 in S2|02 E302: Die Klausureinsicht zur Klausur Modellierung, Spezifiaktion und Semantik findet am Freitag, 12.05.2017, 13:00-18:00 Uhr in S2|02 E302 statt. Wenn Sie an der Klausureinsicht teilnehmen möchten, melden Sie sich für organisatorische Zwecke bitte über die entsprechende Gruppeneinteilung in Moodle für einen der 1-stündigen Zeiträume an. Bitte bringen Sie sowohl einen Lichtbildausweis als auch Ihren Studentenausweis mit.
  • Sprechstunde Markus Tasch am Di. 21.02.2017: Die Sprechstunde ist um 1 Stunde nach hinten verschoben und geht damit von 14:00Uhr-15:30 Uhr.
  • Hinweis: An alle, die aktiv die angebotenen Übungsgruppen besuchen (d.h. zur Übung oder Tutorensprechstunde anwesend sind), hätten wir folgende bitte: Wiederholen Sie bitte die Auswahl Ihrer Übungsgruppe im zu diesem Zweck angelegten Moodle-Kurs (link). Wir möchten damit die Auslastung der Übungsgruppen verbessern.
    Die im Moodle-Kurs wählbaren Übungsgruppen haben nun eine Obergrenze für die Teilnehmerzahl, die besser an die räumlichen Begebenheiten angepasst ist. Besuchen Sie nach der erneuten Wahl Ihrer Übungsgruppe bitte nur die gewählte Übungsgruppe.

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 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)

Raumeinteilung für die Klausur am 22.09.2017, 09:00-11:15 Uhr

Nachname beginnt mit

Raum
A bis Z
S101/A01

 Sprechstunden der Tutoren in der vorlesungsfreien Zeit

In der vorlesungsfreien Zeit im Februar und März 2017 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 13.02.2017
13:30-15:30 E202 Tamara Liebich
Mi, 15.02.2017 13:30-15:30 E202 Tamara Liebich
Fr, 17.02.2017 13:30-15:30 E202 Dorothea Treitz
Mo, 20.02.2017 13:30-15:30 E202 Kenten Fina
Mi, 22.02.2017 13:30-15:30 E202 Philipp Malkmus
Fr, 24.02.2017 13:30-15:30 E202 Philipp Malkmus
Mo, 27.02.2017 13:30-15:30 E202 Thomas Höhl
Mi, 01.03.2017 13:30-15:30 E202 Dorothea Treitz
Fr, 03.03.2017 13:30-15:30 E202 & E302 Kenten Fina & Thomas Höhl

Sprechstunden des Assistenten in der vorlesungsfreien Zeit

Datum Zeit Assistent
Di 21.02.2017
14:00-15:30 Markus Tasch
Di 28.02.2017
13:00-14:30 Markus Tasch

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

In der Vorlesung verwendete Literatur

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

Last modified on 23 October 2017.

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