Allgemeine Informationen

Veranstaltungsname	Übung: Formale Methoden der Informatik
Veranstaltungsnummer	23519
Semester	WS 2018/19
Aktuelle Anzahl der Teilnehmenden	101
Heimat-Einrichtung	Fakultät für Informatik und Elektrotechnik (IEF)
beteiligte Einrichtungen	IEF/Bereich Informatik, IEF/IIN/Informations- und Kommunikationsdienste, IEF/IN/IFI/Theoretische Informatik, INF/Department: Wissen - Kultur - Transformation, Interdisziplinäre Fakultät (INF)
Veranstaltungstyp	Übung in der Kategorie Lehre
Erster Termin	Mittwoch, 17.10.2018 15:00 - 16:00

Lehrende

Themen

(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)

Räume und Zeiten

Keine Raumangabe: Mittwoch: 15:00 - 16:00, wöchentlich(13x); Mittwoch: 16:00 - 17:00, wöchentlich(13x); Mittwoch: 17:00 - 18:00, wöchentlich(13x)

Studienbereiche

Studienbegleitendes Portal für Präsenzlehre der Universität Rostock
- Vorlesungsverzeichnis WS 2018/2019
  - Fakultät für Informatik und Elektrotechnik
    - Bachelor Wirtschaftsinformatik
    - Bachelor Informatik