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.

2018W, 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: 9. Oktober 2018, 9:00 (s.t.), EI8 (Vorbesprechung)

Vortragende Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Di.09:00 - 10:0009.10.2018EI 8 Pötzl HS - QUER Vorbesprechung
Di.08:00 - 10:0016.10.2018 - 29.01.2019EI 8 Pötzl HS - QUER Übungen
Formale Methoden der Informatik - Einzeltermine
TagDatumZeitOrtBeschreibung
Di.09.10.201809:00 - 10:00EI 8 Pötzl HS - QUER Vorbesprechung
Di.16.10.201808:00 - 10:00EI 8 Pötzl HS - QUER Übungen
Di.23.10.201808:00 - 10:00EI 8 Pötzl HS - QUER Übungen
Di.30.10.201808:00 - 10:00EI 8 Pötzl HS - QUER Übungen
Di.06.11.201808:00 - 10:00EI 8 Pötzl HS - QUER Übungen
Di.13.11.201808:00 - 10:00EI 8 Pötzl HS - QUER Übungen
Di.20.11.201808:00 - 10:00EI 8 Pötzl HS - QUER Übungen
Di.27.11.201808:00 - 10:00EI 8 Pötzl HS - QUER Übungen
Di.04.12.201808:00 - 10:00EI 8 Pötzl HS - QUER Übungen
Di.11.12.201808:00 - 10:00EI 8 Pötzl HS - QUER Übungen
Di.18.12.201808:00 - 10:00EI 8 Pötzl HS - QUER Übungen
Di.08.01.201908:00 - 10:00EI 8 Pötzl HS - QUER Übungen
Di.15.01.201908:00 - 10:00EI 8 Pötzl HS - QUER Übungen
Di.22.01.201908:00 - 10:00EI 8 Pötzl HS - QUER Übungen
Di.29.01.201908:00 - 10:00EI 8 Pötzl HS - QUER Übungen

Leistungsnachweis

For each of the topics, there will be an exercise sheet. Students submit their solutions in tuwel and these solutions are graded.

LVA-Anmeldung

Von Bis Abmeldung bis
07.10.2018 00:00 06.11.2018 00:00 06.11.2018 00:00

Curricula

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Sprache

bei Bedarf in Englisch