uni:6:start
This is an old revision of the document!
−Table of Contents
6. Semester
Wann | Wo | Was |
---|---|---|
24.07. (Do) 13:45 – 16:00 Uhr | Klausur FSK | |
25.07. (Fr) 14:30 – 16:00 Uhr | Klausur IPIT |
Formale Spezifikation und Verifikation (FSV)
- Dozent: Martin Hofmann
- Übungsleiter: Ulrich Schöpp
- Übungsbedingungen: ???
- Klausur: ???
- Klausurbedingungen: ???
Intellectual Property & Information Technology (IPIT)
- Dozent: Claudia Schwarz
- Helfer: Philipp Marcus
- Klausur: 25.07. (Fr); 14:30 – 16:00 Uhr
- Klausurbedingungen: bestehen/nicht bestehen
Seminar
- Inhalt: Seminar Kommunikationssysteme
Formale Sprachen und Komplexität (FSK)
- Dozent: Hans Jürgen Ohlbach
- Tutorien: Hans Jürgen Ohlbach
- Übungsleiter: Niels Becker
- Übungsbedingungen: Freiwillig; HErausgabe: Donnerstag; Abgabe: Donenrstag
- Klausur: 24.07 (Do); 13:45 – 16:00 Uhr (NACHKLAUSUR IM 8. SEMSETER!)
- Klausurbedingungen: Teils multiple choice; ???
- Inhalt: fsk
uni/6/start.1396815963.txt.gz · Last modified: 2020-11-18 18:10 (external edit)