Prüfungsmodalitäten
Die Modulabschlussprüfung setzt sich aus zwei Teilleistungen zusammen - Tests am Ende aller Themengebiete und schriftlichen Klausur über 90min nach Ende der Vorlesungszeit. Übungsblätter müssen nicht abgegeben werden.
Minitests:
- erster Minitest zu Petri-Netzen: 02.06.16
- zweiter Minitest zu CCS: 30.06.16
- dritter Minitest zu Timed Automata: 21.07.16
Wenn Sie an den Tests nicht teilnehmen können aufgrund von universitären Parallelveranstaltungen oder aufgrund von Krankheit (mit Attest), wenden Sie sich bitte an Julia Krämer.
Klausuren:
Die Klausur findet am Freitag, den 05.08.16, statt. Die genaue Uhrzeit und der Raum werden rechtzeitig bekannt gegeben.