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.

2017W, VU, 4.0h, 6.0EC
TUWEL

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

BEGINN DER LEHRVERANSTALTUNG: 3. Oktober 2017, 12:15, EI10

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 Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Mo.13:00 - 15:0002.10.2017 - 22.01.2018EI 10 Fritz Paschke HS - UIW Vorlesung
Di.12:00 - 14:0003.10.2017 - 23.01.2018EI 10 Fritz Paschke HS - UIW Vorlesung
Mi.12:00 - 14:0004.10.2017 - 24.01.2018EI 10 Fritz Paschke HS - UIW Vorlesung
Formale Methoden der Informatik - Einzeltermine
TagDatumZeitOrtBeschreibung
Mo.02.10.201713:00 - 15:00EI 10 Fritz Paschke HS - UIW Vorlesung
Di.03.10.201712:00 - 14:00EI 10 Fritz Paschke HS - UIW Vorlesung
Mi.04.10.201712:00 - 14:00EI 10 Fritz Paschke HS - UIW Vorlesung
Mo.09.10.201713:00 - 15:00EI 10 Fritz Paschke HS - UIW Vorlesung
Di.10.10.201712:00 - 14:00EI 10 Fritz Paschke HS - UIW Vorlesung
Mi.11.10.201712:00 - 14:00EI 10 Fritz Paschke HS - UIW Vorlesung
Mo.16.10.201713:00 - 15:00EI 10 Fritz Paschke HS - UIW Vorlesung
Di.17.10.201712:00 - 14:00EI 10 Fritz Paschke HS - UIW Vorlesung
Mi.18.10.201712:00 - 14:00EI 10 Fritz Paschke HS - UIW Vorlesung
Mo.23.10.201713:00 - 15:00EI 10 Fritz Paschke HS - UIW Vorlesung
Di.24.10.201712:00 - 14:00EI 10 Fritz Paschke HS - UIW Vorlesung
Mi.25.10.201712:00 - 14:00EI 10 Fritz Paschke HS - UIW Vorlesung
Mo.30.10.201713:00 - 15:00EI 10 Fritz Paschke HS - UIW Vorlesung
Di.31.10.201712:00 - 14:00EI 10 Fritz Paschke HS - UIW Vorlesung
Mo.06.11.201713:00 - 15:00EI 10 Fritz Paschke HS - UIW Vorlesung
Di.07.11.201712:00 - 14:00EI 10 Fritz Paschke HS - UIW Vorlesung
Mi.08.11.201712:00 - 14:00EI 10 Fritz Paschke HS - UIW Vorlesung
Mo.13.11.201713:00 - 15:00EI 10 Fritz Paschke HS - UIW Vorlesung
Di.14.11.201712:00 - 14:00EI 10 Fritz Paschke HS - UIW Vorlesung
Mo.20.11.201713:00 - 15:00EI 10 Fritz Paschke HS - UIW 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
Fr.16:00 - 19:0028.01.2022 185.291 Formal Methods in Computer Science WS2020 Termin 1 - ONLINE EXAMbeurteilt10.01.2022 08:00 - 24.01.2022 23:59in TISSFMI WS2020 Termin 1 - ONLINE EXAM
Fr. - 25.03.2022schriftlich01.03.2022 00:00 - 21.03.2022 23:59in TISSFMI WS2021 - Exam 2 (Format TBA)
Fr. - 13.05.2022schriftlich11.04.2022 00:00 - 09.05.2022 23:59in TISSFMI WS2021 - Exam 3 (Format TBA)
Fr.10:00 - 10:0024.06.2022 schriftlich31.05.2022 23:59 - 19.06.2022 23:59in TISSFMI SS2022 - Main Date

LVA-Anmeldung

Von Bis Abmeldung bis
18.09.2017 08:00 23.10.2017 08:00 23.10.2017 08:00

Curricula

Literatur

Sämtliche Unterlagen sind im TUWEL-Kurs zu finden.

Sprache

bei Bedarf in Englisch