Die Suche ergab 111 Treffer

von Kineese
1. Mai 2013 09:33
Forum: Archiv
Thema: Points per exercise
Antworten: 10
Zugriffe: 1218

Points per exercise

Wieviele Punkte können denn in jeder Übung erreicht werden?
von Kineese
29. Apr 2013 09:55
Forum: Archiv
Thema: Exercise 02 - Zip
Antworten: 2
Zugriffe: 312

Exercise 02 - Zip

Mosche, ich sitz gerade an der Zip-Aufgabe und derzeit laufen 8 von 12 spec.-Tests durch. Da wir ja keine Einsicht in diese habe würde ich gerne wissen was erwartet wird, wenn wir die zipadd , zip und addMatrix mit Listen unterschiedlicher Länge aufrufen. Soll einfach eine leere Liste ausgegeben wer...
von Kineese
10. Apr 2013 22:10
Forum: Software Engineering - Requirements
Thema: Vorlesung im SS 2013
Antworten: 0
Zugriffe: 593

Vorlesung im SS 2013

Findet die Vorlesung im Sommer-Semester 2013 statt?
von Kineese
10. Apr 2013 22:03
Forum: Archiv
Thema: Wird die Vorlesung im SS 2013 angeboten?
Antworten: 0
Zugriffe: 551

Wird die Vorlesung im SS 2013 angeboten?

Ich habe auf TU-Can nichts gefunden, deswegen frage ich hier, ob die Vorlesung im kommenden Semester (SS 2013) angeboten wird. Wurde im SS 2012 angeboten.

Danke
von Kineese
21. Sep 2011 19:09
Forum: Archiv
Thema: Ergebnisse
Antworten: 20
Zugriffe: 3763

Re: Ergebnisse

Kann mir jemand bitte die PDF zukommen lassen..
ich sehe bei mir FGdI 1 und 2 als zwei seperate veranstaltungen da ich PO 07 bin und finde die seite nicht oder ich bin einfach nur zu blind :oops:

saysu(at)gmx(dot)de

Danke!
von Kineese
2. Sep 2011 12:56
Forum: Archiv
Thema: Wie wars
Antworten: 15
Zugriffe: 2668

Wie wars

Na wie wars bei euch so?
Ich fand die Klausur sehr fair.
Die Aufgabe mit dem herbrandmodel war etwas tricky.. habs auch leider nicht komplett geschafft und die letzte Aufgabe fande ich echt.... strange :lol:
von Kineese
28. Aug 2011 16:34
Forum: Archiv
Thema: Prüfung Ws 07/08 Sequenzenregeln beweisen
Antworten: 28
Zugriffe: 3734

Re: Prüfung Ws 07/08 Sequenzenregeln beweisen

Ansonsten: irgendwie hänge ich gerade bei der 1b). Da komme ich für phi z.b. auf: ~( (~q v ~r) ^ (p v q v r) ) Ist das jetzt trotz der Negation am Anfang eine KNF/Klauselform? Ich wüsste nämlich nicht, wie ich da noch weitermachen soll... EDIT: Für Phi bin ich jetzt folgende Schritte gegangen (q an...
von Kineese
28. Aug 2011 11:24
Forum: Archiv
Thema: Klausur SS 07
Antworten: 8
Zugriffe: 1288

Re: Klausur SS 07

Die Aufgabe 3 habe ich mal ausgelassen, da die Skolemisierung eigentlich keine große Sache ist und der Rest nicht Klausurrelevant ist. Aufgabe 4: (a): (i) Ist Falsch, da \varphi nicht allgemeingültig ist gibt es eine Belegung die \neg\varphi erfüllt (ii) und (iii) verstehe ich nicht :oops: (b): \Gam...
von Kineese
28. Aug 2011 10:15
Forum: Archiv
Thema: Klausur SS 07
Antworten: 8
Zugriffe: 1288

Re: Klausur SS 07

Habe eben nochmal die Squenz \neg[(p \wedge q) \vee (q \to r)] \vdash \neg p \wedge q \wedge \neg r abgeleitet. Dieses mal habe ich jedoch die Linke seite etwas umgeformt: \neg(p \wedge q) \wedge \neg(\neg q \vee r) \vdash \neg p\wedge q \wedge \neg r Und habe es dann abgeleitet und kam zum Ergebnis...
von Kineese
27. Aug 2011 18:25
Forum: Archiv
Thema: Klausur SS 07
Antworten: 8
Zugriffe: 1288

Re: Klausur SS 07

Ja hatte da die negierung von Q in (notP or notQ) vergessen
von Kineese
27. Aug 2011 18:02
Forum: Archiv
Thema: Klausur SS 07
Antworten: 8
Zugriffe: 1288

Klausur SS 07

Hi! Ich hab gerade die Aufgabe 1 gemacht und da ist mir irgendwas komisch :D \varphi := \neg[(p \wedge q) \vee (q \to r)] \psi :=\neg p \wedge q \wedge \neg r KNF von \varphi ist (\neg p \vee \neg q ) \wedge q \wedge r KNF von \neg\psi ist, nach benutzung der Wahrheitstabelle für \neg\psi wo \neg\ps...
von Kineese
27. Aug 2011 17:17
Forum: Archiv
Thema: Prüfung Ws 07/08 Sequenzenregeln beweisen
Antworten: 28
Zugriffe: 3734

Re: Prüfung Ws 07/08 Sequenzenregeln beweisen

Okay. Nur, um es nochmal klarzustellen: Aufgaben wie die 2b und 2c können bei uns nicht drankommen? Also Klauselform und (Grundinstanzen-)Resolution in FO? Klausuelform in FO ist das gleiche wie in AL denke ich mal; sprich K \equiv \{C_{1} ,C_{2} ,... ,C_{n}\} \equiv C_{1} \wedge ... \wedge C_{n} n...
von Kineese
27. Aug 2011 16:39
Forum: Archiv
Thema: Prüfung Ws 07/08 Sequenzenregeln beweisen
Antworten: 28
Zugriffe: 3734

Re: Prüfung Ws 07/08 Sequenzenregeln beweisen

Außerdem: ich gehe mal davon aus, dass man die Sequenz unten aufs Blatt schreibt und sich dann nach oben vorarbeited (also quasi jeweils von der Konklusion zur Prämisse geht, so haben wir es zumindest in der Übung immer gemacht). Kann man dann einen "Ast" (also im Falle, dass man die Sequenz auftei...
von Kineese
27. Aug 2011 16:20
Forum: Archiv
Thema: Herbrandmodell und Skolemisierung
Antworten: 23
Zugriffe: 4051

Re: Herbrandmodell und Skolemisierung

Was bedeutet bei der Übung 12, G1 in der Musterlösung der Hinweis "Wenn man einen Quantor aus der Prämisse einer Implikation herauszieht, muss man ihn dualisieren!"? Kann mir vielleicht jemand ein Beispiel dazu geben? Ich verstehe nicht so ganz, was hier mit dem dualisieren gemeint ist. Wenn wir ei...
von Kineese
26. Aug 2011 19:31
Forum: Archiv
Thema: Klausur SS 2006
Antworten: 1
Zugriffe: 597

Re: Klausur SS 2006

Hallo, ich hab die Klausur mal in Ruhe durchgerechnet aber bin bei ein paar Aufgaben nicht weitergekommen: 1a) was genau zählt als relevante Subformel? Ich hab jeweils, wenn 2 Literale oder 2 bereits berechnete Subformeln verknüpft werden, eine neue Spalte erstellt 1b) wonach genau ist hier gefragt...

Zur erweiterten Suche