Thema: Ergebnisse Wdh-Klausur |
|
|
Frechheit sowas...!
Ich werd auch so langsam aber sicher sauer wenn die Ergebnise nicht bald kommen. Die Anzahl der Leute die mitgeschrieben haben konnte man an ein paar Händen abzählen. So schwer wird das doch nicht sein...
Aber so hat sich Herr Beckert immer schon nach außen präsentiert:
"Mein Laptop geht nicht mehr richtig und ist kaputt. Ich wollte mir schon vor 2 Jahren einen kaufen, doch bin 'irgendwie' nicht dazu gekommen"
Einfach nur verplant! -.-
|
|
Thema: Tableau HK0809 A1 a |
|
|
Ganz einfach:
<>(irgendwas) bedeutet, dass die Welt s mindestens eine ausgehende Kante zur Welt s' besitzen muss, wo val_s'(irgendwas) gelten muss. Da die Welt 2 keine ausgehende Kanten besitzt, kann es diese eine Welt s' nicht geben, da die Menge der ausgehenden Kanten 0 ist, also s' leer ist.
[](irgendwas) bedeutet, dass in alle Welten s' mit R(s,s') die Formel (irgendwas) gelten muss. Wenn wie im Beispiel die Welt 2 keine ausgehenden Kanten hat, ist s' leer, also ist [](irgendwas) in dieser Welt immer wahr, da die Formel für alle s' gilt
EDIT:
vllt kann dir das jemand anderes besser in schriftlicher Form erklären. hab das gefühl, dass man das besser erklären könnte -.-
|
|
Thema: Tableau HK0809 A1 a |
|
|
weil [](irgendwas) schon "zutrifft" im Zustand 5:
Da der Zustand 5 keine ausgehenden Kanten hat, gilt für alle s' € S (die Menge s' ist leer, also s'={}) mit R(s,s'): val_s'(irgendwas) = W
EDIT:
Lass uns das mal aus Zustand 3 betrachten:
Zustand 3 hat zwei ausgehende Kanten, also ist s' = {1,5}.
val_s'(<>1) gilt zwar in der Welt 1, jedoch nicht in der Welt 5, da <>1 bedeutet, dass die Welt 5 mindestens eine ausgehende Kante s'' mit R(s',s'') haben muss, wo val_s''(1) = W ist. Da die Welt 5 keine ausgehende Kanten hat, kann val_s''(1) = W nie zuteffen.
Analog sind die anderen Welten zu betrachten.
|
|
Thema: Ergebnisse |
Jelsch
| Antworten: |
75 |
| Hits: |
4.877 |
|
|
| Zitat: |
Original von Alika
warum wurden die so schnell korrigiert??? |
... ... ... ... ... ... ... ... ... ... ... ... ... ...
Schau dir mal die Matrikelnummern an und wenn du ein Windoof BS hast, dann schau mal unten rechts auf das Datum...
|
|
Thema: Klassisch - Viel Erfolg Thread! |
Jelsch
| Antworten: |
78 |
| Hits: |
2.602 |
|
|
Wenn man sich das hätte merken müssen, dann werden die ein haufen E-Mails nach der herausgabe der Noten beantworten müssen.
Und warum hattet ihr so viele Probleme euch die ID zu verinnerlichen?
Ihr habt doch SWT (!) geschrieben, so was geht dann doch wie im schlaf!
|
|
Thema: Klassisch - Viel Erfolg Thread! |
Jelsch
| Antworten: |
78 |
| Hits: |
2.602 |
|
|
| Zitat: |
Original von Björn
gab ja auch keine Klausur-IDs oder sowas |
Nicht? Was war das dann unten rechts auf den Schmierblättern?
|
|
Thema: Klausurvorbereitungsthread |
Jelsch
| Antworten: |
404 |
| Hits: |
10.450 |
|
|
Als ich SWT gelernt habe, habe ich ernsthaft versucht mir vorzustellen wie schnell die zwei durch die Folien gesprintet sein müssen...
jetzt versuch ich mir vorzustellen, wie langsam und ausführlich(?) der Bellosa die Folien erklärt und behandelt haben muss... sogar Prof. Karl muss in TI schneller gewesen sein! Unglaublich...
Extreme für sich
|
|
Thema: Klausurvorbereitungsthread |
Jelsch
| Antworten: |
404 |
| Hits: |
10.450 |
|
|
ähm, ich will ja nicht mekern, aber ähm...
kann es sein, dass der Umfang des Stoffs im Vergleich zu SWT ein Witz ist?
Ich seh das schon richtig, wenn 5.13_IO_Systems_v die letzten Folien der Vorlesungen sind, oder gibt es irgendwo versteckt weitere Foliensätze?
Edit:
Sind das alle Foliensätze?
Mehr find ich nicht...
|
|
Thema: Ausgeschlossene Klausurthemen |
Jelsch
| Antworten: |
83 |
| Hits: |
2.407 |
|
|
Wenn die ein Logbuch aufgezeichnet bekommen wollen, renn ich runter zum Prof und klatsch ihm erstmal eine!
|
|
Thema: Hörsaalverteilung |
|
|
| Zitat: |
Original von Björn
Nicht, dass wir dann Montags auf einmal vor verschlossenen Türen stehen und es da Probleme mit dem Ablauf gibt :/ |
?
|
|
Thema: Ausgeschlossene Klausurthemen |
Jelsch
| Antworten: |
83 |
| Hits: |
2.407 |
|
|
| Zitat: |
Original von crizal
welche testwerkzeuge sind die denn?
die drei prüfwerkzeuge beim statischen testverfahren, die am ende der folien von "qualitätssicherung 3" dargestellt werden, oder die assertions und junit aus den folien "qualitätsicherung 4"? |
Ich bin jetzt davon ausgegangen, dass bei der 20. Folie (20-Qualitaetssicherung4-VerfahrenUndWerkzeuge.pdf) ab Seite 30 alles wegfällt... hat sich auch nicht sooo interessant angehört
|
|
Thema: Klausurvorbereitung |
Jelsch
| Antworten: |
304 |
| Hits: |
8.956 |
|
|
| Zitat: |
Original von Astiii
Das tippen die Heute im Laufe des Tages noch auf die Homepage bzw. laden eine Sitzplatzverteilung hoch. Je nachdem, ob da ein System herrscht oder nicht.
Keine Sorge, gab in den letzten Jahren erst einmal eine Sitzplatzverwirrung vor einer Klausur soweit mir bekannt.
|
| Zitat: |
| 17.02.10: Hörsaalverteilung für die Klausur am 18.02.: nach dem ersten Buchstaben des Nachnamens: A-O im Gerthsen HS, P-Z im HSaF. |
|
|
|
|