185.A93 Formale Methoden der Informatik
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2017W, UE, 2.0h, 3.0EC
TUWEL

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: UE Übung

Ziele der Lehrveranstaltung

Diese Lehrveranstaltung vertieft das Verständnis der Inhalte der Lehrveranstaltung "6.0 VU Formale Methoden der Informatik" durch zusätzliche Übungen.

Inhalt der Lehrveranstaltung

Es werden Aufgaben zu folgenden Gebieten behandelt:

  • Komplexitätstheorie: NP-Vollständigkeit, Unentscheidbarkeit, Reduktion von Problemen
  • Erfüllbarkeitsprobleme: SAT, SMT
  • Partielle/Totale Korrektheit von Programmen: Hoare-Kalkül, schwächste Vorbedingung, stärkste Nachbedingung
  • Formale Verifikation mittels Model Checking

Weitere Informationen

BEGINN DER LEHRVERANSTALTUNG: 17. Oktober 2017, 10:15, EI8

Vortragende Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Di.10:00 - 12:0003.10.2017 - 23.01.2018EI 8 Pötzl HS - QUER Übungen
Formale Methoden der Informatik - Einzeltermine
TagDatumZeitOrtBeschreibung
Di.03.10.201710:00 - 12:00EI 8 Pötzl HS - QUER Übungen
Di.10.10.201710:00 - 12:00EI 8 Pötzl HS - QUER Übungen
Di.17.10.201710:00 - 12:00EI 8 Pötzl HS - QUER Übungen
Di.24.10.201710:00 - 12:00EI 8 Pötzl HS - QUER Übungen
Di.31.10.201710:00 - 12:00EI 8 Pötzl HS - QUER Übungen
Di.07.11.201710:00 - 12:00EI 8 Pötzl HS - QUER Übungen
Di.14.11.201710:00 - 12:00EI 8 Pötzl HS - QUER Übungen
Di.21.11.201710:00 - 12:00EI 8 Pötzl HS - QUER Übungen
Di.28.11.201710:00 - 12:00EI 8 Pötzl HS - QUER Übungen
Di.05.12.201710:00 - 12:00EI 8 Pötzl HS - QUER Übungen
Di.12.12.201710:00 - 12:00EI 8 Pötzl HS - QUER Übungen
Di.19.12.201710:00 - 12:00EI 8 Pötzl HS - QUER Übungen
Di.09.01.201810:00 - 12:00EI 8 Pötzl HS - QUER Übungen
Di.16.01.201810:00 - 12:00EI 8 Pötzl HS - QUER Übungen
Di.23.01.201810:00 - 12:00EI 8 Pötzl HS - QUER Übungen

LVA-Anmeldung

Von Bis Abmeldung bis
01.10.2017 00:00 31.10.2017 00:00 31.10.2017 00:00

Curricula

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Sprache

bei Bedarf in Englisch