185.291 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.

2019S, VU, 4.0h, 6.0EC

Merkmale

  • Semesterwochenstunden: 4.0
  • ECTS: 6.0
  • Typ: VU Vorlesung mit Übung

Ziele der Lehrveranstaltung

Schulung des abstrakten, formalen und logischen Denkvermögens sowie die Vermittlung formaler Methoden der Informatik.

Inhalt der Lehrveranstaltung

Die Lehrveranstaltung behandelt vier Themenblöcke:

1. Grundzüge der Komplexitätstheorie: Problemreduktion, P versus NP, Unentscheidbarkeit;

2. Lösungsmethoden für das aussagenlogische Erfüllbarkeitsproblem (SAT):  Anwendungen in der Informatik;

3. Einführung in die formale Semantik von Programmiersprachen; formale Verifikation von Programmen;

4. Model checking mit Anwendungen in der Hard- und Softwareverifikation.

Didaktisches Vorgehen: Die Vorlesung wird von einer freiwilligen Übung begleitet, in der Aufgaben zu den vier Themenblöcken bearbeitet und zur Korrektur abgegeben werden können. Die Gesamtbeurteilung ergibt sich aus der abschließenden schriftlichen Prüfung.

Weitere Informationen

Aufwandsabschätzung

  2 h Einleitung (erste Vorlesung)
60 h Vorlesung (20 Termine à 2h + 1h Vor-/Nachbereitung)
40 h Übungsbeispiele (4 Blätter mit je 10 Beispielen à 1h)
 16 h Diskussion der Übungsbeispiele (8 Termine à 2h)
30 h Testvorbereitung
2 h schriftlicher Test
-----------------------------------------------------------
150 h = 6 Ects

Vortragende

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Mo13:00 - 15:0004.03.2019 - 27.05.2019EI 8 Pötzl HS Vorlesung
Di16:00 - 18:0005.03.2019 - 28.05.2019EI 8 Pötzl HS Vorlesung
Mi13:00 - 15:0006.03.2019 - 12.06.2019EI 8 Pötzl HS Vorlesung
Formale Methoden der Informatik - Einzeltermine
TagDatumZeitOrtBeschreibung
Mo04.03.201913:00 - 15:00EI 8 Pötzl HS Vorlesung
Di05.03.201916:00 - 18:00EI 8 Pötzl HS Vorlesung
Mi06.03.201913:00 - 15:00EI 8 Pötzl HS Vorlesung
Mo11.03.201913:00 - 15:00EI 8 Pötzl HS Vorlesung
Di12.03.201916:00 - 18:00EI 8 Pötzl HS Vorlesung
Mi13.03.201913:00 - 15:00EI 8 Pötzl HS Vorlesung
Mo18.03.201913:00 - 15:00EI 8 Pötzl HS Vorlesung
Di19.03.201916:00 - 18:00EI 8 Pötzl HS Vorlesung
Mi20.03.201913:00 - 15:00EI 8 Pötzl HS Vorlesung
Mo25.03.201913:00 - 15:00EI 8 Pötzl HS Vorlesung
Di26.03.201916:00 - 18:00EI 8 Pötzl HS Vorlesung
Mi27.03.201913:00 - 15:00EI 8 Pötzl HS Vorlesung
Mo01.04.201913:00 - 15:00EI 8 Pötzl HS Vorlesung
Di02.04.201916:00 - 18:00EI 8 Pötzl HS Vorlesung
Mi03.04.201913:00 - 15:00EI 8 Pötzl HS Vorlesung
Mo08.04.201913:00 - 15:00EI 8 Pötzl HS Vorlesung
Di09.04.201916:00 - 18:00EI 8 Pötzl HS Vorlesung
Mi10.04.201913:00 - 15:00EI 8 Pötzl HS Vorlesung
Mo29.04.201913:00 - 15:00EI 8 Pötzl HS Vorlesung
Di30.04.201916:00 - 18:00EI 8 Pötzl HS Vorlesung

Leistungsnachweis

Die Gesamtbeurteilung erfolgt aufgrund eines schriftlichen Abschlusstests (max. 60 Punkte). Die Note ergibt sich nach folgendem Schlüssel:

  • 0-29 Punkte: nicht genügend (5)
  • 30-35 Punkte: genügend (4)
  • 36-41 Punkte: befriedigend (3)
  • 42-47 Punkte: gut (2)
  • 48-60 Punkte: sehr gut (1)

Prüfungen

TagZeitDatumOrtPrüfungsmodusAnmeldefristAnmeldungPrüfung
Fr16:00 - 18:0018.10.2019EI 9 Hlawka HS beurteilt04.10.2019 00:00 - 17.10.2019 08:00in TISS2017 Termin 5
Fr16:00 - 18:0018.10.2019EI 3 Sahulka HS beurteilt04.10.2019 00:00 - 17.10.2019 08:00in TISS2017 Termin 5
Di15:00 - 17:0010.12.2019HS 8 Heinz Parkus beurteilt26.11.2019 00:00 - 09.12.2019 08:00in TISS2017 Termin 6
Fr14:00 - 16:0024.01.2020EI 9 Hlawka HS beurteilt10.01.2020 00:00 - 23.01.2020 08:00in TISS2018 Termin 1
Fr16:00 - 18:0020.03.2020EI 9 Hlawka HS beurteilt05.03.2020 00:00 - 19.03.2020 08:00in TISS2018 Termin 2
Fr16:00 - 18:0008.05.2020EI 9 Hlawka HS beurteilt24.04.2020 00:00 - 07.05.2020 08:00in TISS2018 Termin 3

LVA-Anmeldung

Von Bis Abmeldung bis
14.02.2019 00:00 17.03.2019 23:59 17.03.2019 23:59

Curricula

Literatur

Folien und Übungsbeispiele siehe TUWEL Online-Kurs.

Weitere Informationen

Sprache

Englisch