Die Suche ergab 63 Treffer

von Der_olle_Schwoebel
11. Jul 2009 10:27
Forum: Archiv
Thema: H3.3
Antworten: 3
Zugriffe: 384

Re: H3.3

Wenn du zeigen willst, dass eine Formel Allgemeingültig ist, dann zeigst du, dass das Negat der Formel nicht erfüllbar ist (also Beweis durch Widerspruch wenn du so willst).

Also erstmal in Skolemnormalform bringen, dann negieren und dann kannst du in einem Schritt daraus die leere Menge ableiten.
von Der_olle_Schwoebel
6. Jul 2009 11:16
Forum: Archiv
Thema: Testat, wie oft?
Antworten: 34
Zugriffe: 1352

Re: Testat, wie oft?

Durfte nur 3x kommen.. verwunderlich eigentlich, weil ich schwören könnte mit einem gewissen "L. Schwoebel" eine Ähnlichkeit von 100% zu haben..
von Der_olle_Schwoebel
2. Jul 2009 10:04
Forum: Archiv
Thema: P5 Step 5
Antworten: 10
Zugriffe: 843

Re: P5 Step 5

Versucht mal, falls nicht schon getan, "echte" Kopien der Liste anzulegen um sicherzugehen, dass ihr wirklich die Originalliste unangetastet lasst. Also nicht List<Coordinate> sortedX = agents; sondern sowas: List<Coordinate> sortedX = new ArrayList<Coordinate>(); sortedX.addAll(agents); Sonst werde...
von Der_olle_Schwoebel
17. Jun 2009 08:31
Forum: Archiv
Thema: Hausaufgabe 1.4 - minimale Belegung
Antworten: 8
Zugriffe: 1946

Re: Hausaufgabe 1.4 - minimale Belegung

Das hier ist ein praktisches Beispiel und ziemlich gut erklärt meiner Meinung nach:
http://www.onli-blogging.de/index.php?/ ... thmus.html
von Der_olle_Schwoebel
10. Jun 2009 13:09
Forum: Archiv
Thema: P4 - Step 2c - Sekundäres Sortierkriterium
Antworten: 1
Zugriffe: 262

P4 - Step 2c - Sekundäres Sortierkriterium

Hi, ich verstehe bei diesem Schritt nicht ganz, was bei den Tests als Ergebnis erwartet wird in Bezug auf das sekundäre Sortierkriterium (interval.start als Primäres und Agentennamen als sekundäres). Beim Testfall testRightMidDeep() wird folgendes hinzugefügt: tree = c.add(tree, new Interval(5, 6), ...
von Der_olle_Schwoebel
27. Mai 2009 09:20
Forum: Archiv
Thema: Übung 5 Aufgabe 3 - Dateien?
Antworten: 2
Zugriffe: 134

Re: Übung 5 Aufgabe 3 - Dateien?

Ich könnte schwören, vorhin waren die noch nicht da.. Nungut, danke :)
von Der_olle_Schwoebel
27. Mai 2009 08:47
Forum: Archiv
Thema: Übung 5 Aufgabe 3 - Dateien?
Antworten: 2
Zugriffe: 134

Übung 5 Aufgabe 3 - Dateien?

Hi, wo genau sind denn die Dateien von den Bildern? Die Bilder im Anhang könnte ich vielleicht rauskopieren per Screenshot, aber bei der Qualität wird man damit auch nicht weit kommen. Die Links zu den Modell-Dateien habe ich ja noch herausfinden können http://tahiti.mis.informatik.tu-darmstadt.de/h...
von Der_olle_Schwoebel
6. Mai 2009 22:19
Forum: Archiv
Thema: Problem mit dem Hochladen des Praktikum
Antworten: 2
Zugriffe: 255

Re: Problem mit dem Hochladen des Praktikum

mit RAR, ZIP, und JAR die Dateien komprimiert, Hast du auch schonmal versucht NUR die Surveillance.java hochzuladen? Die Testsfälle sind ja immer dieselben, es würde auf dem Server also unnötig Speicherplatz schlucken, wenn die jeder Student einzeln hochläd. Beim Praktikum 0 wäre das dann also nur ...
von Der_olle_Schwoebel
6. Mai 2009 14:10
Forum: Archiv
Thema: Problem 1
Antworten: 65
Zugriffe: 3636

Re: Problem 1

Hab knapp 1.3s @C2D 2.0 GHz. Ist aber nur darauf "optimiert" die Tests zu bestehen, hab da (noch) nicht so die Motivation ;) @Martin: Schonmal was von Variablen und Ergebnisse zwischenspeichern gehört? :lol: Guck mal ob du ein paar Funktionen nicht mehrfach aufrufst, obwohl du jedesmal eigentlich da...
von Der_olle_Schwoebel
6. Mai 2009 09:37
Forum: Archiv
Thema: Problem 1 - Intverall
Antworten: 22
Zugriffe: 912

Re: Problem 1 - Intverall

Hm, ich hab mit den Enter- und Leaveevents gar nichts mehr angefangen bei den restlichen Implementierungen. Weiß nicht ob das so gedacht war, aber alle Tests sind durchgelaufen - und wie schon gesagt konnte ich die einzelnen Sats nicht mehr identifizieren nur mit gegebenen Daten "start, true" und "e...
von Der_olle_Schwoebel
5. Mai 2009 19:50
Forum: Archiv
Thema: longestSatCoverage - Kriterien?
Antworten: 5
Zugriffe: 350

Re: longestSatCoverage - Kriterien?

Ich hatte ja auch erst das Problem, aber der Tipp mit den Intervallen hat mir sehr weitergeholfen (und mittlerweile funktionierts auch) Du darfst das ganze nicht als "Liste von Zeitpunkten" sehen, sondern musst die Intervalle beachten. Um bei der Agentensprache der Aufgabenstellung zu bleiben: Stell...
von Der_olle_Schwoebel
3. Mai 2009 18:57
Forum: Archiv
Thema: longestSatCoverage - Kriterien?
Antworten: 5
Zugriffe: 350

longestSatCoverage - Kriterien?

Hi, ich sitz gerade an der Methode "longestSatCoverage" und irgendwie sind mir die Kriterien nicht ganz klar, wann ein Interval nun zählt und wann nicht. Es müssen mindestens 3 Satelliten verfügbar sein, das ist klar. Zählt aber nun das gesamte Interval dazu oder nicht? Bis auf den Random-Test laufe...
von Der_olle_Schwoebel
3. Mai 2009 11:01
Forum: Archiv
Thema: Hausübung 2) einzige Zeitkritische?
Antworten: 2
Zugriffe: 356

Re: Hausübung 2) einzige Zeitkritische?

Das bedeutet bei jedem Schleifendurchlauf zählst du nur "mod" als Operation. static boolean primalityTest(int t) { boolean isPrime = true; for (int i = 2; i < t && isPrime; i++) isPrime = (t mod i) != 0; return isPrime; } Da könntest du noch [1] boolean isPrime (Initialisierung) [2] = true (Zuweiseu...
von Der_olle_Schwoebel
22. Apr 2009 14:44
Forum: Archiv
Thema: Übung 1 Aufgabe 2
Antworten: 0
Zugriffe: 137

Übung 1 Aufgabe 2

Hallo,

wir sitzen grad an der Bearbeitung der Übung, aber uns ist der genaue Unterschied zwischen Aufgabe 2.1 und 2.2 nicht ganz klar.

Für Hinweise wäre wir dankbar :)
von Der_olle_Schwoebel
22. Apr 2009 09:35
Forum: Archiv
Thema: Hausübung 1 - Textsuche
Antworten: 21
Zugriffe: 1647

Re: Hausübung 1 - Textsuche

So wie ich das verstehe kann searchee beliebiges enthalten, soll dann aber als "ein Ausdruck" gefunden werden. Also wenn man nach "Suche nach Text" sucht, soll "Suche nach Text" auch so in page vorkommen.

Zur erweiterten Suche