D120.de/forum

Das Studentenwerk Gießen ist uns zumindest heute um einiges voraus. Dort existiert an der Uni eine zentrale Karte für alles (Bibliothek, Mensa, Kopieren, Studentenausweis, Authentifizierung zur Prüfungsanmeldung). Und die sparen sich auch nen erheblichen Aufwand, indem die Karte nicht jedes Semester...

Da der heutige Tag afaik noch nicht zum neuen Semester gehört und bei der Vorlesung steht, dass sie erst nächste Woche startet, geh ich mal von aus, dass auch erst nächste Woche Vorlesung ist.
Und am Donnerstag ist dann eben schon Übung (evtl wird ja dann auch da schonmal eine Vorlesung gehalten).

Hallo,
ist einem von euch zufällig der genaue Termin und Zeitpunkt der BP-Messe bekannt?

Eigentlich sollte sich die Reliability meinem Verständnis bei längerer Laufzeit bei einem Wert einpendeln. Zu Beginn ist sie natürlich sehr hoch, da kaum Nachrichten im System sind und diese somit sehr zuverlässig zugestellt werden, und mit der Zeit sinkt sie dann (das müsste recht schnell gehen). A...

Ansätze:
- Message rumschicken, in die sich jeder einträgt, der sie bekommt
- für alle Messages im System Sender und Empfänger betrachten und darüber transitive Hülle basteln

Wäre schön, wenn die Notengrenzen noch bekannt gegeben werden würden.

Wow, sogar schon einen Tag vorm voraussichtlichen Termin.
Ein weiterer Punkt, von dem sich andere Veranstalter mal was abgucken könnten

Wäre schön, wenn es noch eine Übersicht über die Punktegrenzen geben würde.

Auf die Frage per eMail, wie Alternative zu ar_not, ar_not_true und ar_not_false aussehen sollen hat Herr Schuster mir eben folgendes geantwortet:

"Da ist mir ein Fehler unterlaufen. Es gibt keine Alternativen."

Öhm.....gute Frage. Ich würde mal behaupten, dass in der Definition von BEFORE etwas fehlt und zwar, dass die Implikation für die komplette Trace-Menge eines Prozesses gelten muss. Da die Trace-Menge unter Präfixbildung abgeschlossen ist, wäre auch der Trace (down) drin - für diesen ist die Implikat...

Nein, es liefert genau dann true, wenn erst mindestens ein Ereignis, dass sich in F befindet, passiert und erst dann Ereignisse aus G passieren dürfen.

Die Implikation sagt ja, dass dann, wenn ein Ereignis aus G passiert ist, auch schon ein Ereignis aus F passiert sein muss.

@ marlic: ich meinte nicht die Vertauschung der Prämissen, sondern die Vertauschung der Ausdrücke in der Konklusion. Also z.B. aus "a0 and a1" ein "a1 and a0" machen - da wir ja kein Kommutativgesetz für AND gegeben haben. Hmmm, letztlich läuft das ja auch wieder auf eine Vertauschung in den Prämiss...

Seh ich auch so.....mein Tutor hat es jedoch als falsch angestrichen.

Also abgesehn davon, dass ich die Aufgabenstellung falsch verstanden habe und nicht durchblickt habe, dass bei der c.) auch noch mit Strichlisten gearbeitet wird, bin ich mir mit dem Verständnis der Lösung nicht so ganz sicher. Sehe ich das richtig, dass ein Ausdruck aus Aexp dann eben nicht mehr au...

Also bei ar=t und art=f kann man die beiden a1 und a2 jeweils vertauschen in der Gleichung in der Konklusion. Bei den Regeln ar_and_1, ar_and_2, ar_and_3 kann man auch einfach Vertauschungen in der Konklusion vornehmen. Ebenso bei den or-Regeln. Hmm, bei den kleiner-gleich-Regeln frag ich mich das g...

Auch, wenn D = R, D=Q, D=Z