Editing TU Wien:Formale Methoden der Informatik VU (Egly) (section)

== Übungen ==
Die LVA wird zwar als VU abgehalten, die Übungsaufgaben sind aber nicht (mehr) verpflichtend und haben auch keinen Einfluss auf die Note. Es gibt zu jedem Block ein Übungsblatt mit je zehn Beispielen. Diese Beispiele sind freiwillig zu bearbeiten - es gibt vor jeder Deadline eine dedizierte Fragestunde. Wenn Beispiele abgegebenen werden, erhält man auch Feedback. Nach der Deadline gibt es einen Termin, an dem die Musterlösungen präsentiert werden. Es empfiehlt sich aber dennoch, die Übungen zu machen, weil der viele Stoff für die Prüfung sonst garantiert zuviel wird. Viele Übungsaufgaben sind sehr (!) zeitaufwendig (vor allem die des 2. Blocks).