Fachrat Informatik - Forum

Hallo,

ich bin gerade beim Lernen für die mündliche Prüfung in den Übungen auf einige Themen gestoßen, die nicht im Skript erwähnt wurden:

- Übung 6, Aufgabe 1: "Tseitin Formeln"
- Übung 9, komplette Übung

Weiß jemand, ob diese Themen auch Prüfungsrelevant sind?
Und kann mir vielleicht auch jemand die Mitschriften zu den Übungen über die Frege-Systeme geben (Übung 7 und 8 waren das)? Das wäre sehr nett.
danke schonmal im Voraus,

Jan

Verdammte Axt! Ich habe übermorgen Prüfung, habe das Skript vor 2 Wochen runtergeladen und jetzt die ganze Zeit mit der veralteten Version gelernt!

Quoted

...nun findest Du die aktuelle im Netz

Ja? Wo muss ich denn da suchen? Auf der Seite zur Vorlesung (http://www.thi.uni-hannover.de/lehre/ws07/ab/) steht jedenfalls noch die alte Version, hab ich gerade probiert! Und bei StudIP gibts gar nix. Hab ich jetzt einfach Pech gehabt, weil ich bei 2 Veranstaltungen nicht da sein konnte ?
Danke für die Info zu den Tseitin Formeln. Habe mir das Paper runtergeladen. Meine Übungen hab ich jetzt doch noch gefunden :-)

Jan

Danke fürs Skript Mirko.

Hier ein kleines Gedächtnisprotokoll, falls es noch hilft:
Er hat zu den Resolutionsstrategien nix gefragt, wollte nur den Davis Putnam Algorithmus hören. Das Cook-Reckov Programm schien ihm sehr wichtig zu sein (konnte ich leider nicht). Ich sollte sagen, wie das abläuft, und wozu es gut ist (Annäherung an P-NP-Problem) usw.. Er hat auch noch nach dem Zusammenhang zwischen Tautologien und Erfüllbarkeit von Formeln gefragt. Frege-Systeme sollte ich auch noch erläutern, und auch was ein Frege Beweis ist. Und ganz zu Anfang wollte er noch wissen, was ein Beweissystem ist. In dem Zusammenhang hat er auch nach der erweiterten Resolution gefragt (sollte da ziemlich detailliert erklären, wie sich diese zu Phi erfüllbarkeitsäquivalente Klauselmenge Gamma_phi zusammensetzt). Und dann wollte er noch wissen wie die Resolution überhaupt abläuft. Es schien ihm wichtig zu sein, dass man die Grundlagen sicher beherrscht (Resolution, Erfüllbarkeit, Klauselmengen, Tautologien). Beispielsweise solltest du erklären können was "Phi |= phi" bedeutet, wenn Phi eine Formelmenge u. phi eine Formel ist.