D120.de/forum

das ist einfach der maximalbetrag den du als käufer schaffst, einzuwerfen, ohne vorher ein eis zu bekommen. also mit 1,4€ rantasten und dann noch 2€ hinterher. > 1.5 € heißt halt direkt eis und rückgabe.

Ein potenzielles Register ist zeitlich lokal, falls es räumlich lokal ist. Es muß außerdem immer geschrieben werden, bevor es gelesen wird [Y/SUMX]: [...] Nicht zeitlich lokal, da nie gelesen . gibt es solche überraschungen dann auch in der klausur?! :shock: :evil: bestätigt mir, dass beide aussage...

hätte da ein paar fragen zur mulö der aufgabe 1. Ein potenzielles Register ist zeitlich lokal, falls es räumlich lokal ist. Es muß außerdem immer geschrieben werden, bevor es gelesen wird [Y/SUMX]: [...] Nicht zeitlich lokal, da nie gelesen . gibt es solche überraschungen dann auch in der klausur?! ...

Auf Folie 28 steht für taktflanken-bedingte IF-statements: -> Jedes nicht-lokale potenzielle Register wird Flip-Flop -> Vollständigkeit ist nun irrelevant. Als Beispiel dient nun ein Prozess bei dem die potenziellen register Y und W meines Erachtens nach genau gegenteilig auftreten: Sie sind zeitlic...

Steven hat geschrieben:s = 125, R = { 5, 10, 200 }. s ist nicht der Maximalwert in R, die Aussage s > ALL R ist aber trotzdem falsch.

s = 125, R = {5, 10, 200}
s > ALL R == false
<=> NOT s > ALL R == true
g.d.w. s nicht der Maximalwert in R ist
stimmt doch

ist die funktion wirklich gerade? immerhin gilt f(PI/2) = 0 != 1 = f(-PI/2)

in den folien steht: In einer Relation R(A,B,C) existiert eine mehrwertige Abhängigkeit R.A ->-> R.B g.d.w. die Menge von B- Werten, die einem Wertepaar (A-Wert, C-Wert) in R nur von A, nicht aber von C abhängt nun hab ich den satz so oft gelesen, und immer noch nicht verstanden. fehlt da vll. folge...

hat sich erledigt. im programm selbst muss man das "webpack starten"
bislang funktioniert diese version gut mit den übungen. und überhaupt ist es das einzige, was in lin64 gescheit läuft

@ mnemonic: wo/wie bekommt man die lizenz für das 11.1er webpack?

1.2 Reflektieren, beurteilen und ggf. kritisieren sie diese. Suchen Sie dazu
gegebenenfalls weitere ergänzende Guidelines.

soll das in die abgabe, oder dient es nur der weiteren vorbereitung unserer präsentation?

freue mich auch über bilder an
done
thx!

bei der mulö der h2 von übung 12 (link state routing) scheint es mir ein fundamentaler fehler zu sein, am ende in der routingtabelle "von B nach E über A" einzutragen. wie wird denn diese tabelle gelesen? doch wohl nicht so: "ok, ich will nach E, das mach ich über A. wie komm ich nach A? *such*, ah,...

ach du kennst noch nicht die abkürzende schreibweise für klausuraufgaben? das bedeutet quasi in EINEM, dass der plattenspeicher 12 seiten hat, jedoch nur 10 in den ram passen

ist ja auch bei 6.2 keinem aufgefallen, wo es ähnlich mit nat ist (not ?0(u) statt ?succ(u)). können wir dort dann auch die beiden als äquivalent annehmen?

verifun braucht bei deiner divides2 nicht wirklich einen terminierungsbeweis: es gibt keinen rekursiven aufruf.