Die Suche ergab 55 Treffer

von cdn
6. Mär 2010 13:25
Forum: Archiv
Thema: traces & -> ||
Antworten: 1
Zugriffe: 179

Re: traces & -> ||

da \alpha(P||Q) = \alpha P \cup \alpha Q und somit c \in \alpha (P || Q) ist so ein Ausdruck meiner Meinung nach ohne weiteres möglich. Auch für traces ergibt sich eigentlich keine Sonderregel. Ein Beispiel macht dir vielleicht klar, wie traces "aufgelöst" wird. Betrachte Q = \mu X : \{a, b\} . (a \...
von cdn
6. Mär 2010 11:48
Forum: Archiv
Thema: Definition von Prozessen unklar
Antworten: 3
Zugriffe: 214

Re: Definition von Prozessen unklar

Schon klar. Aber die erste Idee, dieses Symbol einzubauen, wäre doch gewesen, die Spuren als Teilmenge von (E \vereingt {\sqrt})* zu definieren, wenn E das Alphabet für den Prozess ist, oder? Was spricht dafür, diese Konstruktion mit dem kartesischen Produkt zu machen? Die Intention dabei dürfte fo...
von cdn
5. Mär 2010 08:50
Forum: Archiv
Thema: Message-Passing Komposition wie angegeben nicht möglich
Antworten: 1
Zugriffe: 154

Re: Message-Passing Komposition wie angegeben nicht möglich

beachte den 2. Abschnitt auf Folie 6 des 11. Moduls. Asynchrone Nebenläufigkeit auf Folie 10 ist dort unter der vereinfachenden Annahme definiert, dass die Komponenten nicht kommunizieren.
von cdn
11. Feb 2010 14:37
Forum: Archiv
Thema: UE 13 - Webreg
Antworten: 7
Zugriffe: 520

Re: UE 13 - Webreg

Bei mir wurden für die 13. Übung noch gar keine Punkte eingetragen, obwohl ich beide Teile abgegeben habe und den schriftlichen Part auch voll bewertet bekommen habe. Was ist da los? Hat dieses Problem sonst noch jemand?
von cdn
28. Jan 2010 21:56
Forum: Archiv
Thema: UE 13 A2a Testcase
Antworten: 20
Zugriffe: 764

Re: UE 13 A2a Testcase

Bin in der gleichen Situation und tippe auf fehlerhaften Testcase.
von cdn
30. Dez 2009 20:49
Forum: Archiv
Thema: 9. Übung Aufgabe 2, Fall "cl(c1;c2)"
Antworten: 1
Zugriffe: 271

Re: 9. Übung Aufgabe 2, Fall "cl(c1;c2)"

Es ist zu zeigen, dass \forall \sigma*, \sigma*', \sigma*'' \in \Sigma : \forall c, c1,c2 \in Com: \forall x \in Loc: \forall H1 \in DER(<c1,\sigma*> \rightarrow \sigma*''): \forall H2 \in DER(<c2,\sigma*''> \rightarrow \sigma*'): [r;(<c1;c2,\sigma*>\rightarrow \sigma*',(H1,H2)) \in DER(<c,\sigma>\...
von cdn
25. Nov 2009 00:31
Forum: Allgemein
Thema: "Wir haben zu viel Geld": Ideen für QSL-Mittel gesucht
Antworten: 107
Zugriffe: 19567

Re: "Wir haben zu viel Geld": Ideen für QSL-Mittel gesucht

Mein Vorschlag zur Verbesserung der Studienbedinungen bzw deren Erhalt: Obwohl der C205 "fast neu" ist, machen sich erste Vandalismusanzeichen breit. An Tischen fehlen Schrauben, von einem Stuhl geht das Furnier etc. ab. Die einzige Möglichkeit solchen Vandalismus zu unterbinden, sehe ich darin, die...
von cdn
15. Sep 2009 15:15
Forum: Archiv
Thema: Klausurergebnisse... (Bonus inkl.)
Antworten: 134
Zugriffe: 5992

Re: Klausurergebnisse...

erledigt. Danke :-)
von cdn
3. Sep 2009 22:31
Forum: Archiv
Thema: Klauselform
Antworten: 1
Zugriffe: 297

Klauselform

In alten Klausuren findet man oft die Aufgabenstellung: Bringen Sie \phi_1 \land \phi_2 \land \phi_3 in Klauselform Was genau versteht man da unter der Klauselform? Ist das die KNF von \phi_1 \land \phi_2 \land \phi_3 oder die Klauselmenge in Mengenschreibweise mit K_{\phi_1 \land \phi_2 \land \phi_...
von cdn
1. Sep 2009 19:35
Forum: Archiv
Thema: LZM geschlossen - alte Klausuren?
Antworten: 36
Zugriffe: 2843

Re: LZM geschlossen - alte Klausuren?

Wenn wir jetzt zeigen können, dass \lim_{n \to \infty} f(x, y) > \left( \frac{1}{6}, \frac{1}{12} \right) und \lim_{n \to -\infty} f(x, y) > \left( \frac{1}{6}, \frac{1}{12} \right) , dann ist das auch der globale Tiefpunkt. Wenn ein Intervall bei der Funktion vorgegeben wäre, müsste man die Interv...
von cdn
31. Aug 2009 13:41
Forum: Archiv
Thema: Ü12 G43 b)
Antworten: 3
Zugriffe: 231

Re: Ü12 G43 b)

ich denke auch, dass sich hier zumindest ein Fehler in die Musterlösung eingeschlichen hat. Setze ich in die Lösungsfunktion 0 ein, so erhalte ich hier (0.25 0.25) und nicht wie gefordert (1 1). Ich habe die Konstante c nicht am Anfang bestimmt sondern erst zum Schluss mit Hilfe der Anfangsbedingung...
von cdn
6. Aug 2009 16:44
Forum: Archiv
Thema: Hilfsmittel
Antworten: 2
Zugriffe: 274

Re: Hilfsmittel

da man ja sein eigenes Papier für die Klausur mitbringt, dürfte es egal sein, wie viele leere Blätter du mitbringst, du für Nebenrechnungen benutzt und dann nicht abgibst.
von cdn
17. Jul 2009 19:05
Forum: TGdI 2
Thema: Übung 11.2c
Antworten: 3
Zugriffe: 1369

Übung 11.2c

In Aufgabe 11.2c sollten wir das Zustandsdiagramm (einer Mips-Mehrtaktimplementierung) "um die Overflow-Behandlung (Exception)" erweitern. In der Musterlösung sind zwei neue Fehlerzustände eingezeichnet worden. Einer für die Overflow-Behandlung eines R-Befehls und einer für einen ungültigen eingeles...
von cdn
18. Mai 2009 20:03
Forum: TU Darmstadt Programming-Contest
Thema: TUD PC 2009?
Antworten: 1
Zugriffe: 1972

TUD PC 2009?

Da alle Informationen (oder zumindest die, die ich gelesen habe) ca. 1 Jahr alt sind, wollte ich mal fragen, ob es dieses Jahr wieder einen TUD PC geben wird?
von cdn
9. Apr 2009 15:33
Forum: TGdI 1
Thema: Klausureinsicht
Antworten: 8
Zugriffe: 2312

Re: Klausureinsicht

Kann es sein, dass im Webreg nur ganze Noten angezeigt werden? Bei mir gibt es zumindest keine Komma-Angabe. ist es denn möglich im Vorfeld schon mal den Notenschlüssel zu erfahren?

Zur erweiterten Suche