Temporale Logik und Zustandssysteme
Ergebnisse des ersten und zweiten Kurztests vom 15.12.2003 und
26.1.2004.

Gelistet sind die letzten sechs Ziffern der Matrikelnummer,
die erreichte Punktzahl im ersten und zweiten Kurztest, die daraus
fuer die Klausur ermittelten Maluspunkte und die in der Klausur
erreichte Punktzahl.

Bei beiden Kurztests waren maximal 20 Punkte zu erreichen, in der
Klausur konnten 40 Punkte erzielt werden.


301039  20   -   0  30
301130  20  11   0  20
301611   6   -  14   
301794   9  15   0  26
302421  16  11   0  21
302631  20   -   0  24
303012  20   -   0  39
303220  12   8   0  24
303354  20   8   0  22
303601  11   9   0  33
304144   2   -  18   
304171   9   -  11   
304317  19  15   0  35
304363  17 8.5   0  29
313765  19   7   0  34
401593   9 6.5 5.5  20
404327   -  14   0   
404659  13 8.5   0  25
405265   5   -  15   
405482  18  11   0  26
411055  17   8   0  22