D120.de/forum

Was ist bei 3.2 mit der "Gesamtsituation der
Gefäße" gemeint?

Und Bei Aufgabe 2, frag ich mich warum man überhaupt irgendwas von den Kästchen oder Pfeilen nicht formalisieren können sollte!?

Mir bitte auch mal wer das pw schicken

Osterlaus hat geschrieben:Die Vorlesung hat erst zwei Minuten nach deinem Post begonnen

jo schaffs aber ned mehr rechtzeitig zur uni :/

Danke für die PNs

Hab die Vorlesung heut verrafft... kann mir bitte wer den login für die folien schicken?
Wurd was zur Vorlesung gesagt?

mir bitte auch wer die bilder schicken, ich schick sie dann auch weiter...

o.arenz bei gmx deutschland

Ich finds ne riesen Schweinerei! Bei der ersten Klausur hat ich nach ner halben stunden die ersten beiden Aufgaben fertig und min. 90% korrekt, d.h schon fast bestanden... Bei der von heute hatte ich nach den 1,5 Stunden nur minimal mehr Punkte.. so 24+-5... und hoffe das es am Ende noch reicht! Ich...

Ok, dann is meine Klauselmenge ja auch richtig, oder?! Wenn ich dann meine Umformung verwende, wird die GI-Resolution nur ein Einzeiler?! (siehe voherigen Eintrag von mir) :shock: ((\neg \varphi \vee \psi) \wedge (\varphi \vee \neg \psi)) Die Klauseln in dem Bsp sind { \neg \varphi , \psi } und { \...

In den Folien S.7 steht doch: \varphi \leftrightarrow \psi := ((\neg \varphi \wedge \neg \psi) \vee (\varphi \wedge \psi)) Da sind doch innen Und-Verknüpfungen...oder steh ich da grad aufm Schlauch??? :oops: ((\neg \varphi \wedge \neg \psi) \vee (\varphi \wedge \psi)) = ((\neg \varphi \vee \psi) \w...

Meine Klauselmenge unterscheidet sich irgendwie von euren?! Bekomm bei der ersten Formel \varphi_1 die Klauseln: {!Rxy},{!Px,!Qy},{Px,Qy} Meine Rechnung (Quantoren weggelassen, + = oder, * = und): Rxy -> (Px <-> Qy)= !Rxy + ((!Px * !Qy) + (Px * Qy))= !Rxy + (!Px * !Qy) + (Px * Qy) |(Assoziativgeset...

Meine Klauselmenge: {!Rxy, Px, !Qy}, {!Rxy, !Px, Qy}, {Rxfx}, {Pfx}, {!Pc}, {!Qy, !Py, Rxy} Man kann in jeder Klausel x durch was anderes substituieren, man muss nur innerhalb einer Klausel jedes x durch dasselbe substituieren. Also kann ich hier auch bei den ersten beiden Klauseln ( {!Rxy, Px, !Qy...

würds so schreiben:
\(\forall j \exists i\) pi,j \(\rightarrow \exists x \exists y \exists j ( \neg (x=y) \land\)px,j\(\land\)py,j )
mit 1<=i<=n+1 und 1<=j<=n

pi,j bedeutet Buch i liegt in Schublade j.

Ich hab mit den GI-Klauseln bei Formelmengen allgemein ein Verständnisproblem: Wenn mehrere Formeln aus der Menge die gleiche Variable quantifizieren, sind die doch eigentlich unabhängig voneinander, oder? Aber z.B. bei: phi1: \forall x (Px) phi2: \forall x (Rx) hat man dann ja die Klauseln {Px},{Rx...

danke, funtzt

Moin, Ich komm irgendwie nicht mehr ins vpn und damit nicht mehr an die Gdi2-materialien... Weder die HRZ-Kennung die das ganze Semester funktioniert hat, noch die neue TU-ID tuts. Da ich den Kram dringend zum lernen brauch, wärs nett wenn mir jemand entweder die htaccess-zugangsdaten gibt, oder mir...

Beantworten Sie folgende Fragen jeweils mit einer kurzen aber klaren Begründung: (a) Gibt es bisauf logische Äquivalenz nur endlich viele Formeln in ALn ? (b)Gibt es bisauf logische Äquivalenz mehr erfüllbare oder mehr unerfüllbare Formeln in ALn ? (c) Für welche Signaturen S ist die Menge der vari...