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 (SoSe 2023)



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 Bachelor of Science   Bachelor of Science    
 
  weitere Informationen zu Computational Science (Prüfungsversion ab WiSe 2019/20)   Computational Science (Prüfungsversion ab WiSe 2019/20)    
 
  weitere Informationen zu II. Aufbaumodule Informatik   II. Aufbaumodule Informatik    
 
  weitere Informationen zu INF-2060 - Logik, Berechnung und Komplexität   INF-2060 - Logik, Berechnung und Komplexität    
 
   
 
      552021 Inferenz-Methoden    Belegung über PULS
Logo für Vorlesung/Übung Vorlesung/Übung SoSe 2023    
Einrichtung: Institut für Informatik und Computational Science
Gruppe 1      jetzt belegen / abmelden
wöch. keine Angabe    
Raum:
Lehrperson: Kreitz
wöch. keine Angabe    
Raum:
Lehrperson: Kreitz
 
      552121 Automatisierte Logik und Programmierung: Formale Kalküle und Beweissysteme    Belegung über das Fach
Logo für Vorlesung/Übung Vorlesung/Übung SoSe 2023   4 SWS  
Einrichtung: Institut für Informatik und Computational Science
Gruppe 1       
wöch. Montag    
Raum:
Lehrperson: Kreitz
wöch. Montag    
Raum:
Lehrperson: Kreitz
 
 

© Copyright HIS
Hochschul-Informations-System eG