D120.de/forum

gib's heute keine sprechstunde? kein ansprechpartner zu finden im c-pool

3b: pr = 1/6 beim Initialisieren

4)a) Trainingsmenge
b) Shingling, Stemming, Case Folding
Bleibt beim Delta-Encoding nicht der Grundtermmenge gleich? Es werden doch bloß die Auftrittsstellen effizienter
gespeichert.

Danke, hat sich vorerst erledigt.

Ah vielen Dank, jetzt wird es uns klar

In der Aufgabe H1 vom 5. Übungsblatt setzt sich die Trägermenge des Herbrandmodells aus T_0 und T_n+1 zusammen.
Laut Definition sollte die Trägermenge lediglich aus T_0, also einer variablefreien Termstruktur bestehen.
Wieso wurde das so gelöst?

danke für die antworten

Hallo,

Bei der Bearbeitung der 7. FGDI2-Übung fiel uns auf, dass bei der Aufgabe G1 die Quantor-Regeln
nicht so angewendet wurden, wie sie im Script definiert wurden:

Wieso bleibt in der Formel, auf welche man eine Quantorenregel angewendet hat, die Teilformel mit
dem Quantor stehen?

Gruß

Hallo,
werden die offiziellen Lösungen für Unity-Übung 4 noch veröffentlicht?
mfG

Anscheinend ist ein Login mit Passwort für den Zugang zum aktuellen Übungsmaterial erforderlich.
Könnten mir diese bitte freundlicherweise mitgeteilt werden (PN)?
Danke im Voraus.

Nein und ja, in der Reihenfolge. :) Die angegebene Definition eines geordneten Baumes ist exakt. Trifft diese Eigenschaft nicht zu, so ist der Baum nicht sortiert. Ändert man die Implementierung so, dass identische Elemente im linken Teilbaum wandern statt im rechten, bleibt der Baum sortiert und e...

hallo,
wir suchen noch einen motivierten mitstreiter für die übungen. bei interesse pn.
gruß

erledigt

bitte um eine pm mit fotos.
bei mir steht im tucan nix zu den noten. musste man sich dafür für die verstanstaltung angemeldet haben?

in der Musterlösung steht, dass phi1 bereits in Skolemform ist. Wenn ich http://de.wikipedia.org/wiki/Skolemform richtig verstanden habe, wird vor der Skolemisierung gepränext und bereinigt, d.h. Implikationen müssten aufgelöst werden und gebundene Variablen ersetzt werden oder? Wie kann sich phi1 d...

ich wurde leider übersehen.
könnte mir bitte jemand freundlicherweise die ergebnisse zuschicken?
dankeschön