D120.de/forum

Seit heute gehen diverse Zeichen an den Pool-Rechnern nicht mehr:

- Umlaute
- Eszet
- geschweifte und eckige Klammern
- (at)
- €
- und noch einige andere Sonderzeichen.

Ein Kommilitone kann sich deshalb nicht mehr einloggen.

Also es gab zum Beispiel ab 80% bereits ne 1.0. Für gewöhnlich ist das die Grenze für 2.0.

Wenn ich mich recht erinnere wars so: and $t0, $t1, $t2 or $t1, $t0, $t1 lw $t2, 0($t0) .. Und das or konnte gestrichen werden weil (A&B)|B = B. Hi, ich dachte eigentlich sicher, dass 2 mal $t2 als Zielregister angegeben war... Ich hatte extra 3 mal hingeschaut :shock: Wars auch. Lass dich von dem ...

Im großen und ganzen fand ich die Klausur auch gut machbar. Die letzte Aufgabe fand ich allerdings etwas überbewertet. 15 Punkte hätten es da auch getan. Von der Zeit her hat es bei mir nicht gereicht. Zum Glück habe ich aber die VHDL-Aufgabe übersprungen und konnte so einen Großteil der letzten Auf...

Im großen und ganzen fand ich die Klausur auch gut machbar. Die letzte Aufgabe fand ich allerdings etwas überbewertet. 15 Punkte hätten es da auch getan. Von der Zeit her hat es bei mir nicht gereicht. Zum Glück habe ich aber die VHDL-Aufgabe übersprungen und konnte so einen Großteil der letzten Auf...

Blub hat geschrieben:offizielle Musterlösungen wird es wie jedes Jahr nicht geben.

Das dient in erster Linie dazu sie dazu zu bewegen zu den Übungen zu gehen und dort die Übungen zu bearbeiten


Christian

Interessanter Gedanke. Hat bei mir nicht funktioniert. Eher im Gegenteil.

Bei der Lösung der vierten Praktikumsaufgabe ist mir folgendes aufgefallen: Wenn ich die Maßterme A und B in der Reihenfolge [A, B] eingebe, so kann die Terminierung der Funktion bewiesen werden. Wenn ich die Maßterme aber in der Reihenfolge [B,A] eingebe, so kann nur eine der Terminierungshypthesen...

Jetzt, da wir für das nächste Praktikum eine neue Version instellieren müssen, könnte man das Geheimnis doch lüften, oder?

Hallo,

Ich kann mich als PO 2004-Student nicht für die zweite TGI-Klausur anmelden. Lässt sich das noch korrigieren oder melde ich dann besser per holzformular an?

Den Übungstutor. Schließlich bekommen wir unsere Lösungen in der Übung zurück.

In der Übung 2.1 (c) braucht man ja eine Information, die vorgibt, dass das letzte Element des Tripels \Sigma^*\times\Sigma^*\times\Sigma^* zu Anfang leer sein muss. Kann man diese Bedingung ebenfalls als Regel schreiben? Beispielsweise so: \frac{ }{\alpha, \beta, \epsilon}(Con) . Entsprechend könnt...

Wieso wollt ihr zeigen, dass all-permutations vollständig ist? Wenn man versucht das Lemma isort permutes (Variante 3) zu beweisen, so kommt man ohne Hilfslemma zum Goalterm: hd(k) \oplus isort(tl(k)) \in all\!-\!insert\!-\!each(hd(k), all\!-\!permutations(tl(k))) Ferner hat man folgende Induktions...

Moinmoin,

wir hängen gerade am Lemma "reverse permutes" fest. Nach unseren Überlegungen fehlt verifun nur der Beweis dafür, dass x # k die Anzahl der x in der Liste k zählt. Allerdings läuft der Beweis mit einem solchen beweisenen Lemma nicht durch. Haben wir was übersehen?

Das andere Problem ist, dass ich als Wiederholer mich bis heute nicht für die Vorlesung anmelden können. Aber das liegt wohl daran, dass TUCaNt "rundenbasiert" ist (wer auch immer diese blöde Idee hatte war hoffentlich kein Informatiker) und von daher wohl nicht von euch zu beheben.

salted hat geschrieben:Eine Anmeldung zu in der Vergangenheit nicht bestandenen Modulen ist nach Auskunft des TUCaN-Teams derzeit nicht möglich...

Das erklärt ja immerhin schonmal einiges. Folglich dürfte TUCaN dieses Semester bestenfalls unter "Testbetrieb" laufen.