Logik und Formale Methoden

Formale Systeme II

  • Typ: Vorlesung (V)
  • Lehrstuhl: Fakultät für Informatik
  • Semester: SS 2014
  • Zeit: 14.04.2014
    15:45 - 17:15 wöchentlich
    50.34 Raum 301 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten


    17.04.2014
    15:45 - 17:15 wöchentlich
    50.34 Raum 301 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

    24.04.2014
    15:45 - 17:15 wöchentlich
    50.34 Raum 301 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

    28.04.2014
    15:45 - 17:15 wöchentlich
    50.34 Raum 301 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

    05.05.2014
    15:45 - 17:15 wöchentlich
    50.34 Raum 301 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

    08.05.2014
    15:45 - 17:15 einmalig
    50.34 Raum -119 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

    08.05.2014
    15:45 - 17:15 wöchentlich
    50.34 Raum 301 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

    12.05.2014
    15:45 - 17:15 wöchentlich
    50.34 Raum 301 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

    15.05.2014
    15:45 - 17:15 wöchentlich
    50.34 Raum 301 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

    19.05.2014
    15:45 - 17:15 wöchentlich
    50.34 Raum 301 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

    22.05.2014
    15:45 - 17:15 wöchentlich
    50.34 Raum 301 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

    26.05.2014
    15:45 - 17:15 wöchentlich
    50.34 Raum 301 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

    02.06.2014
    15:45 - 17:15 wöchentlich
    50.34 Raum 301 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

    05.06.2014
    15:45 - 17:15 wöchentlich
    50.34 Raum 301 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

    12.06.2014
    15:45 - 17:15 wöchentlich
    50.34 Raum 301 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

    16.06.2014
    15:45 - 17:15 wöchentlich
    50.34 Raum 301 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

    23.06.2014
    15:45 - 17:15 wöchentlich
    50.34 Raum 301 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

    26.06.2014
    15:45 - 17:15 wöchentlich
    50.34 Raum 301 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

    30.06.2014
    15:45 - 17:15 wöchentlich
    50.34 Raum 301 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

    03.07.2014
    15:45 - 17:15 wöchentlich
    50.34 Raum 301 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

    07.07.2014
    15:45 - 17:15 wöchentlich
    50.34 Raum 301 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

    10.07.2014
    15:45 - 17:15 wöchentlich
    50.34 Raum 301 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

    14.07.2014
    15:45 - 17:15 wöchentlich
    50.34 Raum 301 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

    17.07.2014
    15:45 - 17:15 wöchentlich
    50.34 Raum 301 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten


  • Dozent: Prof.Dr. Peter Hans Schmitt
  • SWS: 3
  • LVNr.: 24608
Vortragsspracheunbekannt
BeschreibungEinfü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.

LehrinhaltDer/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.