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     
Sommer 2024    Hilfe  Trennstrich  Sitemap  Trennstrich  Impressum  Trennstrich  Datenschutz  Trennstrich  node2  Trennstrich  Switch to english language

Veranstaltung

Formale Methoden der Informatik

  • Funktionen:

Grunddaten

Veranstaltungsart Übung SWS 1.00
Veranstaltungsnummer 23519 Semester WS 2021/22
Sprache Deutsch Studienjahr
Hyperlink Stud.IP Lehrveranstaltung nicht mit Stud.IP synchronisiert

Belegung über StudIP

Es gibt keine Informationen zu einem Belegungsverfahren.

Module

1100670 Theoretische Informatik
1101310 Formale Methoden der Informatik

Termine Gruppe: Gruppe 1 iCalendar Export für Outlook

  Tag Zeit Rhythmus Dauer Raum Raum-
plan
Lehrperson Status Bemerkung fällt aus am Max. Teilnehmer/-innen
Einzeltermine anzeigen
iCalendar Export für Outlook
Mo. 15:00 bis 16:00 woch 11.10.2021 bis 24.01.2022  Parkstr. 6 - HS 3, Raum 201, Parkstr. 6 Raumplan Rosenke findet statt    
Gruppe Gruppe 1:
 

Termine Gruppe: Gruppe 2 iCalendar Export für Outlook

  Tag Zeit Rhythmus Dauer Raum Raum-
plan
Lehrperson Status Bemerkung fällt aus am Max. Teilnehmer/-innen
Einzeltermine anzeigen
iCalendar Export für Outlook
Mo. 16:00 bis 17:00 woch 11.10.2021 bis 24.01.2022  Parkstr. 6 - HS 3, Raum 201, Parkstr. 6 Raumplan Rosenke findet statt    
Gruppe Gruppe 2:
 

Termine Gruppe: Gruppe 3 iCalendar Export für Outlook

  Tag Zeit Rhythmus Dauer Raum Raum-
plan
Lehrperson Status Bemerkung fällt aus am Max. Teilnehmer/-innen
Einzeltermine anzeigen
iCalendar Export für Outlook
Mi. 17:00 bis 18:00 woch 13.10.2021 bis 26.01.2022  Parkstr. 6 - HS 3, Raum 201, Parkstr. 6 Raumplan Rosenke findet statt    
Gruppe Gruppe 3:
 

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 (2021) 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 2021/22 , Aktuelles Semester: Sommer 2024