Modellierung, Spezifikation und Semantik

Dozent: Prof. Heiko Mantel
Assistent: Markus Tasch
Vorlesung: Montags, 9:50-11:30, S2|02 C205 sowie S2|02 C110
Übung: Montags, 17:10-17:55, S2|02 C205 sowie S2|02 C120
Sprechstunden der Tutoren:
Gr. 1:    Montags, 11:40-12:25, S1|05 23 (Tutor: Jeannine Endreß)
Gr. 2:    Montags, 16:15-17:00, S2|02 C120 (Tutor: Kenten Fina)
Gr. 3:    Dienstags, 11:40-12:25, S1|05 23 (Tutor: Tim Schneider)
Gr. 4:    Mittwochs, 16:15-17:00, S1|03 204 (Tutor: Thomas Höhl)
Gr. 5:    Mittwochs, 11:40-12:25, S1|15 238 (Tutor: Florian Dewald)
Gr. 6:    Montags, 11:40-12:25, S2|07 167 (Tutor: Thomas Höhl)
Klausur: 09.03.2016, 08:00-10:30
Anmeldungszeitraum: 15.11.-15.12.2015
Raumeinteilung: (siehe unten)
Die Klausurergebnisse wurden ans Studienbüro gemeldet.
Klausureinsicht: Fr, 22.04.2016, 13:30-17:30 in S2/02 Raum B002
Mitzubringen sind der Studentenausweis sowie Personalausweis oder Reisepass
Klausur im SoSe 2016 23.09.2016, 09:00-11:15
Raumeinteilung: S101|A01 für alle Teilnehmer (Keller vom Audimax)
Regeln zur Klausur: siehe unten
Die Klausurergebnisse wurden ans Studienbüro gemeldet.
Klausureinsicht: Mo, 31.10.2016, 15:00-16:30 in S2/02 Raum E302
Mitzubringen sind der Studentenausweis sowie Personalausweis oder Reisepass

News

  • Zur Information (24.10.2016): Die Klausurergebnisse wurden ans Studienbüro gemeldet. Die Klausureinsicht findet am Mo, 31.10.2016, 15:00-16:30 in S2/02 Raum B002 statt.
    Mitzubringen sind der Studentenausweis sowie Personalausweis oder Reisepass.
  • Raumeinteilung Klausur am 23.09.2016: Die Raumeinteilung für die Klausur zur Verstaltung "Modellierung, Spezifikation und Semantik" am 23.03.2016 finden Sie  oben auf dieser Website.
  • Zur Information (19.09.2016): Zusätzlich zur Sprechstunden von Markus Tasch, Montags 17:00-18:00 gibt es diese Woche auch eine Sprechstunde Mittwoch 21.09.2016, 16:30-18:00 von Markus Tasch.
  • Zur Information (15.04.2016): Die Klausurergebnisse wurden an das Studienbüro gemeldet. Die Klausureinsicht findet am Fr, 22.04.2016, 13:30-17:30 in S2/02 Raum B002 statt. Mitzubringen sind der Studentenausweis sowie Personalausweis oder Reisepass.
  • Raumeinteilung Klausur am 09.03.2016: Die Raumeinteilung für die Klasur zur Verstaltung "Modellierung, Spezifikation und Semantik" am 09.03.2016 finden Sie unten auf dieser Website.
  • Wichtig (02.12.2015): Die Übungsgruppe 01 Montags, 11:40-12:25 betreut von Jeannine Endreß findet am 08.02.2016 in Raum S1 |03 204 anstelle von S1|05 23 statt.
  • Wichtig (02.12.2015): Die Übungsgruppe 03 Dienstags, 11:40-12:25 betreut von Tim Schneider findet am 08.12.2015 in Raum S1|03 161 anstelle von S1|05 23 statt.
  • Prüfungsanmeldezeitraum: Der Prüfungsanmeldezeitraum 15.11.-15.12.2015 hat begonnen (gilt auch für Diplom-Studenten).
  • Wichtig (30.10.2015): Die Übungsgruppe 04 Mittwochs, 16:15-17:00 betreut von Thomas Höhl findet ab sofort in Raum S1|03 204 anstelle von S1|14 169 statt.

 Inhalt

Hier geht es zu den internen Webseiten.


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)

 Sprechstunden der Tutoren in der vorlesungsfreien Zeit

In der vorlesungsfreien Zeit im Februar und März 2016 bietet jeder FoC-Tutor zwei Sprechstunden bzw. Thomas Höhl vier Sprechstunden an. Die Termine und Räume (alle in S2/02) sind der folgenden Tabelle zu entnehmen.

Datum Zeit Raum Tutor
Mo 08.02.2016
13:00-15:00 E302 Jeannine Endreß
Mi, 10.02.2016 09:00-11:00 E302 Jeannine Endreß
Mi, 17.02.2016 13:00-15:00 E302 Florian Dewald
Fr, 19.02.2016 13:00-15:00 E202 Thomas Höhl
Mo, 22.02.2016 13:00-15:00 E302 Tim Schneider
Mi, 24.02.2016 13:00-15:00 E302 Kenten Fina
Fr, 26.02.2016 13:00-15:00 E302 Kenten Fina
Mo, 29.02.2016 13:00-15:00 E302 Thomas Höhl
Mi, 02.03.2016 13:00-15:00 E302 Thomas Höhl
Fr, 04.03.2016 13:00-15:00 E302 Tim Schneider
Mo, 07.03.2016 13:00-15:00 E202 & E302 Florian Dewald & Thomas Höhl

Sprechstunden des Assistenten in der vorlesungsfreien Zeit

Datum Zeit Assistent
Fr 19.02.2016
16:00-17:00 Markus Tasch
Fr 26.02.2016
16:00-17:00 Markus Tasch
Fr 04.03.2016
16:00-17:00 Markus Tasch

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]

In der Vorlesung verwendete Literatur

Last modified on 22 November 2016.

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