Die Suche ergab 9 Treffer

von xu43uhub
3. Dez 2011 19:46
Forum: Modellierungspraktikum
Thema: 5.2a) the representation of bignat
Antworten: 0
Zugriffe: 1455

5.2a) the representation of bignat

Hey, Do we have to make sure that bignat has only one unique representation for each natural number? Or can it have several representations of which only the minimal representation has to satisfy all the mentioned criteria? For Instance, if we allow different bignat representations for the same natu...
von xu43uhub
21. Mai 2011 19:58
Forum: Archiv
Thema: Übung 04, Definition von R
Antworten: 3
Zugriffe: 503

Übung 04, Definition von R

Hallo, Laut den Folien ist R ja definiert als das Verhältnis der Signalstärke zur Stärke des Rauschens. Müsste sich dies nicht aber auf eine gegebene Frequenz u innerhalb des Frequenz-Spektrums des betrachteten Signals beziehen? D.h. müsste eine exaktere Definition von R nicht lauten: R(u) ist das V...
von xu43uhub
12. Mai 2011 16:45
Forum: Archiv
Thema: Frage zur Angabe von Hausaufgaben 2.1
Antworten: 29
Zugriffe: 2429

Re: Frage zur Angabe von Hausaufgaben 2.1

Hallo, Mich würde interessieren, ob die Schnittstelle des Busmasters auch wie folgt abgeändert werden darf: module busmaster #(max_dev_nr) ( ...); // Rest wie in Aufgabe gegeben Ob man dem Busmaster also bei der Instantiierung sagen darf, wie viele Geräte man an ihn anschließen wird. Ich habe zur Ze...
von xu43uhub
24. Mär 2011 22:25
Forum: Archiv
Thema: Terminierungshypothese Maßtermliste
Antworten: 2
Zugriffe: 440

Re: Terminierungshypothese Maßtermliste

Hi, In diesem Falle musst du einmal eine Terminierungs-Hypothese für {x/succ(x)} und eine für {x/succ(succ(y))} aufstellen. Denn die möglichen Subsitutionen bezeichnen ja die möglichen Vorgänger-Elemente der durch die Relationen-Beschreibung induzierten Relation. Das sind bei Relationen-Beschreibung...
von xu43uhub
21. Jan 2011 20:21
Forum: Archiv
Thema: 4. praktische Übung
Antworten: 14
Zugriffe: 1188

Re: 4. praktische Übung

Hallo, Unter GNU/Linux bekomme ich nach Ausführen des Installers folgende Fehlermeldung: $ ./vf3_3_unix.sh gzip: sfx_archive.tar.gz: not in gzip format I am sorry, but the installer file seems to be corrupted. If you downloaded that file please try it again. If you transfer that file with ftp please...
von xu43uhub
23. Dez 2010 19:26
Forum: Archiv
Thema: Fehler in 3. Hausübung, Aufg. 3.5 c) ?
Antworten: 4
Zugriffe: 749

Fehler in 3. Hausübung, Aufg. 3.5 c) ?

Die Funktion c(x : list[nat], y : list[nat]) : nat müsste so wie gegeben doch eigentlich syntaktisch inkorrekt sein, da im letzten else-Zweig durch die Funktion b(x : nat, y : nat) : list[nat] ein list[nat] zurückgegeben wird, die Funktion c aber nur nat zurückgeben darf. Oder handelt es sich bei de...
von xu43uhub
11. Feb 2010 23:52
Forum: Archiv
Thema: Fehler im Lehrbuch
Antworten: 9
Zugriffe: 551

Re: Fehler im Lehrbuch

also wenn ich 0x103C durch 4 teile, kommt da 0x040F raus? jo, genau. Teilen durch oder Multiplizieren mit 2^N geht in binär sehr einfach, indem man einfach die zu teilende/multiplizierende Zahl um N stellen nach rechts oder um N stellen nach links shifted. Im ersteren Fall teilt man durch 2^N, im l...
von xu43uhub
11. Feb 2010 23:24
Forum: Archiv
Thema: Fehler im Lehrbuch
Antworten: 9
Zugriffe: 551

Re: Fehler im Lehrbuch

@firehouse: ich verstehe nicht ganz wie du auf 1039 kommst. Wie mcdikki schon gesagt hat, gilt für die Differenz zwischen Label und dem beq: 0x00402040 - 0x00401000. Im Immediate-Feld des beq-Befehls wird allerdings die Differenz von 0x00402040 - 0x00401004 gespeichert (man bezieht sich also auf die...
von xu43uhub
7. Dez 2009 10:53
Forum: Archiv
Thema: Fehler in der Lösung zu Übung 4.2 c) ?!
Antworten: 4
Zugriffe: 304

Fehler in der Lösung zu Übung 4.2 c) ?!

Hallo zusammen, Beim Vergleichen meiner Lösungen mit der Musterlösung von Übung 4.2 c) ist mir aufgefallen, dass in der Musterlösung bei den Zustandsübergangsdiagrammen F erst nach 15ns einen definierten Zustand hat. Meines Erachtens müsste aber bereits nach 10ns F die logische 1 liefern, da ein OR-...

Zur erweiterten Suche