Temporale Logik und Zustandssysteme Ergebnisse des ersten Kurztests vom 15.12.2003 Gelistet sind die letzten sechs Ziffern der Matrikelnummer und die erreichte Punktzahl. Maximal waren 20 Punkte zu erreichen. 301039 20 301130 20 301611 6 301794 9 302421 16 302631 20 303012 20 303220 12 303354 20 303601 10 304144 2 304171 9 304317 19 304363 17 313765 19 40 18 (Mat.-Nr. unvollstaendig) 401593 9 404659 13 405265 5 411055 17