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.

 

News zur Vorlesung

Keine Vorlesung am 21.04.2016!

Read more

Die erste Vorlesung findet am Donnerstag, den 14.04.16 statt.

Read more

In der ersten Vorlesungswoche finden keine Übungsgruppen statt.

Read more