Sie sind nicht angemeldet.

FSW16

Trainee

  • »FSW16« ist männlich
  • »FSW16« ist der Autor dieses Themas

Beiträge: 119

Registrierungsdatum: 25.06.2008

Wohnort: Hildesheim

1

24.08.2010, 17:57

Logik DPLL-Algorithmus

Hi,

im Repetitorium zur Logik-Klausur wurde erwähnt dass wir den DPLL-Alogorithmus können müssen, wenn ich das richtig mitbekommen habe. Nur leider finde ich in meinen Unterlangen keine einzige Aufgabe zu dem Algorithmus, sondern nur zum normalem Davis-Putnam-Allgorithmus.
Deswegen wollte ich fragen, ob jemand von euch eine Aufgabe+Lösung zu diesem Allgorithmus hat und mir schicken könnte. (Am besten wäre natürlich von der diesjährigen Vorlesung)

MfG FSW


Edit: Oder gibt es für den Algorithmus noch einen anderen Namen, weswegen ich ihn nicht in den Übungsblätter finde?

Dieser Beitrag wurde bereits 1 mal editiert, zuletzt von »FSW16« (25.08.2010, 16:09)


miata

Praktikant

  • »miata« ist weiblich

Beiträge: 20

Registrierungsdatum: 28.08.2010

2

29.08.2010, 11:23

Das kam einmal in der Vorlesung dran soviel ich weiß, hab was in den Unterlagen, müsste scannen.

Dieser Beitrag wurde bereits 1 mal editiert, zuletzt von »miata« (29.08.2010, 12:21)


miata

Praktikant

  • »miata« ist weiblich

Beiträge: 20

Registrierungsdatum: 28.08.2010

3

29.08.2010, 12:23

1. Seite: http://img830.imageshack.us/img830/8369/img041i.jpg (Algorithmus fängt unten an)

2. Seite: http://img90.imageshack.us/img90/6227/img042f.jpg

Ich hoffe man kann es lesen. :)

Dieser Beitrag wurde bereits 1 mal editiert, zuletzt von »miata« (29.08.2010, 12:24)


FSW16

Trainee

  • »FSW16« ist männlich
  • »FSW16« ist der Autor dieses Themas

Beiträge: 119

Registrierungsdatum: 25.06.2008

Wohnort: Hildesheim

4

29.08.2010, 12:44

Vielen Dank miata.