D120.de/forum

Hallo, ich möchte mir das Thema Kellerautomat doch noch grob beibringen und habe mal die Aufgabe 3 c) der Klausur gemacht. Meine Lösung ist folgende: P = ( {a,b}, {q}, {q}, delta, {q}, {#, alpha, beta}, # ) delta: { (q, #, a, alpha #, q), (q, #, b, beta #, q), (q, alpha, a, epsilon, q), (q, alpha, b...

Mit zweien könnt ihr schon mal rechnen.

Eine Klausur zu stellen nur damit sich jeder "Doofmann" freuen kann? Dieses "ihr freut euch doch wenn andere durchfallen" ist eine lächerliche alibi Aussage. Ja, sich zu freuen wenn andere durchfallen ist wirklich verdammt lächerlich. Freuen wir uns auf die nächsten Jahre wo jeder, egal ob gelernt ...

Sich einfach nur mal freuen ist nicht drin oder?

lara hat geschrieben:vielen Dank.

kann man auch von der Korrektheit ausgehen?

Leider nein.

levitin hat geschrieben: Wie kommt man eigentlich auf 9 her? nach meiner Rechnung die Ungleichung wird schon bei c >= 2,57 erfüllt?

Kann ich bestätigen.

Genau die gleiche Frage habe ich mir gerade auch gestellt. Im Cormen finde ich nur die Regeln: [a/b] nach oben abgerundet ist kleiner gleich (a+(b-1))/b und [a/b] nach unten abgerundet ist großer gleich (a-(b-1))/b Auf den Übungen wird diese Regel leider nicht verwendet und es sieht mir doch stark n...

yourmaninamsterdam hat geschrieben: Interessante Aufgabe jedenfalls...

Das triffts ganz gut

Moin, wie ists bei euch so gelaufen? Ich bin der Meinung, dass die Klausur um einiges schwerer war, als die der letzten Semester. Aufgabe 4 mit dem Herbrandmodell kam mir auch so noch nicht unter, wenn ich mich richtig erinnere. Von Aufgabe 5 mal ganz zu schweigen, wobei man die wahrscheinlich hätte...

yourmaninamsterdam hat geschrieben: \(a \rightarrow b = \neg a \wedge b\)

Das muss "oder" sein.

Hallo! Es gibt immer wieder mal eine Aufgabe, bei der man eine Folgerungsbeziehung mit dem Sequenzenkalkül beweisen soll. Zum Beispiel: Klausur Ws 05/06 Aufgabe 4 b): Beweisen Sie mit Hilfe des AL-Sequenzenkalküls, dass: ~(R v ~(P v Q)) |= (P v Q) & ~R Eine Sequenz P |- Q heißt ja allgemeingültig, w...

Danke!

Danke tigger! Sehr beruhigend. Ich weiß, das ufert langsam aus hier... Dennoch: Wenn ich Klauseln aus zwei verschiedenen Formeln mit zwei unterschiedlichen Skolemfunktionen (f und g) abgeleitet habe. Zum Beispiel: {Rxgx} und {~Rxfx} Darf ich die Bezeichnung einer Skolemfunktion anpassen, also f zu g...

Super, vielen dank! :) Hätte da noch eine weitere Frage und zwar geht es um die dritte Aufgabe der Klausur vom Sommersemester 07. Falls einer zufällig die Aufgabe gelöst hat und mir kurz sagen kann, ob das richtig ist, wäre ich sehr dankbar ;) http://www.naturpark-hessischer-spessart.de/admin/IMG_07...

Ich habe eine kurze Frage zur KNF Umwandlung folgender Formel: ~((P ^ Q) v (Q -> R)) Zunächst Implikation auflösen und Negation in die Klammern ziehen, ergibt: (~P v ~Q) ^ Q ^ ~R Ist das bereits eine KNF-Formel? Man würde die Klauseln {~P, ~Q} {Q} und {~R} bekommen. Verschiedene KNF-Generatoren lief...