Die Suche ergab 3 Treffer

von xliachbtecmo
4. Dez 2013 11:02
Forum: Archiv
Thema: SPIN WebInterface DNOREDUCE
Antworten: 1
Zugriffe: 266

SPIN WebInterface DNOREDUCE

Hallo, ich habe eine kleine Anmerkung zum Webinterface zu SPIN: Wenn ich versuche, eine LTL Formel zu verifizieren (im Acceptance Modus) und dabei Weak-Fairness und Rendezvous-Kanäle verwenden möchte, erhalte ich immer die Fehlermeldung, dass ich mit -DNOREDUCE kompilieren muss, damit das auch funkt...
von xliachbtecmo
23. Sep 2013 20:45
Forum: Archiv
Thema: Fehler in Musterlösung von Klausur 2013_04
Antworten: 14
Zugriffe: 3963

Re: Fehler in Musterlösung von Klausur 2013_04

Ja, die Methode lässt sich ohne Schleife lösen. Invariante: node (der Paramter) hat zwei Kinder. Man geht zuerst die Fälle durch, dass die Kindknoten, nur einen Nachfolger haben. Dann erst man (potenziell beide oder auch nur einen) durch das eine vorhandene Kind des betreffenden Knoten. Dann ruft ma...
von xliachbtecmo
12. Jun 2013 14:37
Forum: Archiv
Thema: Fehler im B-Baum Video
Antworten: 1
Zugriffe: 406

Fehler im B-Baum Video

Hallo, im Videos zu B-Bäumen zur Zeit 08:04 enthält der rechte Kindknoten der Wurzel nur einen Wert, müsste nach B-Baum-Voraussetzung aber mindestens zwei enthalten. Damit ist dieser Baum doch kein korrekter B-Baum? Das ändert zwar nichts am dem Algorithmus zum Einfügen in dem Beispiel, ich wollte e...

Zur erweiterten Suche