TU Wien:Formale Methoden der Informatik UE (Kovacs)

Aus VoWi
Zur Navigation springen Zur Suche springen
Ähnlich benannte LVAs (Materialien):

Daten[Bearbeiten]

Vortragende Wolfgang Dvorak, Laura Kovacs, Georg Weissenbacher, Uwe Egly
ECTS 3
Abteilung Logic and Computation
Wann Wintersemester
Links tiss:185A93
Zuordnungen
Master Logic and Computation Wahlmodul Formal Methods in Computer Science
Master Software Engineering & Internet Computing Wahlmodul Formale Methoden und Theoretische Informatik
Master Software Engineering & Internet Computing Wahlmodul Formal Methods in Computer Science
Master Technische Informatik Pflichtmodul Formal Methods in Computer Science

Zuordnung im Master Software Engineering & Internet Computing

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. Mattermost: Channel "formale-methoden-der-informatik" Team invite & account creation link Mattermost-Infos

Inhalt[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]

Vorlesungen und 4 Übungsblätter, via TUWEL abzugeben. Keine Prüfung.

Benötigte/Empfehlenswerte Vorkenntnisse[Bearbeiten]

Formale Methoden der Informatik VU sollte parallel besucht werden.

Vortrag[Bearbeiten]

noch offen

Übungen[Bearbeiten]

noch offen

Prüfung, Benotung[Bearbeiten]

Keine Prüfung; Benotung basiert auf der Summe der Punkte auf die vier Übungsblätter.

Dauer der Zeugnisausstellung[Bearbeiten]

noch offen

Zeitaufwand[Bearbeiten]

noch offen

Unterlagen[Bearbeiten]

noch offen

Tipps[Bearbeiten]

noch offen

Verbesserungsvorschläge / Kritik[Bearbeiten]

noch offen

Materialien

Diese Seite hat noch keine Anhänge, du kannst aber neue hinzufügen.