Die Suche ergab 187 Treffer

von barracuda317
4. Mär 2013 17:04
Forum: Archiv
Thema: traces((P || Q)) - Semantik unklar
Antworten: 4
Zugriffe: 784

traces((P || Q)) - Semantik unklar

Hallo, auch bei P || Q habe ich noch ein Verständnisproblem. Es handelt sich hier bekanntlich um nebenläufige Systeme, die bei gemeinsamen Ereignissen synchronisert werden. Die Definition besagt dabei: http://www.abload.de/img/tracesipq9v.png Nun schaue ich mir die Lösung der 13 Übung an, konkret da...
von barracuda317
4. Mär 2013 16:34
Forum: Archiv
Thema: Zeitigkeit bei BEFORE unklar
Antworten: 2
Zugriffe: 496

Zeitigkeit bei BEFORE unklar

Hallo, beim Wiederholen hakt es gerade bei einer Definition. Ich war damit auch schon in der Sprechstunde aber auch dort konnte das Problem nicht geklärt werden. http://www.abload.de/img/beforecksa7.png Eingeführt wurde die Definition in Modul 13 Folie 18 mit der Eigenschaft: "Wenn ein Ereignis aus ...
von barracuda317
1. Jan 2013 18:00
Forum: Archiv
Thema: SSD und DSD, Genauigkeit
Antworten: 2
Zugriffe: 1108

SSD und DSD, Genauigkeit

Leider ist mir nicht ganz klar, inwieweit eine informelle Beschreibung einer Situation abgebildet werden soll. Bei vielen Formeln für SSD und DSD finde ich andere Interpretationen der informellen Beschreibung die meine Formel zu schwach oder zu stark erscheinen lassen. Als Beispiel Folie 14, Foliens...
von barracuda317
1. Jan 2013 16:36
Forum: Archiv
Thema: Aufgabe 6 a)
Antworten: 2
Zugriffe: 830

Re: Aufgabe 6 a)

JannikV hat geschrieben:Hi, das ist nur eine andere Notation für die Potenzmenge. Siehe auch https://de.wikipedia.org/wiki/Potenzmenge#Definition

Was die inhaltliche Einflussnahme angeht. Ich würde mal tippen dass das nicht dazu gehört.

VG
Danke, wieder was gelernt :)
von barracuda317
1. Jan 2013 16:08
Forum: Archiv
Thema: Aufgabe 6 a)
Antworten: 2
Zugriffe: 830

Aufgabe 6 a)

1. Frage Wie ist die Definition der folgenden Abbildung zu verstehen?` pr: R \to 2^P R ist gegeben und P ist gegeben. Was ist aber 2^P ? Erste Intuition: Es ist quasi die Potenzmenge von P, aber die Darstellung 2^P kann ich damit nicht in Verbindung bringen 2. Frage Ist das Verfassens eines Kommenta...
von barracuda317
1. Jan 2013 15:47
Forum: Archiv
Thema: Aufgabe 2 Hausübung
Antworten: 9
Zugriffe: 2007

Re: Aufgabe 2 Hausübung

Da muss man erstmal drauf kommen :mrgreen:
von barracuda317
1. Jan 2013 15:17
Forum: Archiv
Thema: Hausübung A5
Antworten: 4
Zugriffe: 1045

Re: Hausübung A5

c) Leider verstehe ich hier nicht so recht die Aufgabenstellung "... , wenn C das Protokoll zwischen B und A bereits einmal mitgelesen hat." Muss ich mir das wie folgt vorstellen? 1. A authentifiziert sich bei B, C liest alles mit 2. C authentifiziert sich als A bei B Ich habe 2. jedoch unabhängig v...
von barracuda317
30. Dez 2012 19:21
Forum: Archiv
Thema: Hausübung A3 - a)
Antworten: 9
Zugriffe: 1940

Re: Hausübung A3 - a)

Suchen wir nach einem Beweis, dass es geht oder dass es nicht geht?
von barracuda317
30. Dez 2012 17:34
Forum: Archiv
Thema: Aufgabe 2 Hausübung
Antworten: 9
Zugriffe: 2007

Re: Aufgabe 2 Hausübung

Leider ist mir auch Aufgabe ii) etwas Unklar. Ein Übertragungsfehler soll "das Schlimmste" verhindern. Ich habe mir nun überlegt, was ein Übertragungsfehler bewirkt und welche Ausmaße er hat. Was er aber verhindert, weiß ich nicht. Für mich liest sich die Aufgabe so, dass ohne den Übetragungsfehler ...
von barracuda317
24. Okt 2012 13:34
Forum: RBG/Rechner
Thema: Essensverbot und Durchsetzung in den Poolräumen der RBG
Antworten: 18
Zugriffe: 4406

Re: Essensverbot und Durchsetzung in den Poolräumen der RBG

Mal eine Frage zu den Begrifflichkeiten. Die ganze Zeit wird über die Poolräume gesprochen, wobei ich die Poolregeln auch teilweise nachvollziehen kann (die Ausnahmeregel für die Automaten mal abgesehen). Wie jedoch sieht es mit dem studentischen Arbeitsraum E002 aus? Dieser ist meines Wissens nach ...
von barracuda317
23. Okt 2012 09:39
Forum: Archiv
Thema: Videoaufnahmen der Vorlesungen!!!
Antworten: 24
Zugriffe: 4541

Re: Videoaufnahmen der Vorlesungen!!!

Bisher ist mir kein Schlüssel bekannt, daher bringt es wenig, wenn alle nach Schlüsseln rufen.
von barracuda317
23. Okt 2012 09:38
Forum: Archiv
Thema: Upload der Folien
Antworten: 1
Zugriffe: 318

Upload der Folien

Hallo,

leider habe ich bisher keine Folien auf der Seceng-Seite finden können. Es wäre hilfreich, wenn die Folien bereits vor Vorlesungsbeginn online wären, oder zumindest zur Nachbereitung zur Verfügung stehen.
von barracuda317
4. Okt 2012 13:09
Forum: Archiv
Thema: Videoaufnahmen der Vorlesungen!!!
Antworten: 24
Zugriffe: 4541

Re: Videoaufnahmen der Vorlesungen!!!

Kann sich in Moodle-Kurse vergangener Semester einschreiben? Ich habe CE bisher nicht gehört, würde aber gern mal in die Aufzeichnungen schauen. Beim Anmelden im Moodle-Kurs wird ein Einschreibeschlüssel verlangt. Wo bekommt man diesen?
von barracuda317
12. Sep 2012 08:13
Forum: Archiv
Thema: Vorwissen
Antworten: 1
Zugriffe: 218

Vorwissen

Ich würde gern wissen, welches Vorwissen für TS nützlich ist, bzw. welche Veranstaltungen man vorher besucht und verstanden haben sollte. Kann mir da jemand was zu sagen?
von barracuda317
12. Sep 2012 08:13
Forum: Archiv
Thema: Vorwissen
Antworten: 1
Zugriffe: 291

Vorwissen

Ich würde gern wissen, welches Vorwissen für TS nützlich ist, bzw. welche Veranstaltungen man vorher besucht und verstanden haben sollte. Kann mir da jemand was zu sagen?

Zur erweiterten Suche