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
S
tartseite
A
nmelden
Winter 2024/25
Hilfe
Sitemap
Impressum
Datenschutz
node1
Studentisches Leben
Veranstaltungen
Einrichtungen
Räume und Gebäude
Personen
Forschung
Startseite
Veranstaltung
Formale Methoden der Informatik
Funktionen:
Seiteninhalt:
Grunddaten
Belegung über StudIP
Module
Termine
Verantwortliche Personen
Studiengänge
Einrichtungen
Strukturbaum
Grunddaten
Veranstaltungsart
Übung
SWS
1.00
Veranstaltungsnummer
23519
Semester
WS 2020/21
Sprache
Deutsch
Studienjahr
Hyperlink
Stud.IP
Belegung über StudIP
Es gibt keine Informationen zu einem Belegungsverfahren.
Module
1100670
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
04.11.2020 bis 27.01.2021
Parkstr. 6 - HS 3, Raum 201, Parkstr. 6
findet statt
Einzeltermine:
04.11.2020
11.11.2020
18.11.2020
25.11.2020
02.12.2020
09.12.2020
16.12.2020
06.01.2021
13.01.2021
20.01.2021
27.01.2021
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
04.11.2020 bis 27.01.2021
Parkstr. 6 - HS 3, Raum 201, Parkstr. 6
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
04.11.2020 bis 27.01.2021
Parkstr. 6 - HS 3, Raum 201, Parkstr. 6
Rosenke
findet statt
Gruppe Gruppe 3:
vormerken
Termine Gruppe: Gruppe 4
Tag
Zeit
Rhythmus
Dauer
Raum
Raum-
plan
Lehrperson
Status
Bemerkung
fällt aus am
Max. Teilnehmer/-innen
Mi.
18:00 bis 19:00
woch
04.11.2020 bis 27.01.2021
Onlineveranstaltung - Onlineveranstaltung
Rosenke
findet statt
Gruppe Gruppe 4:
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
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 2020/21 , Aktuelles Semester: Winter 2024/25