Übung 10

barracuda317
Endlosschleifenbastler
Endlosschleifenbastler
Beiträge: 187
Registriert: 12. Okt 2011 18:15

Übung 10

Beitrag von barracuda317 »

Hallo,

in Übung 10 Aufgabe 1 c) wird gefragt:
Welche Fakten tragen jeweils zu der positiven Antwort der Queries bei und
was haben diese Fakten mit dem EBL-Algorithmus zu tun?
Dass die verwendeten Fakten, die im Beweis vorkommen die Blätter des in b) gezeichneten Beweisbaums sind, ist mir klar.

Aber worauf zielt nun der zweite Teil ab: "was haben diese Fakten mit dem EBL-Algorithmus zu tun?"

ChristianWirth
BASIC-Programmierer
BASIC-Programmierer
Beiträge: 103
Registriert: 23. Okt 2012 11:12

Re: Übung 10

Beitrag von ChristianWirth »

Du hast die Antwort schon gegeben.
Antwort auf Teil 1: "Die Fakten, die im Beweis vorkommen"
Antwort auf Teil 2: "Diese sind die Blätter des Beweisbaumes"

barracuda317
Endlosschleifenbastler
Endlosschleifenbastler
Beiträge: 187
Registriert: 12. Okt 2011 18:15

Re: Übung 10

Beitrag von barracuda317 »

Achso, doch leichter als gedacht.

Danke.

Antworten

Zurück zu „Archiv“