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 (WiSe 2016/17)



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 Diplom   Diplom    
 
  weitere Informationen zu Informatik   Informatik    
 
  weitere Informationen zu Theoretische Informatik   Theoretische Informatik    
 
   
 
      550811 Principles of Data- and Knowledge-Base Systems    Belegung über PULS
Logo für Vorlesung Vorlesung WiSe 2016/17    
Einrichtung: Institut für Informatik und Computational Science
Gruppe 1      jetzt belegen / abmelden
wöch. Dienstag   16:00 - 18:00
Beginn: 25.10.2016  Ende: 07.02.2017 		Raum: 3.06. H01
Lehrperson: Schaub ,  Obermeier
 
      550821 Principles of Data- and Knowledge-Base Systems    Belegung über PULS
Logo für Übung Übung WiSe 2016/17    
Einrichtung: Institut für Informatik und Computational Science
Gruppe 1      jetzt belegen / abmelden
wöch. Donnerstag   12:00 - 14:00
Beginn: 27.10.2016  Ende: 09.02.2017 		Raum: 3.04. 1.02
Lehrperson: Schaub ,  Obermeier
Gruppe 2      jetzt belegen / abmelden
wöch. keine Angabe    
Raum:
Lehrperson: Schaub ,  N.N.
 
      550831 Principles of Data- and Knowledge-Base Systems    Belegung über PULS
Logo für Praktikum Praktikum WiSe 2016/17    
Einrichtung: Institut für Informatik und Computational Science
Gruppe 1      jetzt belegen / abmelden
wöch. keine Angabe    
Raum:
Lehrperson: Schaub ,  Obermeier
 
      551711 Compiler und Programmtransformation    Belegung über PULS
Logo für Vorlesung Vorlesung WiSe 2016/17   6 SWS  
Einrichtung: Institut für Informatik und Computational Science
Gruppe 1      jetzt belegen / abmelden
wöch. Mittwoch   12:00 - 14:00
Beginn: 19.10.2016  Ende: 01.02.2017 		Raum: 3.04. 0.02
Lehrperson: Bordihn
Einzel Mittwoch   12:00 - 14:00
Beginn: 08.02.2017  Ende: 08.02.2017 		Raum: 3.04. 2.01
Lehrperson: Bordihn
 
      551721 Compiler und Programmtransformation    Belegung über PULS
Logo für Übung Übung WiSe 2016/17    
Einrichtung: Institut für Informatik und Computational Science
Gruppe 1      jetzt belegen / abmelden
wöch. Freitag   12:00 - 14:00
Beginn: 28.10.2016  Ende: 10.02.2017 		Raum: 3.04. 1.02
Lehrperson: Bordihn
 
      552231 Agent-technology    Belegung über PULS
Logo für Seminar Seminar WiSe 2016/17    
Einrichtung: Institut für Informatik und Computational Science
Gruppe 1      jetzt belegen / abmelden
wöch. keine Angabe    
Raum:
Lehrperson: Schaub ,  Romero Davila
 
      552241 Agent-technology    Belegung über PULS
Logo für Praktikum Praktikum WiSe 2016/17    
Einrichtung: Institut für Informatik und Computational Science
Gruppe 1      jetzt belegen / abmelden
wöch. keine Angabe    
Raum:
Lehrperson: Schaub ,  Romero Davila
 
      553011 Declarative Problem Solving and Optimization    Belegung über PULS
Logo für Vorlesung Vorlesung WiSe 2016/17    
Einrichtung: Institut für Informatik und Computational Science
Gruppe 1      jetzt belegen / abmelden
wöch. Freitag   12:00 - 16:00
Beginn: 28.10.2016  Ende: 16.12.2016 		Raum: 3.06. H01
Lehrperson: Schaub ,  Gebser
 
      553021 Declarative Problem Solving and Optimization    Belegung über PULS
Logo für Übung Übung WiSe 2016/17    
Einrichtung: Institut für Informatik und Computational Science
Gruppe 1      jetzt belegen / abmelden
Einzel Dienstag   16:00 - 18:00
Beginn: 01.11.2016  Ende: 01.11.2016 		Raum: 3.04. 1.02
Lehrperson: Gebser ,  Romero Davila
wöch. Dienstag   16:00 - 18:00
Beginn: 08.11.2016  Ende: 13.12.2016 		Raum: 3.06. S19
Lehrperson: Gebser ,  Romero Davila
 
      553031 Declarative Problem Solving and Optimization    Belegung über PULS
Logo für Praktikum Praktikum WiSe 2016/17    
Einrichtung: Institut für Informatik und Computational Science
Gruppe 1      jetzt belegen / abmelden
wöch. keine Angabe    
Raum:
Lehrperson: Gebser ,  Romero Davila
 
      554511 Automatisierte Logik und Programmierung: Formale Kalküle und Beweissysteme    Belegung über PULS
Logo für Vorlesung Vorlesung WiSe 2016/17    
Einrichtung: Institut für Informatik und Computational Science
Gruppe 1      jetzt belegen / abmelden
wöch. Donnerstag   08:00 - 10:00
Beginn: 20.10.2016  Ende: 09.02.2017 		Raum: 3.04. 1.02
Lehrperson: Kreitz
14t. Donnerstag   10:00 - 12:00
Beginn: 20.10.2016  Ende: 09.02.2017 		Raum: 3.04. 1.02
Lehrperson: Kreitz
 
      554521 Automatisierte Logik und Programmierung: Formale Kalküle und Beweissysteme    Belegung über PULS
Logo für Übung Übung WiSe 2016/17    
Einrichtung: Institut für Informatik und Computational Science
Gruppe 1      jetzt belegen / abmelden
14t. Donnerstag   10:00 - 12:00
Beginn: 27.10.2016  Ende: 02.02.2017 		Raum: 3.04. 1.02
Lehrperson: Kreitz
 
      554911 Declarative Modeling    Belegung über PULS
Logo für Vorlesung Vorlesung WiSe 2016/17    
Einrichtung: Institut für Informatik und Computational Science
Gruppe 1      jetzt belegen / abmelden
wöch. Freitag   12:00 - 16:00
Beginn: 06.01.2017  Ende: 10.02.2017 		Raum: 3.06. H01
Lehrperson: Schaub ,  Gebser ,  Romero Davila
 
      554921 Declarative Modeling    Belegung über PULS
Logo für Übung Übung WiSe 2016/17    
Einrichtung: Institut für Informatik und Computational Science
Gruppe 1      jetzt belegen / abmelden
Einzel Dienstag   16:00 - 18:00
Beginn: 03.01.2017  Ende: 03.01.2017 		Raum: 3.06. S12
Lehrperson: Gebser ,  Romero Davila
wöch. Dienstag   16:00 - 18:00
Beginn: 10.01.2017  Ende: 07.02.2017 		Raum: 3.01. 2.32
Lehrperson: Gebser ,  Romero Davila
 
      554941 Declarative Modeling    Belegung über PULS
Logo für Praktikum Praktikum WiSe 2016/17    
Einrichtung: Institut für Informatik und Computational Science
Gruppe 1      jetzt belegen / abmelden
wöch. keine Angabe    
Raum:
Lehrperson: Schaub ,  Romero Davila
 
      555211 Knowledge-based Systems    Belegung über PULS
Logo für Forschungsseminar Forschungsseminar WiSe 2016/17    
Einrichtung: Institut für Informatik und Computational Science
Gruppe 1      jetzt belegen / abmelden
wöch. Mittwoch   14:00 - 16:00
Beginn: 26.10.2016  Ende: 08.02.2017 		Raum: 3.04. 2.14
Lehrperson: Schaub
 
      555211 Knowledge Representation and Reasoning    Belegung über PULS
Logo für Forschungsseminar Forschungsseminar WiSe 2016/17    
Einrichtung: Institut für Informatik und Computational Science
Gruppe 1      jetzt belegen / abmelden
wöch. Mittwoch   14:00 - 16:00
Beginn: 19.10.2016  Ende: 08.02.2017 		Raum: 3.04. 2.14
Lehrperson: Schaub
 
      555211 Lehrstuhlkolloquium I - Diplomanden- und Doktorandenseminar - Didaktik der Informatik    Belegung über PULS
Logo für Oberseminar Oberseminar WiSe 2016/17    
Einrichtung: Institut für Informatik und Computational Science
Gruppe 1      jetzt belegen / abmelden
wöch. Donnerstag   16:00 - 18:00
Beginn: 20.10.2016  Ende: 09.02.2017 		Raum: 3.04. 2.14
Lehrperson: Schwill
 
      555211 Machine learning Journal Club    Belegung über PULS
Logo für Forschungsseminar Forschungsseminar WiSe 2016/17    
Einrichtung: Institut für Informatik und Computational Science
Gruppe 1      jetzt belegen / abmelden
wöch. Donnerstag   14:00 - 16:00
Beginn: 20.10.2016  Ende: 09.02.2017 		Raum: 3.04. 0.22
Lehrperson: Scheffer
 
      555211 Theorie-Kolloquium    Belegung über PULS
Logo für Oberseminar Oberseminar WiSe 2016/17    
Einrichtung: Institut für Informatik und Computational Science
Gruppe 1      jetzt belegen / abmelden
wöch. Dienstag   14:00 - 16:00
Beginn: 18.10.2016  Ende: 07.02.2017 		Raum: 3.04. 2.01
Lehrperson: Kreitz ,  Richter ,  Richter ,  Brede ,  Böhne
 
      555611 Cartesisches Seminar    Belegung über PULS
Logo für Oberseminar Oberseminar WiSe 2016/17    
Einrichtung: Institut für Informatik und Computational Science
Gruppe 1      jetzt belegen / abmelden
wöch. Dienstag   10:00 - 13:00
Beginn: 18.10.2016  Ende: 07.02.2017 		Raum: 3.04. 2.01
Lehrperson: Kreitz ,  Richter ,  Richter ,  Brede ,  Böhne
 
      555911 Advanced Problem Solving Techniques    Belegung über PULS
Logo für Vorlesung Vorlesung WiSe 2016/17    
Einrichtung: Institut für Informatik und Computational Science
Gruppe 1      jetzt belegen / abmelden
wöch. Freitag   12:00 - 16:00
Beginn: 28.10.2016  Ende: 16.12.2016 		Raum: 3.06. H01
Lehrperson: Schaub ,  Gebser
 
      555912 Advanced Problem Solving Techniques    Belegung über PULS
Logo für Übung Übung WiSe 2016/17    
Einrichtung: Institut für Informatik und Computational Science
Gruppe 1      jetzt belegen / abmelden
Einzel Dienstag   16:00 - 18:00
Beginn: 01.11.2016  Ende: 01.11.2016 		Raum: 3.04. 1.02
Lehrperson: Gebser ,  Romero Davila
wöch. Dienstag   16:00 - 18:00
Beginn: 08.11.2016  Ende: 13.12.2016 		Raum: 3.06. S19
Lehrperson: Gebser ,  Romero Davila
 
      555913 Advanced Problem Solving Techniques    Belegung über PULS
Logo für Praktikum Praktikum WiSe 2016/17    
Einrichtung: Institut für Informatik und Computational Science
Gruppe 1      jetzt belegen / abmelden
wöch. keine Angabe    
Raum:
Lehrperson: Gebser ,  Romero Davila
 
      555914 Advanced Problem Solving Techniques    Belegung über PULS
Logo für Projekt Projekt WiSe 2016/17    
Einrichtung: Institut für Informatik und Computational Science
Gruppe 1      jetzt belegen / abmelden
wöch. keine Angabe    
Raum:
Lehrperson: Gebser ,  Romero Davila
 
 

© Copyright HIS
Hochschul-Informations-System eG