D120.de/forum

Guten Tag,

muss man bei der Klausur bei A * den Weg zurück zum Eltern-Knoten berücksichtigen? Falls der Graph nicht gerichtet ist.

Viele Grüße
Luís

wieso würde das noch nicht beantwortet??

Guten Tag,

Wenn ich den Begriff von Metavariablen richtig verstanden habe benuzten wir σ als eine Metavariable, die für ein Element der Menge alle Möglichen Zustanden steht. Wieso ist aber σ nicht ein Metavariabel, wenn wir z.B. Grundinstanzen betrachten?

vielen Dank im Voraus,

Guten Tag, Ich bin ein bisschen verwirrt mit dem Zusammenhang von Regeltermen und die Induktion über Herleitung. Nach definition von Regeltermen darf sowohl bei der Konklusion als auch bei der Prämissen kein Metavariable auftauchen. Bei der Induktion über Herleitung dürfen die Termen Metavariablen e...

Super, Vielen Dank!

Guten Tag,

Ich wurde gern wissen ob den Wert 1 auf eine unbekannte Adresse geschrieben wird oder ob 1 auf die Adresse ABCDEF01 geschrieben wird, da die Adresse und den Wert im Selben Takt übernommen werden.

Vielen Dank im Voraus

Super, Danke!

Im 4.Hausübung kam "Geben Sie für jede dieser Formeln ein Herbrand-Modell an", sonst nichts mehr was das Wort Herbrand hat.
Herbrandnormalform ist aber was anderes

Haben wir dieses Semester Herbrandnormalform behandelt?
Im Skript kommen wir von Skolemisierung zum Satz von Herbrand und Herbrand-Modell. Ich erinnere mich nicht daran, die Herbrandnormalform im Vorlesung gesehen zu haben... wurde es dieses Semester doch behaldelt?

danke im Voraus

So weit ich die Semantik verstanden habe macht out .add( i ); (zeile 13) auch nicht viel sinn, denn diesen Node wird als argument für die rekursive Aufruf gegeben und da er nicht in h steht wird er dann noch mal zu out hinzugefügt, oder nicht?

Hallo, der Methode getNodeListRek benutzt i.isVisited() in der if anweisung. Der methode selbst ändert nicht die wert von isVisited wenn er ein Node besucht, sonder nimmt er den Node nur zu die hashmap h hinzu. sollte die if klausel nicht von die presenz der Node in H abhängen? vielen Dank in Voraus