Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2

Startseite

Anmelden

Studentisches Leben Veranstaltungen Einrichtungen Räume und Gebäude Personen Forschung

Veranstaltung

Formale Methoden der Informatik

Funktionen:

Seiteninhalt:
Grunddaten
Belegung
Module
Termine
Verantwortliche Personen
Studiengänge
Einrichtungen
Strukturbaum

Grunddaten

Veranstaltungsart	Übung	SWS	1.00
Veranstaltungsnummer	23519	Semester	WS 2018/19
Sprache	Deutsch	Studienjahr
Hyperlink		Stud.IP

Belegung

Status	Link
offene Belegungung in StudIP

Module

Theoretische Informatik

Termine Gruppe: Gruppe 1

	Tag	Zeit	Rhythmus	Dauer	Raum	Raum- plan	Lehrperson	Status	Bemerkung	fällt aus am	Max. Teilnehmer/-innen
	Mi.	15:00 bis 16:00	woch	17.10.2018 bis 30.01.2019	A.-Einstein-Str. 2 - Ex 04, Hörsaal - Experimentalgebäude, A.-Einstein-Str. 2		Liebke	findet statt

Gruppe Gruppe 1:

vormerken

Termine Gruppe: Gruppe 2

	Tag	Zeit	Rhythmus	Dauer	Raum	Raum- plan	Lehrperson	Status	Bemerkung	fällt aus am	Max. Teilnehmer/-innen
	Mi.	16:00 bis 17:00	woch	17.10.2018 bis 30.01.2019	A.-Einstein-Str. 2 - Ex 04, Hörsaal - Experimentalgebäude, A.-Einstein-Str. 2		Liebke	findet statt

Gruppe Gruppe 2:

vormerken

Termine Gruppe: Gruppe 3

	Tag	Zeit	Rhythmus	Dauer	Raum	Raum- plan	Lehrperson	Status	Bemerkung	fällt aus am	Max. Teilnehmer/-innen
	Mi.	17:00 bis 18:00	woch	17.10.2018 bis 30.01.2019	A.-Einstein-Str. 2 - Ex 04, Hörsaal - Experimentalgebäude, A.-Einstein-Str. 2		Liebke	findet statt

Gruppe Gruppe 3:

vormerken

Verantwortliche Personen

Verantwortliche Personen	Zuständigkeit
Prof. Dr. rer.nat.habil. Clemens H. Cap
Prof. Dr. rer.nat.habil. Karsten Wolf

Studiengänge

Studiengang/Abschluss/Prüfungsversion	Semester	Teilnahmeart
Informatik, Bachelor (2016)	3. Semester	obligatorisch
Wirtschaftsinformatik, Bachelor (2007)	5. Semester	wahlobligatorisch

Zuordnung zu Einrichtungen

Fakultät für Informatik und Elektrotechnik (IEF)

Zugehörige weitere Veranstaltung
Nr.	Veranstaltungsart	Beschreibung	SWS
23519	Vorlesung	Formale Methoden der Informatik	3.00

Strukturbaum

Keine Einordnung ins Vorlesungsverzeichnis vorhanden. Veranstaltung ist aus dem Semester WS 2018/19 , Aktuelles Semester: Sommer 2019