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

== Verbesserungsvorschläge / Kritik ==
* Eine furchtbare Lehrveranstaltung. Eigentlich sind es vier 3ECTS Lvas, welche in eine 6ECTS LVA gepfercht wurden. Auch mit solider Vorbereitung (>= 2 Monate) kann für Studierende, die sich mit der Materie schwer tun, die Prüfung ein Glücksspiel bleiben. Warum diese LVA außerdem eine VU ist, ist mir schleierhaft. Der Übungsteil ist freiwillig und trägt in keinster weise zur Note bei.
* Schwierigste LVA im ganzen Masterstudium. Vorallem der Egly Teil (2) ist äußerst komplex und man hat das Gefühl, Egly glaubt Logik sei trivial.
* From a didactical perspective the course is a catastrophe. Some topics (especially in block 2) are barely or very badly explained but need to be understood in detail to avoid getting deducted large amounts of points during the exam. Knowledge that is critical for the exam is often difficult to find in the slides. Sometimes exercises that even the lecturers/tutors have a hard time explaining in reasonable time are given in an exam. Relatively many of the exams contain exercises that are accidentally contradictory, wrong (there is an exercise in a 2018 exam that directly contradicts the slides) or very badly formulated. In contrast to that you can easily get deducted large amounts of points for small errors, which gives you the feeling that there is a certain hypocrisy. The situation is not made better by the fact that four professors, each with different grading standards, work on the exams. Egly, for example, happily deducts relatively large numbers of points for imprecise/slightly incorrect solutions, while imprecision and slight incorrections are handled much more forgiving in the other blocks. Overall, I had the feeling that the course is much about gambling for a reasonable exam and less about actual knowledge. During the course you occasionally hear from the lecturerers/tutors that "oh the students don't want to learn" or that "the students just want to learn this by heart, you can't do this here, you have to understand it". IMO the lecturers/tutors are shifting the blame for an unnecessarily large number of failing students while avoiding to meaningfully improve the course. A friend of mine and me found the course very difficult (especially finding out whether a theory we had on the subject matter was true or not) despite always being in the top 10% of students and always learning by understanding the subject matter. That being said, looking at previous material, there have certainly been several considerable improvements (e.g. making the exercises in the exam less a hit or miss) in the last few years.
* Insteresting lecture for students of Logic and Computation and while part 1 and 3 are somehow relevant for others master programs, part 2 and 4 should be removed for non L&C students.
* It should follow the exam mode of Bachelor courses with the exercises counting towards points of the final grade but not being mandatory to pass the course. If it was like this, the course would be fine as it is.

[[Kategorie:Theoretische Informatik und Logik]]