Die Suche ergab 77 Treffer

von bashFish
8. Apr 2009 21:02
Forum: Archiv
Thema: Ergebnisse der FoC-Klausur
Antworten: 18
Zugriffe: 2507

Re: Ergebnisse der FoC-Klausur

-skip-

ty :)
von bashFish
29. Mär 2009 10:50
Forum: Archiv
Thema: Semaphore und Dining Philosophes
Antworten: 7
Zugriffe: 479

Re: Semaphore und Dining Philosophes

In Uebung 10 von Frau Eckert (ueber Elzi erreichbar) wurde das Problem behandelt..
greets

[ohne die Posts weiter gelesen zu haben ~]
von bashFish
27. Mär 2009 18:03
Forum: Archiv
Thema: OpenGL und Graphikkartenarchitekturen
Antworten: 10
Zugriffe: 630

Re: OpenGL und Graphikkartenarchitekturen

--> Ja, es kann relevant sein u. wurde auch genügend geübt. Also ich assoziier damit im Moment nur Donuts zeichnen, indem man Codezeilen nach Definition der Aufgabe aendert :? Wird das in der Klausur aehnlich, oder sollte man auch das Wissen aus der Aufgabenstellung im Kopf haben? uebersehe ich was...
von bashFish
25. Mär 2009 13:35
Forum: Archiv
Thema: VeriFun Axiome
Antworten: 4
Zugriffe: 415

Re: VeriFun Axiome

Ai, wenn ich mir den Beweisbaum der Lemmas, die fuer den Terminierungsbeweis benutzt wurden, anschaue, steht da nur ein Knoten "true".

Fuer mich weder nachvollziehbar, noch reproduzierbar...
von bashFish
25. Mär 2009 12:35
Forum: Archiv
Thema: VeriFun Axiome
Antworten: 4
Zugriffe: 415

VeriFun Axiome

Wie wurden denn in der Praxisuebung 3 die Lemmas (Terminierung Davis Putnam) als Axiome festgelegt ?
von bashFish
20. Mär 2009 21:27
Forum: Archiv
Thema: Regeln von Berechnungskalküle
Antworten: 4
Zugriffe: 419

Re: Regeln von Berechnungskalküle

Falls nicht, kann ich auch nur hoffen, dass die Bedingung "einseitig beschrieben" der Formelsammlung ein Tippfehler ist :-/

Ist es, ist es ?? :cry:
von bashFish
7. Mär 2009 20:06
Forum: Archiv
Thema: Loesung 12 4
Antworten: 1
Zugriffe: 239

Loesung 12 4

d) Es gelte t|αP = (a).t' ∧ t' ∈ traces(P ) und t|αQ = (c).t'' ∧ t'' ∈ traces(Q). Der Ausdruck t|αQ = (c).t'' sagt, daß t mit c beginnt, da aber c ∈ αP ist es ein Widerspruch zu t|αP = (a).t' , also ist dieser Fall unzulaeßig, und entfällt bei der Betrachtung. Da a ∈ αP\αQ , ist a nur in αP, nicht ...
von bashFish
5. Mär 2009 13:46
Forum: Archiv
Thema: Uebung 7 Afg 4 (Bexp ohne Aexp Determinismus)
Antworten: 2
Zugriffe: 218

Uebung 7 Afg 4 (Bexp ohne Aexp Determinismus)

Tip: Versuchen Sie die Aufgabe zu loesen, ohne den Beweis, dass die Auswertung von Aexp deterministisch ist, welcher in der Vorlesung gefuehrt wurde, zur Hilfe zu nehmen. Wie koennte das denn aussehen? Wuerde man die nicht einfach als Vorraussetzung nehmen (was im Prinzip dem Verweis auf Aexp-Deter...
von bashFish
17. Feb 2009 22:32
Forum: Archiv
Thema: GDI Übung 5
Antworten: 4
Zugriffe: 424

Re: GDI Übung 5

In welchem Fall kann denn eine Erhöhung der Block-Größe die Ausnutzung der zeitlichen Lokalität verbessern? Blöcke werden doch eher verdrängt, oder sehe ich das falsch?[...] Muss denn deiner Annahme, dass die Anzahl der Cachezeilen verringert werden (Anzahl Cachenutzbytes gleich bleibt), Folge gele...
von bashFish
23. Nov 2008 11:10
Forum: Archiv
Thema: Praktikum 2
Antworten: 9
Zugriffe: 827

Re: Praktikum 2

[admin-edit]Persönliche Angriffe entfernt[/admin-edit]
von bashFish
15. Okt 2008 22:46
Forum: Archiv
Thema: Gruppe für Praktikum & Allgemeines
Antworten: 7
Zugriffe: 609

Re: Gruppe für Praktikum & Allgemeines

Ich will, ich will :P!
von bashFish
27. Sep 2008 12:05
Forum: Archiv
Thema: CRC Logik
Antworten: 12
Zugriffe: 1406

Re: CRC Logik

@itportal
http://www.inf.fh-flensburg.de/lang/alg ... rc/crc.htm
ich find dort wird es ziemlich deutlich etwas unterhalb der mitte ist eine "allgemeine" skizze

@kruemel
generatorpolynom ist vorher festgelegt
von bashFish
3. Sep 2008 11:53
Forum: Archiv
Thema: MWS DGL
Antworten: 0
Zugriffe: 614

MWS DGL

Zeigen Sie mit Hilfe des Mittelwertsatzes der Differentialrechnung, angewendet auf f(x) = \sqrt{x} , dass \sqrt{x^2 + 1} - x \le 1/x fuer alle x \ge 1 Was bringt mir denn der MWS auf Wurzel x? \exists c f'(c)=$\sqrt{b} - \sqrt{a} \over b - a$ = $1 \over \sqrt{a} + \sqrt{b}$ \le $ $1 \over \sqrt{b}$ ...
von bashFish
23. Jun 2008 19:59
Forum: Archiv
Thema: H2.4a: Implikation oder Konjunktion - was bindet stärker
Antworten: 3
Zugriffe: 902

Re: H2.4a: Implikation oder Konjunktion - was bindet stärker

im Zweifelsfalle der Fall, bei dem du nicht vergessen hast, die Klammern um der Konjunktion abzupinseln ;)


greetz
von bashFish
7. Apr 2008 18:30
Forum: Archiv
Thema: wo Praktikumsmaterial
Antworten: 44
Zugriffe: 2262

Re: wo Praktikumsmaterial

war schnella :P

Zur erweiterten Suche