Die Suche ergab 135 Treffer

von LordHoto
9. Sep 2010 02:41
Forum: Archiv
Thema: Variation der Konstanten
Antworten: 3
Zugriffe: 638

Re: Variation der Konstanten

Ich habe die Lösung zwar auch nicht (selbst) gefunden, aber ein paar Ideen: Erstmal habe ich naiv probiert die DGL: y^{'}=\frac{y}{2x}+1 mit Variation der Konstanten versucht zu lösen. Dafür habe ich einfach y=2x+c(x) benutzt. Ableiten, einsetzen und c ausrechnen bringt einen auf y=2x+\sqrt{x} . Int...
von LordHoto
6. Sep 2010 14:49
Forum: Archiv
Thema: Klausur August '05
Antworten: 2
Zugriffe: 407

Re: Klausur August '05

(b) Sind die folgenden Behauptungen über beliebige FO-Formeln wahr oder falsch? Geben Sie jeweils eine Begründung oder Gegenbeispiel an. (i) Wenn \varphi allgemeingültig ist, so ist auch \exists x \varphi allgemeingültig. Lösung: (i) Falsch. \exists x \varphi ist falsch bei leerer Trägermenge. Wenn...
von LordHoto
21. Jun 2010 23:19
Forum: Archiv
Thema: Übung 3. H1
Antworten: 4
Zugriffe: 545

Re: Übung 3. H1

Nach dieser Defintion dürfte es überhaupt keine Formelmenge geben, die kein minimales Modell besitzt. Selbst wenn die Menge aller Modelle leer ist, ist nach dieser Definition das minimale Modell I_0(p)=1 für jedes p. Kleiner Gedanke von meiner Seite: Was ist denn der Unterschied von Phi in der a un...
von LordHoto
3. Jun 2010 19:48
Forum: Archiv
Thema: Mathe Vorlesung am 4. Juni
Antworten: 3
Zugriffe: 318

Mathe Vorlesung am 4. Juni

Hallo,

ich habe von letzten Freitag in Erinnerung, dass der Herr Streicher meinte, dass morgen vllt. die Vorlesung ausfällt, weil er nicht da ist. Ist dies jetzt der Fall oder gibt es eine Vertretung?
von LordHoto
17. Mai 2010 19:09
Forum: Archiv
Thema: Abgabe der H-Übung 4
Antworten: 1
Zugriffe: 215

Abgabe der H-Übung 4

Hallo, ich meine mich erinnern zu können, dass letzte Woche auf der Homepage stand, dass wir die Hausübung zur 4ten Übung noch eine Woche später abgeben können (siehe hier: http://webcache.googleusercontent.com/search?q=cache:iOtcTPdRvXkJ:https://www3.mathematik.tu-darmstadt.de/evs/853+%22Mathematik...
von LordHoto
26. Apr 2010 20:40
Forum: Archiv
Thema: Übung 2 H1 Zusatz
Antworten: 1
Zugriffe: 292

Übung 2 H1 Zusatz

Hallo, wie im Topic angedeutet habe ich eine Frage zu dem "Zusatz": Wie ist dieser Zusatz zu verstehen, d.h. ist es ein unbewerteter Zusatz oder ein bewerteter Zusatz (oder gar der Definition von Zusatz widersprechend ein Muss für die volle Punktzahl in der Aufgabe)? Da ich gerade keine Möglichkeit ...
von LordHoto
26. Jan 2010 21:37
Forum: Archiv
Thema: Taktanforderungen bei Praktikum
Antworten: 1
Zugriffe: 143

Taktanforderungen bei Praktikum

Hallo, ist bei der Aufgabe 2 (FPU) irgendeine Taktfrequenz einzuhalten? Wenn ich den Verliog-Code des MIPS richtig interpretiert habe, teilt er ja für den Synthese-Modus auf 1Hz. Sind das die Bedingungen unter der anschließend auch die Bewertungstests laufen? Oder müssen wir irgendeine spezielle Tak...
von LordHoto
21. Jan 2010 15:16
Forum: Archiv
Thema: Praktikum - Verilog - Rundungsmodus?
Antworten: 19
Zugriffe: 983

Re: Praktikum - Verilog - Rundungsmodus?

Over/Underflow: kann als +-Unendlich betrachtet werden Ist ein "Underflow" (wenn es sich hier um den Exponenten handelt) beim Multiplizieren nicht eher eine 0 als ein -inf? Jedenfalls wäre es IMHO sehr seltsam wenn FLT_MIN * FLT_MIN = -inf wäre. Ich habe nochmal nachgelesen, Underflow ist "zu nah b...
von LordHoto
21. Jan 2010 14:32
Forum: Archiv
Thema: Praktikum - Verilog - Rundungsmodus?
Antworten: 19
Zugriffe: 983

Re: Praktikum - Verilog - Rundungsmodus?

Over/Underflow: kann als +-Unendlich betrachtet werden Ist ein "Underflow" (wenn es sich hier um den Exponenten handelt) beim Multiplizieren nicht eher eine 0 als ein -inf? Jedenfalls wäre es IMHO sehr seltsam wenn FLT_MIN * FLT_MIN = -inf wäre. Wenn es hier um - FLT_MAX * FLT_MAX handelt und das a...
von LordHoto
15. Dez 2009 13:55
Forum: Archiv
Thema: Xilinx Simulation funktioniert nicht
Antworten: 16
Zugriffe: 905

Re: Xilinx Simulation funktioniert nicht

hat sich seit dem update etwas an der bedienung verändert? bis heute mittag hatte ich noch die ursprünglich runtergeladene version vom ISE (11.1 glaube ich) und da hat auch alles, soweit ich es probiert hab (syntaxcheck/simulation) funktioniert. heute hab ich auf 11.4 geupdated und seitdem bekomme ...
von LordHoto
14. Dez 2009 20:44
Forum: Archiv
Thema: Xilinx Simulation funktioniert nicht
Antworten: 16
Zugriffe: 905

Re: Xilinx Simulation funktioniert nicht

Nur nen Underscore.
von LordHoto
14. Dez 2009 18:37
Forum: Archiv
Thema: Xilinx Simulation funktioniert nicht
Antworten: 16
Zugriffe: 905

Re: Xilinx Simulation funktioniert nicht

Ja ist als TopLevel Modul eingetragen. Danke für die Hilfe, ich werde dann einfach mal am Freitag meinen Tutor fragen (mit Laptop, wo der Fehler auftritt ;-). Oder vielleicht komme ich dazu es nochmal vorher im Poolraum zu testen.
von LordHoto
14. Dez 2009 17:25
Forum: Archiv
Thema: Xilinx Simulation funktioniert nicht
Antworten: 16
Zugriffe: 905

Re: Xilinx Simulation funktioniert nicht

Nein keine weitere Ausgabe als ich oben angegeben habe (zweites Codefeld). Als einzige Erweiterung habe ich nur ein "always #10 clk = ~clk;" hinzugefügt, wie im PDF beschrieben. Selbst wenn ich das auskommentiere und nur den automatisch erstellen Code versuche mit "Behavioral Check Syntax" zu testen...
von LordHoto
14. Dez 2009 17:09
Forum: Archiv
Thema: Xilinx Simulation funktioniert nicht
Antworten: 16
Zugriffe: 905

Xilinx Simulation funktioniert nicht

Hallo, ich habe eben mal die Xilinx Software ausprobiert. Als erstes habe ich auf die neuste Version (11.4) geupdated. Nach kleineren Problemen mit Leerzeichen in Pfadnamen (das es sowas heutzutage noch gibt...) habe ich endlich auch den Syntax Check für das Testbeispiel aus dem PDF File zum laufen ...

Zur erweiterten Suche