Current page:
Exercises: 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 98
Home institute Fakultät für Informatik und Elektrotechnik (IEF)
participating institutes Department: Wissen - Kultur - Transformation, IEF/IIN/Informations- und Kommunikationsdienste, IEF/IIN/Theoretische Informatik, IEF/Institut für Informatik (IIN), Interdisziplinäre Fakultät (INF)
Courses type Exercises in category Teaching
First appointment Wed , 17.10.2018 15:00 - 16:00, Room: AE2-EX04

DozentInnen

Times

Wednesday: 15:00 - 16:00, weekly (from 17/10/18), Gruppe 1
Wednesday: 16:00 - 17:00, weekly (from 17/10/18), Gruppe 2
Wednesday: 17:00 - 18:00, weekly (from 17/10/18), Gruppe 3

Topics

(Gruppe 1), (Gruppe 2), (Gruppe 3), (Gruppe 3), (Gruppe 3), (Gruppe 1), (Gruppe 3), (Gruppe 3), (Gruppe 2), (Gruppe 3), (Gruppe 1), (Gruppe 2), (Gruppe 3), (Gruppe 3), (Gruppe 2), (Gruppe 1), (Gruppe 1), (Gruppe 2), (Gruppe 3), (Gruppe 3), (Gruppe 1), (Gruppe 2), (Gruppe 3), (Gruppe 1), (Gruppe 2), (Gruppe 3), (Gruppe 3), (Gruppe 1), (Gruppe 2), (Gruppe 1), (Gruppe 2), (Gruppe 2), (Gruppe 1), (Gruppe 2), (Gruppe 3), (Gruppe 2), (Gruppe 3), (Gruppe 2), (Gruppe 1), (Gruppe 3), (Gruppe 1), (Gruppe 2), (Gruppe 3), (Gruppe 1), (Gruppe 2), (Gruppe 1), (Gruppe 1), (Gruppe 1), (Gruppe 3), (Gruppe 3), (Gruppe 2), (Gruppe 1), (Gruppe 1), (Gruppe 3), (Gruppe 3), (Gruppe 1), (Gruppe 2), (Gruppe 1), (Gruppe 1), (Gruppe 2), (Gruppe 2), (Gruppe 2), (Gruppe 2), (Gruppe 2), (Gruppe 2), (Gruppe 3), (Gruppe 3), (Gruppe 1), (Gruppe 1), (Gruppe 1), (Gruppe 1), (Gruppe 2), (Gruppe 2), (Gruppe 2), (Gruppe 3), (Gruppe 2), (Gruppe 1), (Gruppe 3), (Gruppe 1), (Gruppe 3), (Gruppe 3)

Course location

AE2-EX04

Fields of study