Current page:
Lecture: Formale Methoden der Informatik - Details

  • Detaillierte Informationen über die Veranstaltung werden angezeigt, wie z.B. die Veranstaltungsnummer, Zuordnungen, DozentInnen, TutorInnen etc. In den Detail-Informationen ist unter Aktionen das Eintragen in eine Veranstaltung möglich.

  • Bei weiteren Fragen und/oder Problemen schreiben Sie bitte eine E-Mail an: studip-support@uni-rostock.de
  • Please mail to studip-support@uni-rostock.de if you got further questions or problems
You are not logged in.

Formale Methoden der Informatik

General information

Course number 23519
Semester WS 2018/19
Current number of participants 105
Home institute Fakultät für Informatik und Elektrotechnik (IEF)
participating institutes Department: Wissen - Kultur - Transformation, IEF/IIN/Informations- und Kommunikationsdienste, IEF/IN/IFI/Theoretische Informatik, IEF/Lehreinheit Informatik (IN), Interdisziplinäre Fakultät (INF)
Courses type Lecture in category Teaching
First appointment Fri , 19.10.2018 11:00 - 13:00, Room: P6-HS3 - nur für Dozenten: Schlüssel zur Verstärkeranlage im Studien- und Prüfungsamt Informatik und Elektrotechnik, A.-Einstein-Str. 2, Seminargebäude, Raum 15a oder 16

DozentInnen

Times

Friday: 11:00 - 13:00, weekly (from 19/10/18), Location: P6-HS3 - nur für Dozenten: Schlüssel zur Verstärkeranlage im Studien- und Prüfungsamt Informatik und Elektrotechnik, A.-Einstein-Str. 2, Seminargebäude, Raum 15a oder 16
Appointments on Monday. 22.10., Monday. 05.11., Monday. 19.11., Monday. 03.12., Monday. 17.12., Monday. 14.01., Monday. 28.01. 11:00 - 13:00, Room: AE22-HS037

Course location

P6-HS3 - nur für Dozenten: Schlüssel zur Verstärkeranlage im Studien- und Prüfungsamt Informatik und Elektrotechnik, A.-Einstein-Str. 2, Seminargebäude, Raum 15a oder 16 Fri.. 11:00 - 13:00 (14x)
AE22-HS037 Monday. 22.10., Monday. 05.11., Monday. 19.11., Monday. 03.12., Monday. 17.12., Monday. 14.01., Monday. 28.01. 11:00 - 13:00

Fields of study