Die Suche ergab 111 Treffer

von Kineese
24. Aug 2011 17:08
Forum: Archiv
Thema: Klausur und Aufteilung
Antworten: 1
Zugriffe: 584

Klausur und Aufteilung

Hallo,
wollte wissen ob es irgendwo eine Liste gibt wo die Raumaufteilungen für die Klausur stehen, bzw ob diese überhaupt schon vorhanden ist ;)

Gruß
von Kineese
24. Aug 2011 16:59
Forum: Archiv
Thema: Fehlende Bonuspunkte
Antworten: 2
Zugriffe: 585

Re: Fehlende Bonuspunkte

FGdI Website hat geschrieben:Eine neue Bonuspunkteliste ist in Tucan verfügbar.
Wo finde ich die? Ja klar im Tu-can't aber wo dort? Habe schon auf der Modulseite von FGdI nachgesehen aber nix gefunden.
von Kineese
20. Aug 2011 16:32
Forum: Archiv
Thema: Übung11
Antworten: 2
Zugriffe: 439

Re: Übung11

dschneid hat geschrieben:Nein, weil Wörter der Länge 0 ausgeschlossen sind.
Alles klar danke!
von Kineese
20. Aug 2011 14:37
Forum: Archiv
Thema: Übung11
Antworten: 2
Zugriffe: 439

Übung11

Hi! Hab mal ne Frage zu Gruppenübung 11 Aufgabe G3 a Dort sollen wir ja ermitteln was für eine Sprache die Formel definiert. Hier mal fix die Formel \forall x \forall y [x<y \to((P_{a}x \to P_{a}y) \wedge (P_{b}y \to P_{b}x))] In der MuLö steht, dass rechts von einem a, nur a's stehen düfen und link...
von Kineese
20. Aug 2011 12:00
Forum: Archiv
Thema: Prüfung WS 07 08
Antworten: 12
Zugriffe: 2165

Re: Prüfung WS 07 08

Habe jetzt auch mal eine Frage zu der Aufgabe 1 a. Ich hab phi auf zwei unterschiedlichen wegen mal vereinfacht, sprich die implikation raus gekommen und ich bekomme bei einer Variante das Ergebnis dass phi allg.gültig ist und beim anderen halt nicht.... Habs versucht mit Wolfram-Alpha anzeigen zu l...
von Kineese
20. Aug 2011 11:26
Forum: Archiv
Thema: Probleme mit SVN?
Antworten: 0
Zugriffe: 643

Probleme mit SVN?

Hi!
Wollte mal fragen ob es nur bei unserer Gruppe das Problem ist oder ob es auch andere Gruppe betrifft,
aber irgendwie ist der SVN-Server seit knapp 3 Tagen offline.


Gruß
von Kineese
19. Aug 2011 14:28
Forum: Archiv
Thema: Prüfung WS 07 08
Antworten: 12
Zugriffe: 2165

Prüfung WS 07 08

Hi! Ich bin gerade dabei die alte Klausur zu machen Link zu klausur findet ihr hier: http://d120.de/forum/download/file.php?id=1001 Bin mittlerweile bei Aufgabe 2 a: Bei der \neg\psi =\neg(\exists x \exists y (R_{xy} \land P_{x} \land P_{y})) habe ich als Ergebnis \neg \psi = \forall x \forall y (\n...
von Kineese
18. Aug 2011 16:51
Forum: Archiv
Thema: Quotientenkriterium
Antworten: 4
Zugriffe: 853

Re: Quotientenkriterium

Also kann nach belieben \(|\frac{a_{n+1}}{a_{n}}|\) oder \(|\frac{a_{n}}{a_{n+1}}|\) anwenden?
von Kineese
16. Aug 2011 08:38
Forum: Archiv
Thema: Nachweis einer Sequenzregel
Antworten: 9
Zugriffe: 2031

Nachweis einer Sequenzregel

Hallo!
Bei Übungsplatt 10 Aufgabe G2 soll man die semantische Korrektheit der Regel nachweisen.
Reicht es denn auch wenn ich zeige dass \((\phi \to \psi) \to \phi \equiv \phi\) ist, oder muss ich dafür mit Beleugngen argumentieren?
von Kineese
14. Aug 2011 14:47
Forum: Archiv
Thema: Fragen zur Klausur
Antworten: 2
Zugriffe: 506

Re: Fragen zur Klausur

Danke dir!
von Kineese
14. Aug 2011 10:14
Forum: Archiv
Thema: Fragen zur Klausur
Antworten: 2
Zugriffe: 506

Fragen zur Klausur

Hi!
Wollte mal wissen was wir alles zur Klausur mitbringen dürfen.

Gruß
von Kineese
11. Aug 2011 22:05
Forum: Archiv
Thema: Klausur & Mitbringsel
Antworten: 2
Zugriffe: 628

Re: Klausur & Mitbringsel

Wunderbar danke!
von Kineese
11. Aug 2011 16:34
Forum: Archiv
Thema: Klausur & Mitbringsel
Antworten: 2
Zugriffe: 628

Klausur & Mitbringsel

Hi!
Ich wollte mal fragen was wir alles zur Klausur mitbringen können. Soweit ich weiß darf man das Skirpt und die Übungen mitbringen. Dürfen/Brauchen wir das Mathe I skript?
von Kineese
7. Aug 2011 15:13
Forum: Archiv
Thema: AspectJ-Frage
Antworten: 11
Zugriffe: 1186

Re: AspectJ-Frage

Normal muss der Typ und die Variable im Advice benannte werden und die Variable an den pointcut weiter gereicht werden, ja. Funktioniert das nicht? Ja genau so seh ichs auch :) aber leider ist es nicht so in den Folien. Ich habs mal "verbessert" aspect AccountCharging perthis(accountOp(Account)) { ...
von Kineese
7. Aug 2011 15:04
Forum: Archiv
Thema: AspectJ-Frage
Antworten: 11
Zugriffe: 1186

Re: AspectJ-Frage

Hi! Ich hab da auch nochmal eine Frage zu AspectJ. In den AOP-Folien wird auf S.95 das perthis(<pointcut>) vorgesellt. Ich habe versucht das mal nachzubauen und habe festgestellt, dass der Beispielcode auf der Folie recht unvollständig ist. aspect AccountCharging perthis(accountOp()) {...} accoutnO...

Zur erweiterten Suche