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     
Winter 2017/18    Hilfe  Trennstrich  Sitemap  Trennstrich  Impressum  Trennstrich  node1  Trennstrich  Switch to english language

Veranstaltung

Formale Methoden der Informatik

  • Funktionen:

Grunddaten

Veranstaltungsart Vorlesung SWS 3.00
Veranstaltungsnummer 23519 Erwartete Teilnehmer/-innen
Semester WS 2016/17 Max. Teilnehmer/-innen
Sprache Deutsch Studienjahr
Hyperlink Stud.IP Link zu dieser Lehrveranstaltung in Stud.IP

Belegung

Belegungsverfahren Status Link
Belegung über Stud.IP    kein Verfahren / keine Info   

Termine Gruppe: [unbenannt] 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. 11:00 bis 13:00 ungerWoch 10.10.2016 bis 16.01.2017  A.-Einstein-Str. 22 - HS 037, A.-Einstein-Str. 22 Raumplan Cap findet statt    
Einzeltermine anzeigen
iCalendar Export für Outlook
Fr. 11:00 bis 13:00 woch 14.10.2016 bis 27.01.2017  Parkstr. 6 - HS 3, Raum 201, Parkstr. 6 Raumplan Cap findet statt    
Gruppe [unbenannt]:
 

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 (2012) 3. Semester obligatorisch
Wirtschaftsinformatik, Bachelor (2007) 5. Semester wahlobligatorisch

Module

1100670 Theoretische Informatik

Zuordnung zu Einrichtungen

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


Zugehörige weitere Veranstaltung
Nr. Veranstaltungsart Beschreibung SWS
23519 Übung Formale Methoden der Informatik 1.00

Strukturbaum

Keine Einordnung ins Vorlesungsverzeichnis vorhanden. Veranstaltung ist aus dem Semester WS 2016/17 , Aktuelles Semester: Winter 2017/18