D120.de/forum

Man braucht das passwort nicht.
Einfach irgendetwas eingeben, auf Login klicken und nach dem Weiterleiten auf edu.php einfach nochmal die Folien/Übungen aufrufen.

Vllt liegts auch einfach daran, dass ich im Uninetz bin.

Wir suchen noch ein oder zwei Studenten zum Bearbeiten der Praktischen Übungen.

Treffen wollen wir uns in Darmstadt, der Zeitpunkt muss noch abgesprochen werden.


Edit: Die Gruppe ist voll. Danke an alle die sich gemeldet haben.

Gruß heiko

Gesucht wird noch eine Person zum Bearbeiten der Übungen in Darmstadt.

Treffen wollen wir uns entweder Mo vor 13:30, Di zwischen 10:45 und 13:30 oder Mi zwischen 11:40 und 14:15 ,je nachdem wie die Übungen fallen.

Edit: Wir suchen niemanden mehr. Danke an alle, die sich gemeldet haben


Gruß heiko

Tim86 hat geschrieben:umlaute oder sonderzeichen in der Datei?

Nein, habe alle ersetzen lassen.
Mein Hexeditor findet das Zeichen feff/65279 auch nicht.

Nach einigen Stunden Fehlersuche habe ich den Code einfach in eine neue Datei kopiert, jetzt läuft es.

Meine Lösung für die vierte Praktikumsaufgabe läuft bei mir vollkommen fehlerfrei durch, aber wenn ich sie hochlade wird fail mit folgenden Details angezeigt: Transcript for problem 4 attempt 5: 2009-06-17 18:41:01 URL:http://www.dvs.tu-darmstadt.de/teaching/inf2/2009-en/Problem4.zip [27996/27996] -...

Von einem Freund habe ich noch eine bessere Lösung für die "run configuration": eine andere bat-datei: @echo off set param=%1 set objFile=%param:~0,-2% echo %2\%1 echo %objFile% cd /d %2 PATH=%PATH%;C:\programme\icarusverilog\bin echo Compiling... iverilog.exe -y .\ -o %objFile%.out %1 echo Now star...

Für alle, die es noch nicht gefunden haben: Tutorial für Verilog in Kombination mit Eclipse und GTKWave Bei mir läuft es, wenn die run.bat so aussieht: @echo off PATH=%PATH%;C:\programme\icarusverilog\bin echo Now statring vvp (simulation)... vvp testbed.out echo Simulation done, now starting gtkwav...

Sollen die Transitionen im XML-Format in Aufgabe 2.3.2 wirklich die logischen Ausdrücke enthalten?
Laut dem Beispiel in der Aufgabenstellung ja, aber wenn ich mich nicht irre, kann man eine LogicExpression<ENV> nicht serialisieren.

The method serialize(LogExpHandler<ENV>) in the type LogicExpression<ENV> is not applicable for the arguments (StudentLogExpPrettyPrinter) Und zu LogExpHandler<BooleanVariables> handler = new StudentLogExpPrettyPrinter(); sagt er mir The method serialize(LogExpHandler<ENV>) in the type LogicExpress...

Ich hab ein Problem bei serialisieren des logischen Ausdrucks der Transition. exp.serialize (...) will ja einen handler vom Typ LogExpHandler<ENV>. Als einzige handler ist aber "StudentLogExpPrettyPrinter implements LogExpHandler<BooleanVariables>" implementiert. Wie übergeb ich den in StudentFsmXml...

ChRiZz88 hat geschrieben:Ja, liegt stets geordnet vor^^ Sonst wärs mit zusätzlichen Abfragen verbunden...

Bei meinen Berechnungen gehe ich davon aus, dass es nicht geordnet ist.
Dementsprechend ist mein code auch an manchen Stellen um einiges länger, krieg ich dafür Punkte abgezogen?

gruß

Ziuzia hat geschrieben:Habt ihr als Ausgabe (void) oder eine Zahl? Mein letzter Ausdruck ist set!. Ist das richtig ?

Im Template steht, dass sie eine Zahl zurückgeben soll.

aha und andere frage ist , wie kann ich true und false zurück geben,weil es sieht so aus ,dass metainterpreter true und false nicht erkennt ,weil für die Funktion X->boolean soll ich irgendwelche bedingung prüfen und true oder false zurückgeben oder?? Das hab ich mich zuerst auch gefragt, aber stat...

Also ich habe den Fehler auch bekommen. Bei mir war es folgendes Problem: Mein Vertrag von filter ist: (X TH -> boolean) (listof X) TH -> (listof X) Das ist ja schon bekannt aus der Vorlesung. Wenn dein Vertrag genauso aussieht, dann hast du beim Aufruf deiner Filterfunktion TH vergessen. Ich hab s...

habe auch ein problem mit filter, ich rufe die prozedur über (my-cons 5 (my-filter (lambda (x) (= (x) 3)) alon)) auf, ausgegeben wird mir jededoch (make-proc (list 'n) (make-if-clause.......u.s.w woran liegt es, dass er die übergebene funktion nicht bearbeitet? Probiers mal mit my->cons statt mit m...