Die Suche ergab 114 Treffer

von C0RNi666
8. Mai 2012 16:35
Forum: Archiv
Thema: Ex 3 Hardware Interfaces
Antworten: 5
Zugriffe: 320

Re: Ex 3 Hardware Interfaces

From a testing point of perspective, are we required to implement the interfaces as well?
von C0RNi666
26. Apr 2012 16:21
Forum: Archiv
Thema: Übungen online stellen
Antworten: 2
Zugriffe: 665

Re: Übungen online stellen

*klatsch-die-flache-hand-auf-den-kopp* :!:

Ja, Danke!

:mrgreen:
von C0RNi666
25. Apr 2012 14:49
Forum: Archiv
Thema: Übungen online stellen
Antworten: 2
Zugriffe: 665

Übungen online stellen

Moin! Vielleicht wurde das schon gesagt und ich habe es verpasst, aber werden die Übungsblätter online gestellt? Ich sehe in dem internen Bereich im Moment nur die Folien.. Musterlösungen werden nicht für jede Übung verfügbar gemacht, oder wie war das? Das wäre als Referenz allerdings deutlich angen...
von C0RNi666
5. Okt 2011 16:33
Forum: Allgemein
Thema: 404 Pruefungsplan-Tool
Antworten: 1
Zugriffe: 494

404 Pruefungsplan-Tool

Moin,

momentan ist das Pruefungsplan-Tool nicht erreichbar.

http://inferno.dekanat.informatik.tu-darmstadt.de/pp/

Waere super, wenn das jemand fixen koennte.

Danke!
von C0RNi666
15. Apr 2010 15:59
Forum: Archiv
Thema: Einsicht Ausweichtermin
Antworten: 2
Zugriffe: 312

Einsicht Ausweichtermin

Organisatorisch war die Einsicht heute ja wohl mehr als daneben... Um 14:30 nach Plan dort gewesen und bis um 4 nutzlos Zeit vergeudet. Ich bin sicher nicht der einzige, der davon ausgegangen ist, er könne um 16:00 Uhr einen anderen Termin wahrnehmen. Sobald die alternative Einsicht terminlich fixie...
von C0RNi666
6. Apr 2010 12:47
Forum: Archiv
Thema: Homepage des Praktikums
Antworten: 2
Zugriffe: 4070

Re: Homepage des Praktikums

Der Link zielt auf das Praktikum im SS08 ab. Der richtige Link müsste http://www.fmis.informatik.tu-darmstadt ... -ss10.html lauten
von C0RNi666
9. Mär 2010 15:58
Forum: Archiv
Thema: Alte Klausuren?
Antworten: 18
Zugriffe: 1867

Re: Alte Klausuren?

@mister_tt, meine Lösung sieht ähnlich aus wie deine. Eventuell kannst du dir bei geeigneter Modellierung den Parameter d in dem Ereignis überquere(d, P) sparen. Dann noch eine andere Variante.. (rA)~\frac{ <AX.b, \sigma, (z_1, ..., z_{n-1})>\Rightarrow ~ true ~~<b[X \rightarrow z_{n}], ~ \sigma> \D...
von C0RNi666
9. Mär 2010 15:21
Forum: Archiv
Thema: Alte Klausuren?
Antworten: 18
Zugriffe: 1867

Re: Alte Klausuren?

Habe meinen Beitrag nochmal editiert...
von C0RNi666
9. Mär 2010 14:49
Forum: Archiv
Thema: Alte Klausuren?
Antworten: 18
Zugriffe: 1867

Re: Alte Klausuren?

Ah ok, vielen Dank euch beiden. Bezüglich der 2. Aufgabe habe ich folgende Kalkülregeln hinzugefügt: 1. Teilaufgabe (rEf)~ \frac{}{<EX.b, ~ \sigma>, ~ Z> \Rightarrow ~ false>}~~Z = () 2. Teilaufgabe: (rA)~\frac{<b[X \rightarrow z_{1}], ~ \sigma> \Downarrow true~~ <AX.b, \sigma, (z_2, ..., z_n)>\Righ...
von C0RNi666
9. Mär 2010 13:11
Forum: Archiv
Thema: Alte Klausuren?
Antworten: 18
Zugriffe: 1867

Re: Alte Klausuren?

...na dann ist doch aber die Menge {l,r} überflüssig, da die Zuordnung zum Ufer ja implizit durch die beiden Potenzmengen eindeutig definiert ist -> Erste Potenzmenge repräsentiert die Menge der Personen auf der linken Seite und die 2. Potenzmenge repräsentiert die Menge der Personen auf der Rechten...
von C0RNi666
9. Mär 2010 12:33
Forum: Archiv
Thema: Alte Klausuren?
Antworten: 18
Zugriffe: 1867

Re: Alte Klausuren?

Bezüglich der 1. Aufgabe der Probeaufgaben aus oben genanntem Link: Hat jemand eine Erklärung wieso es bei der Formulierung der Zustandsmenge S nötig sein kann diese mitunter als Kreuzprodukt von 2 Mengen M zu definieren? Würde es zb nicht reichen S = {l, r} x P(M) x N zu definieren, statt S = {l, r...
von C0RNi666
23. Feb 2010 18:57
Forum: Post-Quantum Cryptography
Thema: Ex. 13 T1 a)
Antworten: 2
Zugriffe: 624

Re: Ex. 13 T1 a)

Zum einen kommen die x_i daher, dass der Körper F_{256} = F_{2^8} zu F_{2}[x] /<f> mit entsprechendem f vom Grad 8 isomorph ist. Somit kannst du alle Elemente aus F_{256} mit Polynomen darstellen. Da wir bei der Addition in dem Körper F_{2}[x] /<f> mit Resten modulo f rechnen, hat das xor die gleich...
von C0RNi666
23. Feb 2010 18:36
Forum: Post-Quantum Cryptography
Thema: Hausübung 6 (HNF)
Antworten: 7
Zugriffe: 1058

Re: Hausübung 6 (HNF)

Find ich gut, dass du deine Idee gepostet hast ;)
von C0RNi666
22. Feb 2010 11:02
Forum: Post-Quantum Cryptography
Thema: Fehler in der Gesamtmitschrift zu MSS?
Antworten: 16
Zugriffe: 2168

Re: Fehler in der Gesamtmitschrift zu MSS?

Bisher stimme ich hannes zu, habe noch eine kleine ergänzung:

seite 54 General Oil and Vinegar Scheme. Beim oil & vinegar polynom q sollte doch die Summe über d_j * x_j bis v statt bis o laufen, oder?
von C0RNi666
21. Feb 2010 13:12
Forum: Post-Quantum Cryptography
Thema: Fertigstellung...
Antworten: 12
Zugriffe: 1320

Re: Fertigstellung...

Stimmt, dann müssen aber nur die Ideale anders gewählt werden. Sei das Ideal I = {0, 2, 4, 5, 7, ....} (also alle Vielfachen von 2 und 5, sowie alle Summen aus diesen beiden) ein Ideal auf Z und das Ideal J = {0, 3, 6, 7, 9, 10, ...} (also alle Vielfachen von 3 und 7 sowie alle Summen) auch ein Ide...

Zur erweiterten Suche