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



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 Education   Bachelor of Education    
 
  weitere Informationen zu Informatik (Prüfungsversion ab WiSe 2011/12)   Informatik (Prüfungsversion ab WiSe 2011/12)    
 
  weitere Informationen zu Vertiefungsmodul Informatik   Vertiefungsmodul Informatik    
 
  weitere Informationen zu Theoretische Informatik   Theoretische Informatik    
 
   
 
      550411 Theoretische Informatik II: Effiziente Algorithmen    Belegung über PULS
Logo für Vorlesung Vorlesung SoSe 2017    
Einrichtung: Institut für Informatik und Computational Science
Gruppe 1      jetzt belegen / abmelden
wöch. Freitag   08:00 - 10:00
Beginn: 21.04.2017  Ende: 28.07.2017 		Raum: 3.06. H04
Lehrperson: Kreitz ,  Brede
Einzel Freitag   08:00 - 10:00
Beginn: 16.06.2017  Ende: 16.06.2017 		Raum: 3.01. H09
Lehrperson: Kreitz ,  Brede
 
      550421 Theoretische Informatik II: Effiziente Algorithmen    Belegung über PULS
Logo für Übung Übung SoSe 2017    
Einrichtung: Institut für Informatik und Computational Science
Gruppe 1      jetzt belegen / abmelden
wöch. Montag   14:00 - 16:00
Beginn: 17.04.2017  Ende: 24.07.2017 		Raum: 3.04. 1.02
Lehrperson: Brede ,  Kreitz
Gruppe 2      jetzt belegen / abmelden
wöch. Mittwoch   08:00 - 10:00
Beginn: 19.04.2017  Ende: 26.07.2017 		Raum: 3.06. S17
Lehrperson: Brede ,  Kreitz
Gruppe 3      jetzt belegen / abmelden
wöch. Mittwoch   16:00 - 18:00
Beginn: 19.04.2017  Ende: 26.07.2017 		Raum: 3.06. S28
Lehrperson: Brede ,  Kreitz
Gruppe 4      jetzt belegen / abmelden
wöch. Mittwoch   16:00 - 18:00
Beginn: 19.04.2017  Ende: 26.07.2017 		Raum: 3.06. S28
Lehrperson: Brede ,  Kreitz
Gruppe 5      jetzt belegen / abmelden
wöch. Mittwoch   14:00 - 16:00
Beginn: 19.04.2017  Ende: 26.07.2017 		Raum: 3.07. 0.38
Lehrperson: Kreitz ,  Brede
 
      550431 Theoretische Informatik II: Effiziente Algorithmen    Belegung über PULS
Logo für Tutorium Tutorium SoSe 2017    
Einrichtung: Institut für Informatik und Computational Science
Gruppe 1      jetzt belegen / abmelden
wöch. Donnerstag   12:00 - 14:00
Beginn: 20.04.2017  Ende: 27.07.2017 		Raum: 3.06. H05
Lehrperson: Kreitz ,  Brede
Einzel Donnerstag   12:00 - 14:00
Beginn: 27.04.2017  Ende: 27.04.2017 		Raum: 3.01. H10
Lehrperson: Kreitz ,  Brede
 
      551111 Computational Intelligence    Belegung über PULS
Logo für Vorlesung Vorlesung SoSe 2017    
Einrichtung: Institut für Informatik und Computational Science, Institut für Physik und Astronomie
Gruppe 1      jetzt belegen / abmelden
wöch. Freitag   12:00 - 14:00
Beginn: 21.04.2017  Ende: 28.07.2017 		Raum: 3.06. H01
Lehrperson: Schaub ,  Gebser
Einzel Freitag   12:00 - 14:00
Beginn: 16.06.2017  Ende: 16.06.2017 		Raum: 3.06. S16
Lehrperson: Schaub ,  Gebser
 
      551121 Computational Intelligence    Belegung über PULS
Logo für Übung Übung SoSe 2017    
Einrichtung: Institut für Informatik und Computational Science
Gruppe 1      jetzt belegen / abmelden
wöch. Montag   14:00 - 16:00
Beginn: 17.04.2017  Ende: 24.07.2017 		Raum: 3.06. H01
Lehrperson: Gebser
 
      551131 Computational Intelligence    Belegung über PULS
Logo für Projekt Projekt SoSe 2017    
Einrichtung: Institut für Informatik und Computational Science
Gruppe 1      jetzt belegen / abmelden
wöch. Dienstag   16:00 - 18:00
Beginn: 18.04.2017  Ende: 25.07.2017 		Raum: 3.04. 0.04
Lehrperson: Gebser
 
      552231 Agent-technology    Belegung über PULS
Logo für Seminar Seminar SoSe 2017    
Einrichtung: Institut für Informatik und Computational Science
Gruppe 1      jetzt belegen / abmelden
wöch. Donnerstag   14:00 - 16:00
Beginn: 20.04.2017  Ende: 27.07.2017 		Raum: 3.04. 2.01
Lehrperson: Schaub ,  Romero Davila
 
      552241 Agent-technology    Belegung über PULS
Logo für Praktikum Praktikum SoSe 2017    
Einrichtung: Institut für Informatik und Computational Science
Gruppe 1      jetzt belegen / abmelden
wöch. keine Angabe    
Raum:
Lehrperson: Schaub ,  Romero Davila
 
      554611 Automatisierte Logik und Programmierung II: Beweisautomatisierung und Programmsynthese    Belegung über PULS
Logo für Vorlesung Vorlesung SoSe 2017    
Einrichtung: Institut für Informatik und Computational Science, Institut für Physik und Astronomie
Gruppe 1      jetzt belegen / abmelden
wöch. Donnerstag   14:00 - 16:00
Beginn: 20.04.2017  Ende: 27.07.2017 		Raum: 3.04. 1.02
Lehrperson: Kreitz
14t. Freitag   12:00 - 14:00
Beginn: 21.04.2017  Ende: 28.07.2017 		Raum: 3.04. 1.02
Lehrperson: Kreitz
 
      554621 Automatisierte Logik und Programmierung II: Beweisautomatisierung und Programmsynthese    Belegung über PULS
Logo für Übung Übung SoSe 2017    
Einrichtung: Institut für Informatik und Computational Science, Institut für Physik und Astronomie
Gruppe 1      jetzt belegen / abmelden
14t. Freitag   12:00 - 14:00
Beginn: 28.04.2017  Ende: 21.07.2017 		Raum: 3.04. 1.02
Lehrperson: Kreitz
 
      Mathematisches Beweisen lernen mithilfe des Beweisassistenten Coq    Belegung über PULS
Logo für Vorlesung/Seminar Vorlesung/Seminar SoSe 2017   4 SWS  
Einrichtung: Institut für Informatik und Computational Science
Gruppe 1      jetzt belegen / abmelden
Block keine Angabe    
Raum:
Lehrperson: Kreitz ,  Böhne
 
 

© Copyright HIS
Hochschul-Informations-System eG