Top
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
PULS
Foto: Matthias Friel
Datenschutz
Kontakt
Impressum
Universität Potsdam
Veranstaltungen
Modulbeschreibung
EN
SoSe 2024
Anmelden
Node2
Vorlesungsverzeichnis
Vorlesungsverzeichnis (PDF)
Suche nach Veranstaltungen
Veranstaltungen - tagesaktuell
Ausfallende Veranstaltungen
Navigation ausblenden
Sie sind hier:
Startseite
Vorlesungsverzeichnis (WiSe 2016/17)
Seitenansicht wählen:
kurz
mittel
lang
Vorlesungsverzeichnis
Mathematisch-Naturwissenschaftliche Fakultät
Institut für Informatik und Computational Science
Master of Education
Informatik (Prüfungsversion ab WiSe 2004/05)
Wahlobligatorische Module
Theoretische Informatik
551711
Compiler und Programmtransformation
Belegung über PULS
Vorlesung
WiSe 2016/17 6 SWS
Einrichtung:
Institut für Informatik und Computational Science
Gruppe 1
Vormerken:
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
Übung
WiSe 2016/17
Einrichtung:
Institut für Informatik und Computational Science
Gruppe 1
Vormerken:
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
553011
Declarative Problem Solving and Optimization
Belegung über PULS
Vorlesung
WiSe 2016/17
Einrichtung:
Institut für Informatik und Computational Science
Gruppe 1
Vormerken:
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
Übung
WiSe 2016/17
Einrichtung:
Institut für Informatik und Computational Science
Gruppe 1
Vormerken:
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
Praktikum
WiSe 2016/17
Einrichtung:
Institut für Informatik und Computational Science
Gruppe 1
Vormerken:
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
Vorlesung
WiSe 2016/17
Einrichtung:
Institut für Informatik und Computational Science
Gruppe 1
Vormerken:
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
Übung
WiSe 2016/17
Einrichtung:
Institut für Informatik und Computational Science
Gruppe 1
Vormerken:
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
Vorlesung
WiSe 2016/17
Einrichtung:
Institut für Informatik und Computational Science
Gruppe 1
Vormerken:
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
Übung
WiSe 2016/17
Einrichtung:
Institut für Informatik und Computational Science
Gruppe 1
Vormerken:
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
Praktikum
WiSe 2016/17
Einrichtung:
Institut für Informatik und Computational Science
Gruppe 1
Vormerken:
jetzt belegen / abmelden
wöch. keine Angabe
Raum:
Lehrperson:
Schaub
,
Romero Davila
555211
Knowledge-based Systems
Belegung über PULS
Forschungsseminar
WiSe 2016/17
Einrichtung:
Institut für Informatik und Computational Science
Gruppe 1
Vormerken:
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
Forschungsseminar
WiSe 2016/17
Einrichtung:
Institut für Informatik und Computational Science
Gruppe 1
Vormerken:
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
Oberseminar
WiSe 2016/17
Einrichtung:
Institut für Informatik und Computational Science
Gruppe 1
Vormerken:
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
Forschungsseminar
WiSe 2016/17
Einrichtung:
Institut für Informatik und Computational Science
Gruppe 1
Vormerken:
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
Oberseminar
WiSe 2016/17
Einrichtung:
Institut für Informatik und Computational Science
Gruppe 1
Vormerken:
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
Oberseminar
WiSe 2016/17
Einrichtung:
Institut für Informatik und Computational Science
Gruppe 1
Vormerken:
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
Vorlesung
WiSe 2016/17
Einrichtung:
Institut für Informatik und Computational Science
Gruppe 1
Vormerken:
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
Übung
WiSe 2016/17
Einrichtung:
Institut für Informatik und Computational Science
Gruppe 1
Vormerken:
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
Praktikum
WiSe 2016/17
Einrichtung:
Institut für Informatik und Computational Science
Gruppe 1
Vormerken:
jetzt belegen / abmelden
wöch. keine Angabe
Raum:
Lehrperson:
Gebser
,
Romero Davila
555914
Advanced Problem Solving Techniques
Belegung über PULS
Projekt
WiSe 2016/17
Einrichtung:
Institut für Informatik und Computational Science
Gruppe 1
Vormerken:
jetzt belegen / abmelden
wöch. keine Angabe
Raum:
Lehrperson:
Gebser
,
Romero Davila
556111
Current Topics in Computational Intelligence
Belegung über PULS
Seminar
WiSe 2016/17
Einrichtung:
Institut für Informatik und Computational Science
Gruppe 1
Vormerken:
jetzt belegen / abmelden
wöch. Donnerstag 14:00 - 16:00
Beginn: 27.10.2016 Ende: 09.02.2017
Raum:
3.04. 0.02
Lehrperson:
Schaub
,
Romero Davila
© Copyright HIS
Hochschul-Informations-System eG