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 

Foto: Matthias Friel

Sie sind hier: Startseite

Vorlesungsverzeichnis (WiSe 2019/20)



Seitenansicht wählen:    kurz   mittel   lang  


 
weitere Informationen zu Vorlesungsverzeichnis   Vorlesungsverzeichnis    
 
  weitere Informationen zu Mathematisch-Naturwissenschaftliche Fakultät   Mathematisch-Naturwissenschaftliche Fakultät    
 
  weitere Informationen zu Institut für Informatik und Computational Science   Institut für Informatik und Computational Science    
 
  weitere Informationen zu Master of Education   Master of Education    
 
  weitere Informationen zu Informatik (Prüfungsversion ab WiSe 2013/14)   Informatik (Prüfungsversion ab WiSe 2013/14)    
 
  weitere Informationen zu Wahlpflichtmodule   Wahlpflichtmodule    
 
  weitere Informationen zu INF 8062 - Automatisierte Logik und Programmierung: Formale Kalküle und Beweissysteme   INF 8062 - Automatisierte Logik und Programmierung: Formale Kalküle und Beweissysteme    
 
   
 
      552911 Naturwissenschaftlich motivierte formale Modelle    Belegung über PULS
Logo für Vorlesung Vorlesung WiSe 2019/20    
Einrichtung: Institut für Informatik und Computational Science
Gruppe 1      jetzt belegen / abmelden
wöch. Donnerstag   14:00 - 16:00
Beginn: 17.10.2019  Ende: 06.02.2020 		Raum: 3.04. 1.02
Lehrperson: Bordihn
 
      552921 Naturwissenschaftlich motivierte formale Modelle    Belegung über PULS
Logo für Übung Übung WiSe 2019/20    
Einrichtung: Institut für Informatik und Computational Science
Gruppe 1      jetzt belegen / abmelden
wöch. Freitag   10:00 - 12:00
Beginn: 18.10.2019  Ende: 07.02.2020 		Raum: 3.04. 0.02
Lehrperson: Bordihn
 
 

© Copyright HIS
Hochschul-Informations-System eG