TU Wien:Formale Methoden der Informatik UE (Kovacs)
Zur Navigation springen
Zur Suche springen
Ähnlich benannte LVAs (Materialien):
- Formale Methoden der Informatik UE (Lackner) (TU Wien, 0 Materialien)
- Formale Methoden der Informatik UE (Woltran) (TU Wien, 0 Materialien)
- Formale Methoden der Informatik VU (Egly) (TU Wien, 46 Materialien)
- Formale Methoden der Informatik UE (Kovacs) (TU Wien, veraltet, 1 Material)
Daten[Bearbeiten | Quelltext bearbeiten]
Diese LVA wird nicht mehr von dieser Person angeboten, ist ausgelaufen, oder läuft aus und befindet sich daher nur noch zu historischen Zwecken im VoWi.
Inhalt[Bearbeiten | Quelltext bearbeiten]
Vertiefende Übungen zu den Themengebieten aus Formale Methoden der Informatik VU:
- Complexity theory
- Satisfiability problems
- Deductive Verification of Programs
- Formal verification based on model checking
Ablauf[Bearbeiten | Quelltext bearbeiten]
Vorlesungen und 4 Übungsblätter, via TUWEL abzugeben. Keine Prüfung oder Abgabegespräch.
Benötigte/Empfehlenswerte Vorkenntnisse[Bearbeiten | Quelltext bearbeiten]
Formale Methoden der Informatik VU sollte parallel besucht werden, oder man sollte zumindest Zugriff auf die Unterlagen haben.
Vortrag[Bearbeiten | Quelltext bearbeiten]
Zu jedem Übungsblock gibt es einen Vortrag, in dem das Beispiel vorgestellt wird. Nach der Abgabe wird außerdem die Lösung besprochen.
Übungen[Bearbeiten | Quelltext bearbeiten]
Die Übungen behandeln die Themen aus der gleichnamigen VU aus einer praktischen Perspektive.
- Übung 1 (Computability and Complexity): 4-colorability auf SAT reduzieren und in Java mit Hilfe Sat4j lösen.
- Übung 2 (Satisfiability Modulo Theories): Formeln (Aussagen) mit Z3 beweisen.
- Übung 3 (Deductive Verification): Programmbeweise mit Dafny.
- Übung 4 (Model Checking): Prozesse und Semaphoren simulieren.
Prüfung, Benotung[Bearbeiten | Quelltext bearbeiten]
Keine Prüfung; Benotung basiert auf der Summe der Punkte auf die vier Übungen. Die Benotung und der Notenschlüssel sind recht human: 50%, 60%, 70% bzw. 80% ergeben 4, 3, 2 bzw. 1.
Dauer der Zeugnisausstellung[Bearbeiten | Quelltext bearbeiten]
noch offen
Zeitaufwand[Bearbeiten | Quelltext bearbeiten]
- WS 2019/20: Aufwand und Schwierigkeit schwankt zwischen den Aufgabenblättern. Die ersten drei benötigten in etwa 1-2 Tage, das vierte war in wenigen Stunden erledigt. In Summe wohl um die 50 Stunden.
- WS 2020/21: Ich habe die Zeit getracked und bin auch auf c.a 53 Stunden gekommen. Die Zeitaufteilung war ungefähr: Teil 1. 10h Teil 2. 25h Teil 3. 15h Teil 4. 3h. Wahrscheinlich wird man aber auf die 75h kommen, falls die VU nicht gleichzeitig besucht wird (Oder sie schon etwas lange zurück liegt).
Unterlagen[Bearbeiten | Quelltext bearbeiten]
noch offen
Tipps[Bearbeiten | Quelltext bearbeiten]
- Es werden Plagiatschecks durchgeführt. Plagiieren zahlt sich nicht aus.
- Die LVA kann entweder gemeinsam mit Formale Methoden der Informatik VU im Pflichtmodul Formal Methods in Computer Science oder mit min. 6 weiteren ECTS im Wahlmodul Formale Methoden und Theoretische Informatik verwendet werden, ist aber im Gegensatz zur gleichnamigen VU nicht verpflichtend.
Verbesserungsvorschläge / Kritik[Bearbeiten | Quelltext bearbeiten]
noch offen