Hallo zusammen, ich bin auf der Suche nach folgenden Symbolen: - CTL Operator "eventually" (rhombus) - CTL Operator "always" (quadrat) - weiter finde ich keine Passende Schriftart / Symbol ür das spezielle U (until) und w(steht fürn einzelloperator) in meinen CTL Formeln. Wäre schön wenn mir jemand weiterhelfen könnte Gruß Alex. =============== Nachtrag: 24.06.
Forum: Seminar Methoden der Verifikation

Hallo, wollte an dieser Stelle einfach ein positives Feedback geben. Die Klausur war wirklich sehr sehr Fair gestellt und man konnte sich anhand der Übungen gut darauf vorbereiten. Ein Dankeschön geht von mir daher an den Lehrstuhl. Desweiteren auch ein Dankeschön an Ben Krämer, der sich wirklich viel Mühe gegeben hat um uns passend für die Klausur vorzubereiten. MfG Alex.
Forum: Rechnerarchitektur SS 2006

Steht doch alles auf der Seite... Prüfungskriterien: ... 3. Bestehen der Abschlußklausur, die voraussichtlich am 20. September 2006 um 10.00 Uhr in Geb. 101 Raum 026/036 stattfinden wird. UND man kann dies ja alles über das Prüfungsamt einsehen, seis im Anmeldeportal: oder auf der Prüfungsamtseite wo die Klausurpläne für jedes semester bereit stehen:
Forum: Rechnerarchitektur SS 2006

Hallo zusammen, es hat den anschein als hätte ich hier 2 Versionen von Blatt 5. Ich hatte mein Blatt direkt bei der Abgabe von Blatt 4 gezogen. Wenn ich jetzt ein Blatt von den Vorlesungsmaterialien auf der Seite lade fehlt in Aufgabe 3 der Punkt in den Anmerkungen, dass man die Aufgabe verfeinern soll zu "bestimme ein minimales p, .... " Macht das nun ein unterschied oder gibt es
Forum: Rechnerarchitektur SS 2006

EDIT: Sorry, hat sich geklärt ich hab irgendwie n falschen Gedanken verfolgt. Jetzt ist soweit alles klar dass natürlich beide ALUs auch beides können. Damit erledigt sich dann auch spontan das ASAP/ALAP erledigt :) ------------ Hallo, aus Aufgabe 1 geht nicht exakt hervor was gefragt ist? Einmal sind es 2 ALU´s , können beide Add,Sub und Vergl. ? oder ist die Aufgabe so gestellt, da
Forum: Rechnerarchitektur SS 2006

Also zur 2a) ich verstehe das als XOR. zur 2b und 2c , sind mir ebenfalls unklar, hab bislang keine wirkliche Lösung erarbeiten können. gruß Alex.
Forum: Rechnerarchitektur SS 2006