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 2021)



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 2011/12)   Informatik (Prüfungsversion ab WiSe 2011/12)    
 
  weitere Informationen zu Vertiefungsmodul Informatik I u. II   Vertiefungsmodul Informatik I u. II    
 
  weitere Informationen zu Theoretische Informatik   Theoretische Informatik    
 
   
    Veranstaltungsart Titel der Veranstaltung
 
551921 Logo für Vorlesung/Übung Vorlesung/Übung Codierungstheorie belegen/abmelden
554611 Logo für Vorlesung/Übung Vorlesung/Übung Automatisierte Logik und Programmierung II: Beweisautomatisierung und Programmsynthese belegen/abmelden
Logo für Vorlesung/Übung Vorlesung/Übung Mathematisches Beweisen lernen mithilfe des Beweisassistenten Coq belegen/abmelden
 

© Copyright HIS
Hochschul-Informations-System eG