Show all posts by user
Page 1 of 1 Pages: 1
Results 1 - 7 of 7
Aufgaben-Quelle
Becker 2006 / Anwesenheistaufgaben-Blatt 2
Passwort ist das selbe wie dieses Jahr..
Aufgabe 2
Allgemein :
Müssen die Formeln von jedem Zustand aus gelten, oder müssen sie immer vom Startzustand aus gelten (b)?
2i)
Da es einen unendlichen Pfad mit b-c-b-c-b-c... gibt, gilt diese Formel eigentilch nicht, ist das richtig? Zwar kann man von b zu a und von c - d, jedoch b
by
mayere
-
Rechnerarchitektur SS 2007
Wie bestimmt man eigentilch die Spalten in einem OBDD?
Die Zeilen sind ja klar, die Anzahl der verb. Knoten der 2 Partitionen, aber wie sieht es mit den Spalten aus?
Danke
by
mayere
-
Rechnerarchitektur SS 2007
Ich habe eine kleine Frage zur CTL.
ÜB2, Aufgabe 2d):
(! = NOT)
Musterlösung : !E(!bUa)
Wieso heisst die Lösung nicht A(bUa) ?
Was ist falsch an :
AG(a->bUa) bzw ganz korrekt nach CTL : AG(!a OR !bU!a)
Vielen Danke
by
mayere
-
Rechnerarchitektur SS 2007
Auf den Vorlesungsfolien steht ( Kap5, Folie 36 ) :
"- garantier kürzeste Verdrahtungslänge."
Somit wäre Routing nach Lee optimal.
In den Übungsaufgaben hatten wir jedoch beweisen müssen ( ÜB4, Aufgabe 4), dass es Fälle gibt, bei denen das Verfahren nicht optimal arbeitet.
Was ist nun richtig?
Danke
by
mayere
-
Rechnerarchitektur SS 2007
Hallo,
ich frage mich ob es möglich wäre, die Lösungen der Übungsblätter für die Vorlesungsteilnehmer freizugben. Es geht hier schlichtweg darum, dass man die ÜB somit auch zum üben auf die Klausur nutzen kann und so seine Ergebnisse kontrollieren kann.
Man kann die Lösungen ja nicht mehr dafür nutzen, bei der Übungsblattabgabe zu "bescheissen".
Vielen Danke
Eugen
by
mayere
-
Rechnerarchitektur SS 2007