Die Suche ergab 77 Treffer

von linn
18. Okt 2009 12:10
Forum: Archiv
Thema: Übung 0 - Aufgabe 3
Antworten: 6
Zugriffe: 644

Re: Übung 0 - Aufgabe 3

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!?
von linn
14. Okt 2009 10:21
Forum: Archiv
Thema: Passwort
Antworten: 79
Zugriffe: 5987

Re: Passwort

Mir bitte auch mal wer das pw schicken
von linn
12. Okt 2009 14:41
Forum: Archiv
Thema: login für die hp
Antworten: 17
Zugriffe: 1601

Re: login für die hp

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
von linn
12. Okt 2009 14:28
Forum: Archiv
Thema: login für die hp
Antworten: 17
Zugriffe: 1601

login für die hp

Hab die Vorlesung heut verrafft... kann mir bitte wer den login für die folien schicken?
Wurd was zur Vorlesung gesagt?
von linn
7. Okt 2009 01:25
Forum: Archiv
Thema: FGdI 2 Ergebnisse
Antworten: 97
Zugriffe: 5140

Re: FGdI 2 Ergebnisse

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

o.arenz bei gmx deutschland
von linn
30. Sep 2009 20:04
Forum: Archiv
Thema: FGDI 2 - Die zweite...
Antworten: 76
Zugriffe: 5084

Re: FGDI 2 - Die zweite...

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...
von linn
29. Sep 2009 16:36
Forum: Archiv
Thema: Klausur 09/ Aufgabe 2c
Antworten: 26
Zugriffe: 2085

Re: Klausur 09/ Aufgabe 2c

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 { \...
von linn
29. Sep 2009 16:29
Forum: Archiv
Thema: Klausur 09/ Aufgabe 2c
Antworten: 26
Zugriffe: 2085

Re: Klausur 09/ Aufgabe 2c

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...
von linn
29. Sep 2009 16:12
Forum: Archiv
Thema: Klausur 09/ Aufgabe 2c
Antworten: 26
Zugriffe: 2085

Re: Klausur 09/ Aufgabe 2c

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...
von linn
29. Sep 2009 16:04
Forum: Archiv
Thema: Klausur 09/ Aufgabe 2c
Antworten: 26
Zugriffe: 2085

Re: Klausur 09/ Aufgabe 2c

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...
von linn
29. Sep 2009 15:48
Forum: Archiv
Thema: ss09 klausur aufgabe 5
Antworten: 5
Zugriffe: 580

Re: ss09 klausur aufgabe 5

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.
von linn
29. Sep 2009 15:37
Forum: Archiv
Thema: Klausur 09/ Aufgabe 2c
Antworten: 26
Zugriffe: 2085

Re: Klausur 09/ Aufgabe 2c

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...
von linn
9. Sep 2009 14:11
Forum: Archiv
Thema: Hab keinen Zugriff für die Seite
Antworten: 4
Zugriffe: 469

Re: Hab keinen Zugriff für die Seite

danke, funtzt
von linn
9. Sep 2009 13:18
Forum: Archiv
Thema: Hab keinen Zugriff für die Seite
Antworten: 4
Zugriffe: 469

Hab keinen Zugriff für die Seite

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...
von linn
3. Sep 2009 17:16
Forum: Archiv
Thema: klausur SS0 Aufgabe 4
Antworten: 1
Zugriffe: 307

klausur SS0 Aufgabe 4

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...

Zur erweiterten Suche