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




 


 
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 Science   Master of Science    
 
  weitere Informationen zu Computational Science (Prüfungsversion ab WiSe 2019/20)   Computational Science (Prüfungsversion ab WiSe 2019/20)    
 
  weitere Informationen zu III. Vertiefungsmodule Informatik   III. Vertiefungsmodule Informatik    
 
  weitere Informationen zu INF-8062 - Semantik und Typsysteme   INF-8062 - Semantik und Typsysteme    
 
   
 
      552921 Naturwissenschaftlich motivierte formale Modelle    Belegung über PULS
Logo für Vorlesung/Übung Vorlesung/Übung WiSe 2023/24   4 SWS  
Einrichtung: Institut für Informatik und Computational Science
Gruppe 1      jetzt belegen / abmelden
wöch. Mittwoch   14:00 - 16:00
Beginn: 25.10.2023  Ende: 07.02.2024
Raum: 2.70. 0.10
Lehrperson: Bordihn
wöch. Mittwoch   16:00 - 18:00
Beginn: 25.10.2023  Ende: 07.02.2024
Raum: 2.70. 0.10
Lehrperson: Bordihn