Home | english  | Impressum | Sitemap | KIT

Formale Systeme II

Formale Systeme II
Typ: Vorlesung (V) Links:
Semester: SS 2012
Ort:

SR301

Zeit: 16.04.2012
15:45-17:15
50.34 Raum 301


19.04.2012
15:45-17:15
50.34 Raum 301

23.04.2012
15:45-17:15
50.34 Raum 301

26.04.2012
15:45-17:15
50.34 Raum 301

30.04.2012
15:45-17:15
50.34 Raum 301

03.05.2012
15:45-17:15
50.34 Raum 301

07.05.2012
15:45-17:15
50.34 Raum 301

10.05.2012
15:45-17:15
50.34 Raum 301

14.05.2012
15:45-17:15
50.34 Raum 301

21.05.2012
15:45-17:15
50.34 Raum 301

24.05.2012
15:45-17:15
50.34 Raum 301

31.05.2012
15:45-17:15
50.34 Raum 301

04.06.2012
15:45-17:15
50.34 Raum 301

11.06.2012
15:45-17:15
50.34 Raum 301

14.06.2012
15:45-17:15
50.34 Raum 301

18.06.2012
15:45-17:15
50.34 Raum 301

21.06.2012
15:45-17:15
50.34 Raum 301

25.06.2012
15:45-17:15
50.34 Raum 301

28.06.2012
15:45-17:15
50.34 Raum 301

02.07.2012
15:45-17:15
50.34 Raum 301

05.07.2012
15:45-17:15
50.34 Raum 301

09.07.2012
15:45-17:15
50.34 Raum 301

12.07.2012
15:45-17:15
50.34 Raum 301

16.07.2012
15:45-17:15
50.34 Raum 301

19.07.2012
15:45-17:15
50.34 Raum 301

Dozent: Prof.Dr. Peter Hans Schmitt
SWS: 3
LVNr.: 24608

Vortragssprache:

Deutsch

Beschreibung:

Einführung in die axiomatische Mengenlehre als Fundament für alle mengenbasierten Spezifikationssprachen.

Einführung in die modale Logik als Grundlage für alle Zustandsbasierten Spezifikations- und Beweissysteme. Dazu gehört die Vorstellung eines Tableaukalküls für modale Logik und eine ausführliche Behandlung der sog. Charakterisierungstheorie, insbesondere im Hinblick auf ihren Zusammenhang mit der monadischen Logik zweiter Stufe.

In diesem Kapitel wird ebenfalls auf Beschreibungslogiken und ihren Zusammenhang mit modaler Logik eingegangen,

Einführung in die Dynamische Logik als Referenzmodell für Programmverifikationssysteme. Dazu gehört die Behandlung der dynamischen Aussagenlogik.

Die im Stammmodul Formale Systeme [IN4INFS] eingeführte temporale Logik LTL wird um fortgeschritte Themen ergänzt und durch die Behandlung der temporalen Logik CTL ergänzt.

Lehrinhalt:

Der/Die Studierende soll
  • das grundlegendene methodische Vorgehen der Theorie Formaler Systeme erlernen.
  • anhand einiger ausgewählter Beispiele logische Theorien im Detail kennenlernen.
  • einfache Aufgabenstellungen eigenständig bearbeiten und lösen können.