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.

2016S, 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

Erste Vorlesung SS 2015: Mi, 2.3.2016, 13:15, EI8

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
Mi.13:00 - 15:0002.03.2016 - 22.06.2016EI 8 Pötzl HS - QUER Vorlesung
Mo.14:00 - 16:0007.03.2016 - 27.06.2016EI 8 Pötzl HS - QUER Vorlesung
Mo.16:00 - 18:0007.03.2016 - 27.06.2016EI 8 Pötzl HS - QUER Übung
Formale Methoden der Informatik - Einzeltermine
TagDatumZeitOrtBeschreibung
Mi.02.03.201613:00 - 15:00EI 8 Pötzl HS - QUER Vorlesung
Mo.07.03.201614:00 - 16:00EI 8 Pötzl HS - QUER Vorlesung
Mo.07.03.201616:00 - 18:00EI 8 Pötzl HS - QUER Übung
Mi.09.03.201613:00 - 15:00EI 8 Pötzl HS - QUER Vorlesung
Mo.14.03.201614:00 - 16:00EI 8 Pötzl HS - QUER Vorlesung
Mo.14.03.201616:00 - 18:00EI 8 Pötzl HS - QUER Übung
Mi.16.03.201613:00 - 15:00EI 8 Pötzl HS - QUER Vorlesung
Mo.04.04.201614:00 - 16:00EI 8 Pötzl HS - QUER Vorlesung
Mo.04.04.201616:00 - 18:00EI 8 Pötzl HS - QUER Übung
Mi.06.04.201613:00 - 15:00EI 8 Pötzl HS - QUER Vorlesung
Mo.11.04.201614:00 - 16:00EI 8 Pötzl HS - QUER Vorlesung
Mo.11.04.201616:00 - 18:00EI 8 Pötzl HS - QUER Übung
Mi.13.04.201613:00 - 15:00EI 8 Pötzl HS - QUER Vorlesung
Mo.18.04.201614:00 - 16:00EI 8 Pötzl HS - QUER Vorlesung
Mo.18.04.201616:00 - 18:00EI 8 Pötzl HS - QUER Übung
Mi.20.04.201613:00 - 15:00EI 8 Pötzl HS - QUER Vorlesung
Mo.25.04.201614:00 - 16:00EI 8 Pötzl HS - QUER Vorlesung
Mo.25.04.201616:00 - 18:00EI 8 Pötzl HS - QUER Übung
Mi.27.04.201613:00 - 15:00EI 8 Pötzl HS - QUER Vorlesung
Mo.02.05.201614:00 - 16:00EI 8 Pötzl HS - QUER 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
Mi.09:00 - 12:0026.06.2024Informatikhörsaal - ARCH-INF schriftlich03.06.2024 09:00 - 24.06.2024 23:59in TISSExam 4 WS
Di. - 21.01.2025schriftlich29.12.2024 00:00 - 17.01.2025 23:59in TISSExan 1 WS
Fr. - 21.03.2025schriftlich04.03.2025 00:00 - 17.03.2025 23:59in TISSExam 2 WS
Fr. - 23.05.2025schriftlich14.04.2025 09:00 - 16.05.2025 23:59in TISSExam 3 WS
Mi. - 25.06.2025schriftlich02.06.2025 09:00 - 23.06.2025 23:59in TISSExam 4 WS

LVA-Anmeldung

Von Bis Abmeldung bis
11.02.2016 00:00 13.03.2016 23:59 13.03.2016 23:59

Curricula

StudienkennzahlVerbindlichkeitSemesterAnm.Bed.Info
066 504 Masterstudium Embedded Systems Keine Angabe
066 507 Telecommunications Keine Angabe
066 931 Computational Intelligence Pflichtfach1. Semester
066 933 Information & Knowledge Management Pflichtfach
066 935 Medieninformatik Gebundenes Wahlfach1. Semester
066 936 Medizinische Informatik Gebundenes Wahlfach
066 937 Software Engineering & Internet Computing Gebundenes Wahlfach1. Semester
066 938 Technische Informatik Pflichtfach1. Semester
860 GW Gebundene Wahlfächer - Technische Mathematik Keine Angabe

Literatur

Folien und Übungsbeispiele siehe auf der Homepage der Lehrveranstaltung

Weitere Informationen

Sprache

Englisch