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 Bachelor of Science   Bachelor of Science    
 
  weitere Informationen zu Informatik (Prüfungsversion ab WiSe 2008/09)   Informatik (Prüfungsversion ab WiSe 2008/09)    
 
  weitere Informationen zu Theoretische Informatik   Theoretische Informatik    
 
   
    Veranstaltungsart Titel der Veranstaltung
 
550421 Logo für Vorlesung/Übung Vorlesung/Übung Theoretische Informatik II: Effiziente Algorithmen belegen/abmelden
550821 Logo für Vorlesung/Übung Vorlesung/Übung Principles of Data- and Knowledge-Base Systems belegen/abmelden
550831 Logo für Praktikum Praktikum Principles of Data- and Knowledge-Base Systems belegen/abmelden
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
555211 Logo für Forschungsseminar Forschungsseminar Knowledge-based Systems belegen/abmelden
555211 Logo für Forschungsseminar Forschungsseminar Knowledge Representation and Reasoning belegen/abmelden
555211 Logo für Oberseminar Oberseminar Theorie-Kolloquium belegen/abmelden
555611 Logo für Oberseminar Oberseminar Cartesisches Seminar belegen/abmelden
555611 Logo für Oberseminar Oberseminar Lehrstuhlkolloquium II - Diplomanden- und Doktorandenseminar - Didaktik der Informatik belegen/abmelden
Logo für Blockseminar Blockseminar Cartesisches Seminar - Formale Spezifikationen belegen/abmelden
 

© Copyright HIS
Hochschul-Informations-System eG