Die Suche ergab 49 Treffer

von Synex
7. Apr 2008 00:23
Forum: Archiv
Thema: Suchen weitere Leute für Gruppe
Antworten: 0
Zugriffe: 499

Suchen weitere Leute für Gruppe

Hallo,
Bis jetzt besteht unsere Gruppe für die Übungen aus zwei Leuten. Wir suchen noch 1-2 Leute.
Wenn Interesse besteht, könnt ihr euch bei uns melden (PN).
von Synex
29. Nov 2007 11:27
Forum: Archiv
Thema: Suche neue Gruppe!
Antworten: 0
Zugriffe: 553

Suche neue Gruppe!

Hallo,

leider hat sich meine Gruppe aufgelöst. Nun suche ich eine neue Gruppe, an die ich mich anschließen kann.

Falls Ihr Interesse habt, schreibt einfach eine PN.

Markus
von Synex
18. Sep 2007 00:42
Forum: Archiv
Thema: Übung 10
Antworten: 1
Zugriffe: 810

Hi,
ich gehe mal davon aus du meinst die Übung 10, Aufgabe G29.

Ganz einfach: xi,j = (ih, jh) für 1 <= i,j <= N

MFG
von Synex
5. Sep 2007 15:18
Forum: Archiv
Thema: Skolemisierung einer Formelmenge
Antworten: 2
Zugriffe: 1274

ah..okay..danke
von Synex
5. Sep 2007 15:14
Forum: Archiv
Thema: Aufgabe 7 aus Klausur (Herbrand)
Antworten: 3
Zugriffe: 1189

Aufgabe 7 aus Klausur (Herbrand)

Hi, In der Klausur (weiß jetzt nicht von wann) kam eine Herbrand Aufgabe dran, womit ich jetzt noch nicht ganz klar komme. Ich finde einfach kein Herbrandmodell. Kann mir jemand helfen? Vlt. hat schon einer diese Aufgabe gelöst und könnte mir mal seine Lösung zukommen lassen! Nochmal die Aufgabenste...
von Synex
5. Sep 2007 01:16
Forum: Archiv
Thema: Skolemisierung einer Formelmenge
Antworten: 2
Zugriffe: 1274

Skolemisierung einer Formelmenge

Hi,

ich bin mir gerade nicht sicher wie das ist, wenn man eine Reihe von FO(S) Sätzen hat und diese skolemisieren soll. Muss man in unterschiedlichen Sätzen unterschiedliche Skolemkomstanten und -funktionen verwenden (siehe auch Klausur)?
von Synex
19. Aug 2007 15:24
Forum: Archiv
Thema: Übung 7 1a)
Antworten: 2
Zugriffe: 1077

Es gilt generell \(\neg \forall x Rxy \) ist äquivalent zu \(\exists x \neg Rxy \).
Wenn du jetzt das Implizit auflöst und obiges entsprechend benutzt kommt die Musterlösung raus...


MFG
von Synex
14. Aug 2007 16:15
Forum: Archiv
Thema: G11 Kubische Splines
Antworten: 1
Zugriffe: 1134

Das gilt bei äquidistanten Stützstellen. Ansonsten sind Abstände über hi = xi+1 -xi zu ermitteln und dann hat man andere Koeffizienten auf der Tridiagonalen.
von Synex
30. Jul 2007 17:41
Forum: Archiv
Thema: Ergebnisse Online...
Antworten: 9
Zugriffe: 1974

Jetzt kann ich morgen nicht zu der Einsicht kommen...gibt es nicht einen zweiten (Ausweich-)Termin?
von Synex
30. Jun 2007 01:05
Forum: Archiv
Thema: p8-passed?
Antworten: 19
Zugriffe: 3577

prüfe mal den String ""


MFG
von Synex
29. Jun 2007 16:51
Forum: Archiv
Thema: P8 - Fehler im NoTest ...?!
Antworten: 6
Zugriffe: 1506

Bekomme auch den Fehler: The <junit> type doesn't support the "outputtoformatters" attribute.

Woran lag's bzw. wie bekommt man das Testsystem zum laufen?

MFG


Ist jetzt auch egal..ich hab das Praktikum mal hochgeladen und bist auf einen Fehler bei den Exceptions läuft's.
von Synex
19. Mai 2007 16:37
Forum: Archiv
Thema: Fehler beim hochladen
Antworten: 13
Zugriffe: 1177

ah..okay..
von Synex
19. Mai 2007 16:09
Forum: Archiv
Thema: Fehler beim hochladen
Antworten: 13
Zugriffe: 1177

Nur so wie ich das interpretiere liegt das an der NoTest und die ist vorgegeben ??
von Synex
19. Mai 2007 15:49
Forum: Archiv
Thema: Fehler beim hochladen
Antworten: 13
Zugriffe: 1177

/NoTest.java:13: exception java.io.IOException is never thrown in body of corresponding try statement

..woran liegt das?
von Synex
19. Mai 2007 10:45
Forum: Archiv
Thema: Fehler beim hochladen
Antworten: 13
Zugriffe: 1177

Fehler beim hochladen

Hey... kann mir einer mal sagen, was da schief gegangen ist. Eigentlich hab ich alles wie immer hochgeladen??? Hab jetzt zweimal den Fehler bekommen: Testrun for upload 3999 Unpacking and compiling of your files successful Compiling our tests against your code failed Praktikum_X.java must be in the ...

Zur erweiterten Suche