TU Wien:SAT Solving und Erweiterungen VU (Egly)

Aus VoWi
Zur Navigation springen Zur Suche springen

Daten[Bearbeiten | Quelltext bearbeiten]

Vortragende Uwe EglyKatalin Fazekas
ECTS 3
Alias SAT Solving (en)
Letzte Abhaltung 2023S
Sprache English
Mattermost sat-solving-und-erweiterungenRegisterMattermost-Infos
Links tiss:184090 , Homepage
Zuordnungen
Masterstudium Logic and Computation Wahlmodul Knowledge Representation and Artificial Intelligence
Masterstudium Software Engineering & Internet Computing Wahlmodul Formale Methoden und Theoretische Informatik
Masterstudium Technische Informatik Wahlmodul Computer-Aided Verification


Inhalt[Bearbeiten | Quelltext bearbeiten]

Transformationen in Normalformen, Circuit SAT, Quantified Boolean Formulas.

Ablauf[Bearbeiten | Quelltext bearbeiten]

WS10: Einstiegstest mit Wiederholungsmöglichkeit 3 Homeworks und manchmal ein Review davon. Zu zweit ein 30min Vortrag über ein von ihm zugewiesenes Paper (wegen anwesenden Austauschstudenten musste der Vortrag auf Englisch abgehalten werden).

Benötigte/Empfehlenswerte Vorkenntnisse[Bearbeiten | Quelltext bearbeiten]

Theoretische Informatik und Logik, Formale Methoden.

Vortrag[Bearbeiten | Quelltext bearbeiten]

Man merkt Prof. Egly an, dass ihn der Bereich wirklich fasziniert. Wenn man selbst nicht genauso begeistert ist sind die Vorträge aber einschläfernd. Wozu man das ganze brauchen kann wird nicht erwähnt und generell wirken die Vorträge zusammenhangslos.

Übungen[Bearbeiten | Quelltext bearbeiten]

3 Homeworks mit je 3 Beispielen wobei deren Schwierigkeitsgrad von einfach bis absolut unmöglich schwanken.

Prüfung, Benotung[Bearbeiten | Quelltext bearbeiten]

Bei den Beweisen holt man nur schwer Punkte raus. Der Vortrag dürfte insgesamt aber wichtiger sein und wird milde benotet. Insgesamt ist die Benotung dann doch sehr studentenfreundlich.

Dauer der Zeugnisausstellung[Bearbeiten | Quelltext bearbeiten]

SS10: 5 Wochen

Zeitaufwand[Bearbeiten | Quelltext bearbeiten]

3-4 Tage für den Vortrag. Eine Woche für den Einstiegstest wenn man Formale Methoden der Informatik VU (noch) nicht hat. Wenn man FM schon hat vielleicht nen Tag.

Die Homeworks benötigen beliebig viel Zeit. Eine "korrekte" Lösung findet man bei den Beweisen womöglich in 100 Jahren nicht. Also je nach eigenem "Interesse" bzw Ehrgeiz. 1-2 Tage pro Homework minimum.

Unterlagen[Bearbeiten | Quelltext bearbeiten]

noch offen

Tipps[Bearbeiten | Quelltext bearbeiten]

Prof. Egly hat gemeint, dass das Fach eigentlich für Studenten gedacht war, die in die Richtung eine Diplomarbeit/Diss schreiben wollen. Wenn man vorher keine Ahnung hat wie SAT Solver funktionieren und vor allem wozu man die überhaupt brauchen könnte, sollte man imho das Fach wirklich nicht machen! Man langweilt sich nur und lernt wirklich nichts dabei.

Highlights / Lob[Bearbeiten | Quelltext bearbeiten]

noch offen

Verbesserungsvorschläge / Kritik[Bearbeiten | Quelltext bearbeiten]

  • Seit Uwe Egly 3. Stellvertreter des Studiendekans ist, sind seine LVAs auch bei Interesse am Inhalt nicht mehr studierbar und sollten nur freiwillig besucht werden, wenn man der Mathematik recht zugetan ist. Alte Prüfungsangaben/Fragenkataloge und die Bewertung des Schwierigkeitsgrades sind komplett überholt.

Materialien

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