Vorlesungsverzeichnis - Master of Education - Informatik Lehramt LSIP (PS/P3) 1. Fach Wintersemester 2021/22 - PULS
←
→
Transkription von Seiteninhalten
Wenn Ihr Browser die Seite nicht korrekt rendert, bitte, lesen Sie den Inhalt der Seite unten
Vorlesungsverzeichnis
Master of Education - Informatik Lehramt LSIP (PS/P3) 1.
Fach
Prüfungsversion Wintersemester 2011/12
Wintersemester 2021/22
Inhaltsverzeichnis
Inhaltsverzeichnis
Abkürzungsverzeichnis 5
Didaktik der Informatik II 6
90622 S - Begleitseminar zum Praxissemester 6
90626 VU - Didaktik der Informatik II 6
Vertiefungsmodul Informatik 6
90502 VU - Einführung in Hardware- und Systembeschreibungssprachen 6
90520 VU - Kryptographie und Komplexität 6
90523 VU - Maschinelles Lernen & Intelligente Datenanalyse II 7
90621 VU - Architectures and Middleware for Scientific Computing 7
90624 VU - Declarative Problem Solving and Optimization 7
90625 PR - Declarative Problem Solving and Optimization 9
90633 VU - Naturwissenschaftlich motivierte formale Modelle 9
Vertiefungsmodul Humanwissenschaftliche Informatik 9
Vertiefungsmodul Humanwissenschaftliche Informatik 1 9
90516 FS - Komplexe Multimediale Anwendungsarchitekturen 9
90522 OS - Lehrstuhlkolloquium I - Diplomanden- und Doktorandenseminar - Didaktik der Informatik 10
90628 S - Humanwissenschaftliche Informatilk 10
Vertiefungsmodul Humanwissenschaftliche Informatik 2 10
90516 FS - Komplexe Multimediale Anwendungsarchitekturen 10
90522 OS - Lehrstuhlkolloquium I - Diplomanden- und Doktorandenseminar - Didaktik der Informatik 11
90628 S - Humanwissenschaftliche Informatilk 11
Vertiefungsmodul Informatik I u. II.................................................................................................................... 11
Theoretische Informatik 11
90520 VU - Kryptographie und Komplexität 11
90624 VU - Declarative Problem Solving and Optimization 12
90625 PR - Declarative Problem Solving and Optimization 13
90633 VU - Naturwissenschaftlich motivierte formale Modelle 13
Theoretische Informatik 1 14
89118 OS - Cartesisches Seminar - Methodologie 14
90518 FS - Knowledge Representation and Reasoning 14
90519 FS - Knowledge-based Systems 15
90522 OS - Lehrstuhlkolloquium I - Diplomanden- und Doktorandenseminar - Didaktik der Informatik 16
90528 OS - Theorie-Kolloquium 16
Theoretische Informatik 2 16
89118 OS - Cartesisches Seminar - Methodologie 17
90518 FS - Knowledge Representation and Reasoning 17
90519 FS - Knowledge-based Systems 18
90522 OS - Lehrstuhlkolloquium I - Diplomanden- und Doktorandenseminar - Didaktik der Informatik 18
90528 OS - Theorie-Kolloquium 19
2
Abkürzungen entnehmen Sie bitte Seite 5
Inhaltsverzeichnis
Praktische Informatik 19
90487 VU - Multimedia-Technologie 19
90523 VU - Maschinelles Lernen & Intelligente Datenanalyse II 20
90621 VU - Architectures and Middleware for Scientific Computing 20
90624 VU - Declarative Problem Solving and Optimization 20
90625 PR - Declarative Problem Solving and Optimization 22
Praktische Informatik 1 22
90484 FS - Cluster Computing 22
90516 FS - Komplexe Multimediale Anwendungsarchitekturen 22
90518 FS - Knowledge Representation and Reasoning 23
90519 FS - Knowledge-based Systems 23
Praktische Informatik 2 24
90484 FS - Cluster Computing 24
90516 FS - Komplexe Multimediale Anwendungsarchitekturen 25
90518 FS - Knowledge Representation and Reasoning 25
90519 FS - Knowledge-based Systems 26
Angewandte Informatik 26
90487 VU - Multimedia-Technologie 26
90520 VU - Kryptographie und Komplexität 27
90523 VU - Maschinelles Lernen & Intelligente Datenanalyse II 27
90624 VU - Declarative Problem Solving and Optimization 28
90625 PR - Declarative Problem Solving and Optimization 29
92208 S - Forschungsmethoden (Gestaltungsorientiertes Forschungsdesign) 29
92209 S - Blue IT und Bioökonomie 30
92210 S - Green ICT 31
92211 S - Human Integration in Digitized Manufacturing Systems 32
92212 S - Prozesse und Routinen - Aktuelle Forschungsansätze im GPM 33
92213 S - Reorganisation der Forschung und Praxis des Lernens im Kontext der Digitalisierung 34
Angewandte Informatik 1 35
90516 FS - Komplexe Multimediale Anwendungsarchitekturen 35
90518 FS - Knowledge Representation and Reasoning 35
90519 FS - Knowledge-based Systems 36
90522 OS - Lehrstuhlkolloquium I - Diplomanden- und Doktorandenseminar - Didaktik der Informatik 37
90528 OS - Theorie-Kolloquium 37
92208 S - Forschungsmethoden (Gestaltungsorientiertes Forschungsdesign) 37
92209 S - Blue IT und Bioökonomie 38
92210 S - Green ICT 39
92211 S - Human Integration in Digitized Manufacturing Systems 40
92212 S - Prozesse und Routinen - Aktuelle Forschungsansätze im GPM 41
92213 S - Reorganisation der Forschung und Praxis des Lernens im Kontext der Digitalisierung 42
Angewandte Informatik 2 43
90516 FS - Komplexe Multimediale Anwendungsarchitekturen 43
90518 FS - Knowledge Representation and Reasoning 43
90519 FS - Knowledge-based Systems 44
90522 OS - Lehrstuhlkolloquium I - Diplomanden- und Doktorandenseminar - Didaktik der Informatik 45
90528 OS - Theorie-Kolloquium 45
3
Abkürzungen entnehmen Sie bitte Seite 5Inhaltsverzeichnis
92208 S - Forschungsmethoden (Gestaltungsorientiertes Forschungsdesign) 45
92209 S - Blue IT und Bioökonomie 46
92210 S - Green ICT 47
92211 S - Human Integration in Digitized Manufacturing Systems 48
92212 S - Prozesse und Routinen - Aktuelle Forschungsansätze im GPM 49
92213 S - Reorganisation der Forschung und Praxis des Lernens im Kontext der Digitalisierung 50
Humanwissenschaftliche Informatik 51
Humanwissenschaftliche Informatik 1 51
90522 OS - Lehrstuhlkolloquium I - Diplomanden- und Doktorandenseminar - Didaktik der Informatik 51
90628 S - Humanwissenschaftliche Informatilk 51
Humanwissenschaftliche Informatik 2 51
90522 OS - Lehrstuhlkolloquium I - Diplomanden- und Doktorandenseminar - Didaktik der Informatik 52
90628 S - Humanwissenschaftliche Informatilk 52
Glossar 53
4
Abkürzungen entnehmen Sie bitte Seite 5Abkürzungsverzeichnis
Abkürzungsverzeichnis
Veranstaltungsarten N.N. Noch keine Angaben
n.V. Nach Vereinbarung
AG Arbeitsgruppe LP Leistungspunkte
B Blockveranstaltung SWS Semesterwochenstunden
BL Blockseminar
Belegung über PULS
DF diverse Formen
EX Exkursion PL Prüfungsleistung
FP Forschungspraktikum
FS Forschungsseminar PNL Prüfungsnebenleistung
FU Fortgeschrittenenübung
SL Studienleistung
GK Grundkurs
KL Kolloquium L sonstige Leistungserfassung
KU Kurs
LK Lektürekurs
OS Oberseminar
P Projektseminar
PJ Projekt
PR Praktikum
PS Proseminar
PU Praktische Übung
RE Repetitorium
RV Ringvorlesung
S Seminar
S1 Seminar/Praktikum
S2 Seminar/Projekt
S3 Schulpraktische Studien
S4 Schulpraktische Übungen
SK Seminar/Kolloquium
SU Seminar/Übung
TU Tutorium
U Übung
UN Unterricht
V Vorlesung
VP Vorlesung/Praktikum
VS Vorlesung/Seminar
VU Vorlesung/Übung
WS Workshop
Veranstaltungsrhytmen
wöch. wöchentlich
14t. 14-täglich
Einzel Einzeltermin
Block Block
BlockSa Block (inkl. Sa)
BlockSaSo Block (inkl. Sa,So)
Andere
5Master of Education - Informatik Lehramt LSIP (PS/P3) 1. Fach - Prüfungsversion Wintersemester 2011/12
Vorlesungsverzeichnis
Didaktik der Informatik II
90622 S - Begleitseminar zum Praxissemester
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
1 S N.N. N.N. Block N.N. N.N. Alexander Hacke
Kommentar
http://www.informatikdidaktik.de/Lehre/Praxissemester
Leistungsnachweis
Abschlußvortrag im Lehrstuhl-Kolloquium und schriftliche Ausarbeitung (Portfolio) in Informatik oder dem weiteren Fach gem.
Richtlinien zum Praxissemester.
90626 VU - Didaktik der Informatik II
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
Alle V Mi 16:00 - 18:00 wöch. 2.70.0.09 27.10.2021 Prof. Dr. Andreas Schwill
1 U Fr 10:00 - 12:00 wöch. 2.70.0.09 29.10.2021 Christian Hoffmann, Prof.
Dr. Andreas Schwill
Leistungsnachweis
Prüfungsgespräch im Umfang von 15-20 Minuten oder Projektarbeit
Vertiefungsmodul Informatik
90502 VU - Einführung in Hardware- und Systembeschreibungssprachen
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
1 V Fr 10:00 - 12:00 wöch. 2.70.0.08 29.10.2021 Prof. Dr. Milos Krstic
1 U Fr 12:00 - 14:00 wöch. 2.70.0.01 29.10.2021 Prof. Dr. Milos Krstic,
Anselm Breitenreiter
Leistungen in Bezug auf das Modul
L 1201 - Lehrveranstaltung (unbenotet)
90520 VU - Kryptographie und Komplexität
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
Alle V Mo 10:00 - 12:00 wöch. 2.25.F1.01 25.10.2021 Prof. Dr. Christoph Kreitz
1 VU Mo 12:00 - 14:00 wöch. 2.25.F1.01 25.10.2021 Prof. Dr. Christoph Kreitz
Kommentar
Die Verschluesselung von Nachrichten ist seit ueber 2500 Jahren ein bewaehrtes Mittel zur sicheren Uebermittelung von
Informationen. Kryptographische Verfahren sollen sicherstellen, dass geheime Informationen nicht decodiert werden koennen
und dass die Authentizitaet von Nachrichten âberpruefbar wird. Aus heutiger Sicht bedeutet Sicherheit, dass es selbst beim
Einsatz modernster Computertechnologie nicht moeglich sein darf, eine Verschluesselung in akzeptabler Zeit zu brechen.
Der Wunsch nach maximaler Flexibilitaet sicherer Verbindungen macht es andererseits noetig, Verschluesselungsferfahren
mit (teilweise) oeffentlichen Schluesseln zu verwenden. Der Schwerpunkt der Veranstaltung ist die Betrachtung von Public-
Key Kryptosystemen und ihrer mathematischen Grundlagen. Hierzu werden verschiedenen kryptographische Systeme mit
oeffentlichen Schluesseln sowie moegliche Attacken vorgestellt und analysiert sowie die noetigen Grundlagen der Mathematik
und Komplexitaetstheorie ausfuehrlich besprochen.
Voraussetzung
Theoretische Grundlagen endsprechend der Veranstaltungen Informatik I/II Gutes mathematisches Verstaendnis
Literatur
Joerg Rothe: Complexity Theory and Cryptology, Springer 2004 Douglas R. Stinson: Cryptography: Theory and Practice.
Chapman & Hall/CRC 2006 Johannes Buchmann: Einführung in die Kryptographie. Springer 2003
Leistungsnachweis
Muendliche (bei mehr als 15 Teilnehmern schriftliche) Pruefung zu Beginn der vorlesungsfreien Zeit.
6
Abkürzungen entnehmen Sie bitte Seite 5Master of Education - Informatik Lehramt LSIP (PS/P3) 1. Fach - Prüfungsversion Wintersemester 2011/12
Leistungen in Bezug auf das Modul
L 1201 - Lehrveranstaltung (unbenotet)
90523 VU - Maschinelles Lernen & Intelligente Datenanalyse II
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
Alle V Di 10:00 - 12:00 wöch. 2.25.F0.01 26.10.2021 Prof. Dr. Tobias Scheffer
1 U Mi 10:00 - 12:00 wöch. 2.70.0.11 27.10.2021 Prof. Dr. Tobias Scheffer
2 U Do 12:00 - 14:00 wöch. 2.70.0.10 28.10.2021 Prof. Dr. Tobias Scheffer
3 U Fr 12:00 - 14:00 wöch. 2.70.0.10 29.10.2021 Prof. Dr. Tobias Scheffer
Kommentar
Aufbauend auf der Vorlesung Intelligente Datenanalyse beschäftigt sich die Veranstaltung vertiefend mit Algorithmen, die aus
Daten lernen können. Algorithmen des maschinellen Lernens gewinnen aus Daten Modelle, mit denen sich dann Vorhersagen
über das beobachtete System treffen lassen. Anwendungen für Datenanalyse-Verfahren erstrecken sich von der Vorhersage
von Kreditrisiken über die Auswertung astronomischer Daten bis zu persönlichen Musikempfehlungen. Die Veranstaltung
setzt sich aus einem Vorlesungs- und einem Projektteil zusammen. Der Vorlesungsteil vermittelt das notwendige Wissen über
Datenanalyse sowie über Matlab. Im Projektteil werden anwendungsnahe Aufgaben eigenständig bearbeitet.
Voraussetzung
Intelligente Datenenalyse
Leistungsnachweis
Projektaufgabe und mündliche Prüfung
Leistungen in Bezug auf das Modul
L 1201 - Lehrveranstaltung (unbenotet)
90621 VU - Architectures and Middleware for Scientific Computing
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
1 V Mi 10:00 - 12:00 wöch. 2.70.0.09 27.10.2021 Prof. Dr. Bettina Schnor
1 PJ N.N. N.N. Block N.N. N.N. Prof. Dr. Bettina Schnor,
Max Schrötter
Raum und Zeit nach Absprache
Kommentar
Das Modul vermittelt ein vertieftes Verst"andnis f"ur Cluster Computing und die Programmierung aktueller
Hochleistungsrechner.
More information and also the course slides you will find on the course web page:
https://www.cs.uni-potsdam.de/bs/teaching/courses.html
Voraussetzung
Vorlesung Paralleles Rechnen
Leistungsnachweis
Praktische Hausarbeit mit Abschlussvortrag und schriftlicher Ausarbeitung. Benotet werden Abschlussvortrag und
Ausarbeitung.
Leistungen in Bezug auf das Modul
L 1201 - Lehrveranstaltung (unbenotet)
90624 VU - Declarative Problem Solving and Optimization
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
Alle V Fr 12:00 - 14:00 wöch. 2.25.F0.01 29.10.2021 Prof. Dr. Torsten Schaub
1 U Do 12:00 - 14:00 wöch. 2.25.F0.01 28.10.2021 Javier Romero Davila,
Francois Laferriere, Prof.
7
Abkürzungen entnehmen Sie bitte Seite 5Master of Education - Informatik Lehramt LSIP (PS/P3) 1. Fach - Prüfungsversion Wintersemester 2011/12
Dr. Torsten Schaub,
Etienne Tignon
Links:
Moodle https://moodle2.uni-potsdam.de/course/view.php?id=22378
Additional Material https://teaching.potassco.org/
Kommentar
Answer Set Programming (ASP) is a prime approach to declarative problem solving. Although initially tailored to modeling
problems in the area of Knowledge Representation and Reasoning (KRR), its attractive combination of a rich yet simple
modeling language with high-performance solving capacities has sparked interests in academia and industry way beyond
KRR. This course presents a detailed introduction to ASP, aiming at using ASP languages and systems for solving application
problems. Starting from the essential formal foundations, it introduces ASP's solving technology, modeling language and
methodology, while illustrating the overall solving process by practical examples.
Voraussetzung
Motivation.
Literatur
• Answer Set Solving in Practice by Martin Gebser, Roland Kaminski, Benjamin Kaufmann, and Torsten Schaub. Synthesis
Lectures on Artificial Intelligence and Machine Learning, Morgan and Claypool
• Potassco User Guide by the Potassco team, https://github.com/potassco/guide/releases
• Answer Set Programming by Vladimir Lifschitz. Springer
• Knowledge Representation, Reasoning, and the Design of Intelligent Agents: The Answer-Set Programming Approach by
Michael Gelfond and Yulia Kahl. Cambridge University Press
Leistungsnachweis
Marked exam and assignments
Bemerkung
Offline communication is conducted primarily via the associated moodle page.
Announcements are also made through the email list of registered students in puls.
Questions can be addressed to asp@lists.cs.uni-potsdam.de
A tutorial introduction to answer set programming, used in the projects, is given separately.
Lerninhalte
• Motivation
• Introduction
• Modeling
• Language
• Grounding
• Foundations
• Solving
• Advanced modeling
Kurzkommentar
We start on Friday 29th. In the next days we will be adding further information about the course at Moodle . - cu
Zielgruppe
This is an introductory lecture for MSc students with varying backgrounds.
Leistungen in Bezug auf das Modul
L 1201 - Lehrveranstaltung (unbenotet)
8
Abkürzungen entnehmen Sie bitte Seite 5Master of Education - Informatik Lehramt LSIP (PS/P3) 1. Fach - Prüfungsversion Wintersemester 2011/12
90625 PR - Declarative Problem Solving and Optimization
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
1 PR N.N. N.N. wöch. N.N. N.N. Francois Laferriere,
Javier Romero Davila,
Prof. Dr. Torsten Schaub,
Etienne Tignon
Kommentar
Suite of usually practical assigments accompanying the course
Leistungsnachweis
Successfully accomplished assignments
Leistungen in Bezug auf das Modul
L 1201 - Lehrveranstaltung (unbenotet)
90633 VU - Naturwissenschaftlich motivierte formale Modelle
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
Alle V Mi 14:00 - 16:00 wöch. 2.70.0.09 27.10.2021 Dr. Henning Bordihn
1 U Fr 08:00 - 10:00 wöch. 2.70.0.09 29.10.2021 Dr. Henning Bordihn
Voraussetzung
Theoretische Informatik bzw. Modellierungskonzepte in der Informatik
Literatur
wird in der LV bekannt gegeben
Leistungsnachweis
mündl. Prüfung, 25-30 Minuten
Lerninhalte
Es werden diverse formale Modelle behandelt, die durch naturwissenschaftliche Phänomene inspiriert sind. Die Modelle
werden hinsichtlich ihrer Leistungsfähigkeit und einiger weiterer Eigenschaften untersucht. Anwendungen und Re-
Interpretationen in den Naturwissenschaften werden diskutiert. Zu den Inhalten gehören:
• Parallel ersetzende Systeme zur Beschreibung von Wachstums- und Entwicklungsprozessen;
• Anwendung parallel erstzender Systeme in der Computergraphik und zur Beschreibung von Fraktalen;
• verschiedene Aspekte des DNA Computing;
• Solitonwellen-Modelle.
Leistungen in Bezug auf das Modul
L 1201 - Lehrveranstaltung (unbenotet)
Vertiefungsmodul Humanwissenschaftliche Informatik
Für dieses Modul werden aktuell keine Lehrveranstaltungen angeboten
Vertiefungsmodul Humanwissenschaftliche Informatik 1
90516 FS - Komplexe Multimediale Anwendungsarchitekturen
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
1 FS Di 14:00 - 16:00 wöch. 2.70.0.09 26.10.2021 Prof. Dr.-Ing. Ulrike
Lucke, Dr. Raphael
Zender, Dr. rer. nat.
Tobias Moebert, Axel
Wiepke
9
Abkürzungen entnehmen Sie bitte Seite 5Master of Education - Informatik Lehramt LSIP (PS/P3) 1. Fach - Prüfungsversion Wintersemester 2011/12
Kommentar
Es werden aktuelle Forschungsarbeiten des Lehrstuhls sowie studentische Arbeiten vorgestellt und diskutiert.
Leistungsnachweis
Mit der Belegung des Seminars kann eine unbenotete Leistung im Umfang von 3 LP abgelegt werden. Diese gilt als erbracht,
wenn eine individuelle Auseinandersetzung mit den präsentierten Forschungsarbeiten nachgewiesen wird durch eine aktive
Teilnahme an mindestens 80% der Reflexions- und Diskussionsrunden.
Lerninhalte
Bitte tragen Sie sich in den Moodle-Kurs zum Seminar ein:
https://moodle2.uni-potsdam.de/course/view.php?id=29917
Die Veranstaltung wird in dieser Umgebung voll online stattfinden.
Leistungen in Bezug auf das Modul
L 1215 - Seminar/Projekt (unbenotet)
90522 OS - Lehrstuhlkolloquium I - Diplomanden- und Doktorandenseminar - Didaktik der Informatik
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
1 OS Do 16:00 - 18:00 wöch. N.N. 28.10.2021 Prof. Dr. Andreas Schwill
In 2.70.2.02
Kommentar
http://www.informatikdidaktik.de/Lehre/Lehrstuhlkolloquium
Leistungsnachweis
Vortrag und schriftliche Ausarbeitung
Leistungen in Bezug auf das Modul
L 1215 - Seminar/Projekt (unbenotet)
90628 S - Humanwissenschaftliche Informatilk
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
1 OS Do 16:00 - 18:00 wöch. N.N. 28.10.2021 Prof. Dr. Andreas Schwill
In 2.70.2.02
Leistungsnachweis
Vortrag und schriftliche Ausarbeitung.
Kurzkommentar
Es handelt sich um das Modul "Huwi" als Pflichtveranst. im Master Lehramt. (Nur sp. Sekundarstufe I)
Leistungen in Bezug auf das Modul
L 1215 - Seminar/Projekt (unbenotet)
Vertiefungsmodul Humanwissenschaftliche Informatik 2
90516 FS - Komplexe Multimediale Anwendungsarchitekturen
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
1 FS Di 14:00 - 16:00 wöch. 2.70.0.09 26.10.2021 Prof. Dr.-Ing. Ulrike
Lucke, Dr. Raphael
Zender, Dr. rer. nat.
Tobias Moebert, Axel
Wiepke
Kommentar
Es werden aktuelle Forschungsarbeiten des Lehrstuhls sowie studentische Arbeiten vorgestellt und diskutiert.
10
Abkürzungen entnehmen Sie bitte Seite 5Master of Education - Informatik Lehramt LSIP (PS/P3) 1. Fach - Prüfungsversion Wintersemester 2011/12
Leistungsnachweis
Mit der Belegung des Seminars kann eine unbenotete Leistung im Umfang von 3 LP abgelegt werden. Diese gilt als erbracht,
wenn eine individuelle Auseinandersetzung mit den präsentierten Forschungsarbeiten nachgewiesen wird durch eine aktive
Teilnahme an mindestens 80% der Reflexions- und Diskussionsrunden.
Lerninhalte
Bitte tragen Sie sich in den Moodle-Kurs zum Seminar ein:
https://moodle2.uni-potsdam.de/course/view.php?id=29917
Die Veranstaltung wird in dieser Umgebung voll online stattfinden.
Leistungen in Bezug auf das Modul
L 1218 - Seminar/Projekt (unbenotet)
90522 OS - Lehrstuhlkolloquium I - Diplomanden- und Doktorandenseminar - Didaktik der Informatik
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
1 OS Do 16:00 - 18:00 wöch. N.N. 28.10.2021 Prof. Dr. Andreas Schwill
In 2.70.2.02
Kommentar
http://www.informatikdidaktik.de/Lehre/Lehrstuhlkolloquium
Leistungsnachweis
Vortrag und schriftliche Ausarbeitung
Leistungen in Bezug auf das Modul
L 1218 - Seminar/Projekt (unbenotet)
90628 S - Humanwissenschaftliche Informatilk
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
1 OS Do 16:00 - 18:00 wöch. N.N. 28.10.2021 Prof. Dr. Andreas Schwill
In 2.70.2.02
Leistungsnachweis
Vortrag und schriftliche Ausarbeitung.
Kurzkommentar
Es handelt sich um das Modul "Huwi" als Pflichtveranst. im Master Lehramt. (Nur sp. Sekundarstufe I)
Leistungen in Bezug auf das Modul
L 1218 - Seminar/Projekt (unbenotet)
Vertiefungsmodul Informatik I u. II
Theoretische Informatik
90520 VU - Kryptographie und Komplexität
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
Alle V Mo 10:00 - 12:00 wöch. 2.25.F1.01 25.10.2021 Prof. Dr. Christoph Kreitz
1 VU Mo 12:00 - 14:00 wöch. 2.25.F1.01 25.10.2021 Prof. Dr. Christoph Kreitz
11
Abkürzungen entnehmen Sie bitte Seite 5Master of Education - Informatik Lehramt LSIP (PS/P3) 1. Fach - Prüfungsversion Wintersemester 2011/12
Kommentar
Die Verschluesselung von Nachrichten ist seit ueber 2500 Jahren ein bewaehrtes Mittel zur sicheren Uebermittelung von
Informationen. Kryptographische Verfahren sollen sicherstellen, dass geheime Informationen nicht decodiert werden koennen
und dass die Authentizitaet von Nachrichten âberpruefbar wird. Aus heutiger Sicht bedeutet Sicherheit, dass es selbst beim
Einsatz modernster Computertechnologie nicht moeglich sein darf, eine Verschluesselung in akzeptabler Zeit zu brechen.
Der Wunsch nach maximaler Flexibilitaet sicherer Verbindungen macht es andererseits noetig, Verschluesselungsferfahren
mit (teilweise) oeffentlichen Schluesseln zu verwenden. Der Schwerpunkt der Veranstaltung ist die Betrachtung von Public-
Key Kryptosystemen und ihrer mathematischen Grundlagen. Hierzu werden verschiedenen kryptographische Systeme mit
oeffentlichen Schluesseln sowie moegliche Attacken vorgestellt und analysiert sowie die noetigen Grundlagen der Mathematik
und Komplexitaetstheorie ausfuehrlich besprochen.
Voraussetzung
Theoretische Grundlagen endsprechend der Veranstaltungen Informatik I/II Gutes mathematisches Verstaendnis
Literatur
Joerg Rothe: Complexity Theory and Cryptology, Springer 2004 Douglas R. Stinson: Cryptography: Theory and Practice.
Chapman & Hall/CRC 2006 Johannes Buchmann: Einführung in die Kryptographie. Springer 2003
Leistungsnachweis
Muendliche (bei mehr als 15 Teilnehmern schriftliche) Pruefung zu Beginn der vorlesungsfreien Zeit.
Leistungen in Bezug auf das Modul
L 12201 - Lehrveranstaltung (nicht Seminar/Projekt) (unbenotet)
L 12237 - Lehrveranstaltung (nicht Seminar/Projekt) (unbenotet)
90624 VU - Declarative Problem Solving and Optimization
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
Alle V Fr 12:00 - 14:00 wöch. 2.25.F0.01 29.10.2021 Prof. Dr. Torsten Schaub
1 U Do 12:00 - 14:00 wöch. 2.25.F0.01 28.10.2021 Javier Romero Davila,
Francois Laferriere, Prof.
Dr. Torsten Schaub,
Etienne Tignon
Links:
Moodle https://moodle2.uni-potsdam.de/course/view.php?id=22378
Additional Material https://teaching.potassco.org/
Kommentar
Answer Set Programming (ASP) is a prime approach to declarative problem solving. Although initially tailored to modeling
problems in the area of Knowledge Representation and Reasoning (KRR), its attractive combination of a rich yet simple
modeling language with high-performance solving capacities has sparked interests in academia and industry way beyond
KRR. This course presents a detailed introduction to ASP, aiming at using ASP languages and systems for solving application
problems. Starting from the essential formal foundations, it introduces ASP's solving technology, modeling language and
methodology, while illustrating the overall solving process by practical examples.
Voraussetzung
Motivation.
Literatur
• Answer Set Solving in Practice by Martin Gebser, Roland Kaminski, Benjamin Kaufmann, and Torsten Schaub. Synthesis
Lectures on Artificial Intelligence and Machine Learning, Morgan and Claypool
• Potassco User Guide by the Potassco team, https://github.com/potassco/guide/releases
• Answer Set Programming by Vladimir Lifschitz. Springer
• Knowledge Representation, Reasoning, and the Design of Intelligent Agents: The Answer-Set Programming Approach by
Michael Gelfond and Yulia Kahl. Cambridge University Press
Leistungsnachweis
Marked exam and assignments
12
Abkürzungen entnehmen Sie bitte Seite 5Master of Education - Informatik Lehramt LSIP (PS/P3) 1. Fach - Prüfungsversion Wintersemester 2011/12
Bemerkung
Offline communication is conducted primarily via the associated moodle page.
Announcements are also made through the email list of registered students in puls.
Questions can be addressed to asp@lists.cs.uni-potsdam.de
A tutorial introduction to answer set programming, used in the projects, is given separately.
Lerninhalte
• Motivation
• Introduction
• Modeling
• Language
• Grounding
• Foundations
• Solving
• Advanced modeling
Kurzkommentar
We start on Friday 29th. In the next days we will be adding further information about the course at Moodle . - cu
Zielgruppe
This is an introductory lecture for MSc students with varying backgrounds.
Leistungen in Bezug auf das Modul
L 12201 - Lehrveranstaltung (nicht Seminar/Projekt) (unbenotet)
L 12237 - Lehrveranstaltung (nicht Seminar/Projekt) (unbenotet)
90625 PR - Declarative Problem Solving and Optimization
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
1 PR N.N. N.N. wöch. N.N. N.N. Francois Laferriere,
Javier Romero Davila,
Prof. Dr. Torsten Schaub,
Etienne Tignon
Kommentar
Suite of usually practical assigments accompanying the course
Leistungsnachweis
Successfully accomplished assignments
Leistungen in Bezug auf das Modul
L 12201 - Lehrveranstaltung (nicht Seminar/Projekt) (unbenotet)
L 12237 - Lehrveranstaltung (nicht Seminar/Projekt) (unbenotet)
90633 VU - Naturwissenschaftlich motivierte formale Modelle
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
Alle V Mi 14:00 - 16:00 wöch. 2.70.0.09 27.10.2021 Dr. Henning Bordihn
1 U Fr 08:00 - 10:00 wöch. 2.70.0.09 29.10.2021 Dr. Henning Bordihn
Voraussetzung
Theoretische Informatik bzw. Modellierungskonzepte in der Informatik
13
Abkürzungen entnehmen Sie bitte Seite 5Master of Education - Informatik Lehramt LSIP (PS/P3) 1. Fach - Prüfungsversion Wintersemester 2011/12
Literatur
wird in der LV bekannt gegeben
Leistungsnachweis
mündl. Prüfung, 25-30 Minuten
Lerninhalte
Es werden diverse formale Modelle behandelt, die durch naturwissenschaftliche Phänomene inspiriert sind. Die Modelle
werden hinsichtlich ihrer Leistungsfähigkeit und einiger weiterer Eigenschaften untersucht. Anwendungen und Re-
Interpretationen in den Naturwissenschaften werden diskutiert. Zu den Inhalten gehören:
• Parallel ersetzende Systeme zur Beschreibung von Wachstums- und Entwicklungsprozessen;
• Anwendung parallel erstzender Systeme in der Computergraphik und zur Beschreibung von Fraktalen;
• verschiedene Aspekte des DNA Computing;
• Solitonwellen-Modelle.
Leistungen in Bezug auf das Modul
L 12201 - Lehrveranstaltung (nicht Seminar/Projekt) (unbenotet)
L 12237 - Lehrveranstaltung (nicht Seminar/Projekt) (unbenotet)
Theoretische Informatik 1
89118 OS - Cartesisches Seminar - Methodologie
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
1 OS Di 10:00 - 13:00 wöch. 2.70.0.08 26.10.2021 Prof. Dr. Christoph Kreitz,
Tim Richter, Dr. rer. nat.
Sebastian Böhne, Mario
Frank, Tom Kranz,
Christoph Glinzer
Voraussetzung
Gute Kenntnisse in theoretischer Informatik und Logik
Literatur
Verschiedene Fachartikel (siehe Webseite)
Leistungsnachweis
Vorstellung und Diskussion eines wissenschaftlichen Artikels
Lerninhalte
Das Cartesische Seminar, ursprünglich am Potsdamer Institut für Klimafolgenforschung entstanden, ist methodisch den von
René Descartes in seinem "Discours de la méthode pour bien conduire sa raison..." formulierten Regeln wissenschaftlicher
Forschung verpflichtet, thematisch jedoch offen gestaltet. Die gemeinsame gründliche Lektüre klassischer Texte der
Mathematik, Physik, Ökonomie, Informatik u.a. eröffnet den Teilnehmern, die in sehr verschiedenen Fachgebieten arbeiten,
ungewohnte Perspektiven und neue Einsichten.
Das Cartesische Seminar findet wegen der Corona-Beschränkungen in diesem Semester zunächst auf einem online
whiteboard statt. Genauere Informationen sowie die aktuellen Themen finden Sie unter https://timrichter.github.io/
CartesianSeminar/.
Leistungen in Bezug auf das Modul
L 12205 - Seminar/Projekt (unbenotet)
L 12241 - Seminar/Projekt (unbenotet)
90518 FS - Knowledge Representation and Reasoning
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
1 FS Mi 14:00 - 16:00 wöch. 2.70.0.08 27.10.2021 Prof. Dr. Torsten Schaub,
Javier Romero Davila,
Etienne Tignon
14
Abkürzungen entnehmen Sie bitte Seite 5Master of Education - Informatik Lehramt LSIP (PS/P3) 1. Fach - Prüfungsversion Wintersemester 2011/12
Kommentar
This seminar deals with state-of-the-art research questions in the area of knowledge representation and reasoning and
focusses on current topics in and around answer set programming.
Voraussetzung
Knowledge in knowledge representation and reasoning and answer set programing.
Literatur
See potassco.org for a comprehensive collection of material.
Leistungsnachweis
Active and regular participation, oral presentation and an essay.
Lerninhalte
On individual basis.
Kurzkommentar
For announcements just (un)subscribe at https://lists.cs.uni-potsdam.de/subscribe/krnews
Zielgruppe
Students conducting a BSc, MSc, or PhD thesis in knowledge representation and reasoning, and in particular in answer set
programming.
Leistungen in Bezug auf das Modul
L 12205 - Seminar/Projekt (unbenotet)
L 12241 - Seminar/Projekt (unbenotet)
90519 FS - Knowledge-based Systems
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
1 FS Mi 14:00 - 16:00 wöch. 2.70.0.08 27.10.2021 Prof. Dr. Torsten Schaub,
Javier Romero Davila,
Etienne Tignon
Kommentar
This seminar deals with state-of-the-art research questions in the area of knowledge representation and reasoning and
focusses on current topics in and around answer set programming.
Voraussetzung
Knowledge in knowledge representation and reasoning and answer set programing.
Literatur
See potassco.org for a comprehensive collection of material.
Leistungsnachweis
Active and regular participation, oral presentation and an essay.
Bemerkung
Please check the sister seminar "Knowledge representation and reasoning" for details
15
Abkürzungen entnehmen Sie bitte Seite 5Master of Education - Informatik Lehramt LSIP (PS/P3) 1. Fach - Prüfungsversion Wintersemester 2011/12
Lerninhalte
On individual basis.
Kurzkommentar
For announcements just (un)subscribe at https://lists.cs.uni-potsdam.de/subscribe/krnews
Zielgruppe
Students conducting a BSc, MSc, or PhD thesis in knowledge representation and reasoning, and in particular in answer set
programming.
Leistungen in Bezug auf das Modul
L 12205 - Seminar/Projekt (unbenotet)
L 12241 - Seminar/Projekt (unbenotet)
90522 OS - Lehrstuhlkolloquium I - Diplomanden- und Doktorandenseminar - Didaktik der Informatik
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
1 OS Do 16:00 - 18:00 wöch. N.N. 28.10.2021 Prof. Dr. Andreas Schwill
In 2.70.2.02
Kommentar
http://www.informatikdidaktik.de/Lehre/Lehrstuhlkolloquium
Leistungsnachweis
Vortrag und schriftliche Ausarbeitung
Leistungen in Bezug auf das Modul
L 12205 - Seminar/Projekt (unbenotet)
L 12241 - Seminar/Projekt (unbenotet)
90528 OS - Theorie-Kolloquium
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
1 OS Di 14:00 - 16:00 wöch. 2.70.0.08 26.10.2021 Prof. Dr. Christoph Kreitz,
Tim Richter, Dr. rer. nat.
Sebastian Böhne, Mario
Frank, Tom Kranz,
Christoph Glinzer
Voraussetzung
Aktive Mitarbeit an Themen der Arbeitsgruppe, z.B zur Vorbereitung und Praesentation von Studien- und Abschlussarbeiten.
Keine Doppelanrechnung von eigenstaendiger Leistung.
Leistungsnachweis
Seminarvortrag + schriftliche Ausarbeitung zu einem selbstgewaehlten Arbeitsthema
Lerninhalte
In unserem Kolloquium diskutieren wir aktuelle Forschungsprojekte und -ergebnisse unserer Arbeitsgruppe und für unsere
Arbeit relevante Ergebnisse aus den Bereichen Formale Methoden in der Programmierung sowie automatisches und
taktikbasiertes Theorembeweisen
Leistungen in Bezug auf das Modul
L 12205 - Seminar/Projekt (unbenotet)
L 12241 - Seminar/Projekt (unbenotet)
Theoretische Informatik 2
16
Abkürzungen entnehmen Sie bitte Seite 5Master of Education - Informatik Lehramt LSIP (PS/P3) 1. Fach - Prüfungsversion Wintersemester 2011/12
89118 OS - Cartesisches Seminar - Methodologie
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
1 OS Di 10:00 - 13:00 wöch. 2.70.0.08 26.10.2021 Prof. Dr. Christoph Kreitz,
Tim Richter, Dr. rer. nat.
Sebastian Böhne, Mario
Frank, Tom Kranz,
Christoph Glinzer
Voraussetzung
Gute Kenntnisse in theoretischer Informatik und Logik
Literatur
Verschiedene Fachartikel (siehe Webseite)
Leistungsnachweis
Vorstellung und Diskussion eines wissenschaftlichen Artikels
Lerninhalte
Das Cartesische Seminar, ursprünglich am Potsdamer Institut für Klimafolgenforschung entstanden, ist methodisch den von
René Descartes in seinem "Discours de la méthode pour bien conduire sa raison..." formulierten Regeln wissenschaftlicher
Forschung verpflichtet, thematisch jedoch offen gestaltet. Die gemeinsame gründliche Lektüre klassischer Texte der
Mathematik, Physik, Ökonomie, Informatik u.a. eröffnet den Teilnehmern, die in sehr verschiedenen Fachgebieten arbeiten,
ungewohnte Perspektiven und neue Einsichten.
Das Cartesische Seminar findet wegen der Corona-Beschränkungen in diesem Semester zunächst auf einem online
whiteboard statt. Genauere Informationen sowie die aktuellen Themen finden Sie unter https://timrichter.github.io/
CartesianSeminar/.
Leistungen in Bezug auf das Modul
L 12208 - Seminar/Projekt (unbenotet)
L 12244 - Seminar/Projekt (unbenotet)
90518 FS - Knowledge Representation and Reasoning
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
1 FS Mi 14:00 - 16:00 wöch. 2.70.0.08 27.10.2021 Prof. Dr. Torsten Schaub,
Javier Romero Davila,
Etienne Tignon
Kommentar
This seminar deals with state-of-the-art research questions in the area of knowledge representation and reasoning and
focusses on current topics in and around answer set programming.
Voraussetzung
Knowledge in knowledge representation and reasoning and answer set programing.
Literatur
See potassco.org for a comprehensive collection of material.
Leistungsnachweis
Active and regular participation, oral presentation and an essay.
Lerninhalte
On individual basis.
Kurzkommentar
For announcements just (un)subscribe at https://lists.cs.uni-potsdam.de/subscribe/krnews
17
Abkürzungen entnehmen Sie bitte Seite 5Master of Education - Informatik Lehramt LSIP (PS/P3) 1. Fach - Prüfungsversion Wintersemester 2011/12
Zielgruppe
Students conducting a BSc, MSc, or PhD thesis in knowledge representation and reasoning, and in particular in answer set
programming.
Leistungen in Bezug auf das Modul
L 12208 - Seminar/Projekt (unbenotet)
L 12244 - Seminar/Projekt (unbenotet)
90519 FS - Knowledge-based Systems
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
1 FS Mi 14:00 - 16:00 wöch. 2.70.0.08 27.10.2021 Prof. Dr. Torsten Schaub,
Javier Romero Davila,
Etienne Tignon
Kommentar
This seminar deals with state-of-the-art research questions in the area of knowledge representation and reasoning and
focusses on current topics in and around answer set programming.
Voraussetzung
Knowledge in knowledge representation and reasoning and answer set programing.
Literatur
See potassco.org for a comprehensive collection of material.
Leistungsnachweis
Active and regular participation, oral presentation and an essay.
Bemerkung
Please check the sister seminar "Knowledge representation and reasoning" for details
Lerninhalte
On individual basis.
Kurzkommentar
For announcements just (un)subscribe at https://lists.cs.uni-potsdam.de/subscribe/krnews
Zielgruppe
Students conducting a BSc, MSc, or PhD thesis in knowledge representation and reasoning, and in particular in answer set
programming.
Leistungen in Bezug auf das Modul
L 12208 - Seminar/Projekt (unbenotet)
L 12244 - Seminar/Projekt (unbenotet)
90522 OS - Lehrstuhlkolloquium I - Diplomanden- und Doktorandenseminar - Didaktik der Informatik
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
1 OS Do 16:00 - 18:00 wöch. N.N. 28.10.2021 Prof. Dr. Andreas Schwill
In 2.70.2.02
Kommentar
http://www.informatikdidaktik.de/Lehre/Lehrstuhlkolloquium
18
Abkürzungen entnehmen Sie bitte Seite 5Master of Education - Informatik Lehramt LSIP (PS/P3) 1. Fach - Prüfungsversion Wintersemester 2011/12
Leistungsnachweis
Vortrag und schriftliche Ausarbeitung
Leistungen in Bezug auf das Modul
L 12208 - Seminar/Projekt (unbenotet)
L 12244 - Seminar/Projekt (unbenotet)
90528 OS - Theorie-Kolloquium
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
1 OS Di 14:00 - 16:00 wöch. 2.70.0.08 26.10.2021 Prof. Dr. Christoph Kreitz,
Tim Richter, Dr. rer. nat.
Sebastian Böhne, Mario
Frank, Tom Kranz,
Christoph Glinzer
Voraussetzung
Aktive Mitarbeit an Themen der Arbeitsgruppe, z.B zur Vorbereitung und Praesentation von Studien- und Abschlussarbeiten.
Keine Doppelanrechnung von eigenstaendiger Leistung.
Leistungsnachweis
Seminarvortrag + schriftliche Ausarbeitung zu einem selbstgewaehlten Arbeitsthema
Lerninhalte
In unserem Kolloquium diskutieren wir aktuelle Forschungsprojekte und -ergebnisse unserer Arbeitsgruppe und für unsere
Arbeit relevante Ergebnisse aus den Bereichen Formale Methoden in der Programmierung sowie automatisches und
taktikbasiertes Theorembeweisen
Leistungen in Bezug auf das Modul
L 12208 - Seminar/Projekt (unbenotet)
L 12244 - Seminar/Projekt (unbenotet)
Praktische Informatik
90487 VU - Multimedia-Technologie
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
Alle V Do 12:00 - 14:00 wöch. 2.14.0.47 28.10.2021 Prof. Dr.-Ing. Ulrike Lucke
Alle V Do 12:00 - 14:00 wöch. 2.70.0.09 25.11.2021 Prof. Dr.-Ing. Ulrike Lucke
1 U Mo 14:00 - 16:00 Einzel 2.70.0.01 25.10.2021 Axel Wiepke
1 U Mo 14:00 - 16:00 wöch. 2.70.0.11 01.11.2021 Axel Wiepke
2 U Mo 16:00 - 18:00 wöch. 2.70.0.11 25.10.2021 Axel Wiepke
Kommentar
Die Vorlesung Multimedia-Technologie vermittelt einen Einstieg in die Grundlagen, Verfahren, Komponenten und Systeme
multimedialer Datenverarbeitung. Das beginnt bei der digitalen Speicherung von Informationen, geht über die Übertragung
und Verarbeitung dieser Daten und endet mit Ansätzen zur Darstellung von bzw. Interaktion mit digitalen Medien. Das schließt
sowohl statische (z.B. Grafik, Text) als auch dynamische (z.B. Audio, Video) Medientypen ein. Die Vorlesung behandelt
theoretisches Überblickswissen, das in den Übungen praktisch erprobt und auf verschiedene Anwendungsfälle übertragen
wird. Begleitend wird im Rahmen einer Praxisaufgabe ein eigenes Multimediaangebot entwickelt. Es wird ein grundlegendes
Verständnis für die digitale Informationsverarbeitung vorausgesetzt. Daher eignet sich die Veranstaltung insbesondere für
Studienanfänger der Informatik sowie als Neben-/Beifach.
Voraussetzung
grundlegendes Verständnis für die digitale Informationsverarbeitung
Literatur
wird in der Lehrveranstaltung bekannt gegeben
Leistungsnachweis
wird in der Lehrveranstaltung bekannt gegeben
Leistungen in Bezug auf das Modul
L 12210 - Lehrveranstaltung (nicht Seminar/Projekt) (unbenotet)
19
Abkürzungen entnehmen Sie bitte Seite 5Master of Education - Informatik Lehramt LSIP (PS/P3) 1. Fach - Prüfungsversion Wintersemester 2011/12
L 12246 - Lehrveranstaltung (nicht Seminar/Projekt) (unbenotet)
90523 VU - Maschinelles Lernen & Intelligente Datenanalyse II
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
Alle V Di 10:00 - 12:00 wöch. 2.25.F0.01 26.10.2021 Prof. Dr. Tobias Scheffer
1 U Mi 10:00 - 12:00 wöch. 2.70.0.11 27.10.2021 Prof. Dr. Tobias Scheffer
2 U Do 12:00 - 14:00 wöch. 2.70.0.10 28.10.2021 Prof. Dr. Tobias Scheffer
3 U Fr 12:00 - 14:00 wöch. 2.70.0.10 29.10.2021 Prof. Dr. Tobias Scheffer
Kommentar
Aufbauend auf der Vorlesung Intelligente Datenanalyse beschäftigt sich die Veranstaltung vertiefend mit Algorithmen, die aus
Daten lernen können. Algorithmen des maschinellen Lernens gewinnen aus Daten Modelle, mit denen sich dann Vorhersagen
über das beobachtete System treffen lassen. Anwendungen für Datenanalyse-Verfahren erstrecken sich von der Vorhersage
von Kreditrisiken über die Auswertung astronomischer Daten bis zu persönlichen Musikempfehlungen. Die Veranstaltung
setzt sich aus einem Vorlesungs- und einem Projektteil zusammen. Der Vorlesungsteil vermittelt das notwendige Wissen über
Datenanalyse sowie über Matlab. Im Projektteil werden anwendungsnahe Aufgaben eigenständig bearbeitet.
Voraussetzung
Intelligente Datenenalyse
Leistungsnachweis
Projektaufgabe und mündliche Prüfung
Leistungen in Bezug auf das Modul
L 12210 - Lehrveranstaltung (nicht Seminar/Projekt) (unbenotet)
L 12246 - Lehrveranstaltung (nicht Seminar/Projekt) (unbenotet)
90621 VU - Architectures and Middleware for Scientific Computing
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
1 V Mi 10:00 - 12:00 wöch. 2.70.0.09 27.10.2021 Prof. Dr. Bettina Schnor
1 PJ N.N. N.N. Block N.N. N.N. Prof. Dr. Bettina Schnor,
Max Schrötter
Raum und Zeit nach Absprache
Kommentar
Das Modul vermittelt ein vertieftes Verst"andnis f"ur Cluster Computing und die Programmierung aktueller
Hochleistungsrechner.
More information and also the course slides you will find on the course web page:
https://www.cs.uni-potsdam.de/bs/teaching/courses.html
Voraussetzung
Vorlesung Paralleles Rechnen
Leistungsnachweis
Praktische Hausarbeit mit Abschlussvortrag und schriftlicher Ausarbeitung. Benotet werden Abschlussvortrag und
Ausarbeitung.
Leistungen in Bezug auf das Modul
L 12210 - Lehrveranstaltung (nicht Seminar/Projekt) (unbenotet)
L 12246 - Lehrveranstaltung (nicht Seminar/Projekt) (unbenotet)
90624 VU - Declarative Problem Solving and Optimization
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
Alle V Fr 12:00 - 14:00 wöch. 2.25.F0.01 29.10.2021 Prof. Dr. Torsten Schaub
1 U Do 12:00 - 14:00 wöch. 2.25.F0.01 28.10.2021 Javier Romero Davila,
Francois Laferriere, Prof.
20
Abkürzungen entnehmen Sie bitte Seite 5Master of Education - Informatik Lehramt LSIP (PS/P3) 1. Fach - Prüfungsversion Wintersemester 2011/12
Dr. Torsten Schaub,
Etienne Tignon
Links:
Moodle https://moodle2.uni-potsdam.de/course/view.php?id=22378
Additional Material https://teaching.potassco.org/
Kommentar
Answer Set Programming (ASP) is a prime approach to declarative problem solving. Although initially tailored to modeling
problems in the area of Knowledge Representation and Reasoning (KRR), its attractive combination of a rich yet simple
modeling language with high-performance solving capacities has sparked interests in academia and industry way beyond
KRR. This course presents a detailed introduction to ASP, aiming at using ASP languages and systems for solving application
problems. Starting from the essential formal foundations, it introduces ASP's solving technology, modeling language and
methodology, while illustrating the overall solving process by practical examples.
Voraussetzung
Motivation.
Literatur
• Answer Set Solving in Practice by Martin Gebser, Roland Kaminski, Benjamin Kaufmann, and Torsten Schaub. Synthesis
Lectures on Artificial Intelligence and Machine Learning, Morgan and Claypool
• Potassco User Guide by the Potassco team, https://github.com/potassco/guide/releases
• Answer Set Programming by Vladimir Lifschitz. Springer
• Knowledge Representation, Reasoning, and the Design of Intelligent Agents: The Answer-Set Programming Approach by
Michael Gelfond and Yulia Kahl. Cambridge University Press
Leistungsnachweis
Marked exam and assignments
Bemerkung
Offline communication is conducted primarily via the associated moodle page.
Announcements are also made through the email list of registered students in puls.
Questions can be addressed to asp@lists.cs.uni-potsdam.de
A tutorial introduction to answer set programming, used in the projects, is given separately.
Lerninhalte
• Motivation
• Introduction
• Modeling
• Language
• Grounding
• Foundations
• Solving
• Advanced modeling
Kurzkommentar
We start on Friday 29th. In the next days we will be adding further information about the course at Moodle . - cu
Zielgruppe
This is an introductory lecture for MSc students with varying backgrounds.
Leistungen in Bezug auf das Modul
L 12210 - Lehrveranstaltung (nicht Seminar/Projekt) (unbenotet)
L 12246 - Lehrveranstaltung (nicht Seminar/Projekt) (unbenotet)
21
Abkürzungen entnehmen Sie bitte Seite 5Master of Education - Informatik Lehramt LSIP (PS/P3) 1. Fach - Prüfungsversion Wintersemester 2011/12
90625 PR - Declarative Problem Solving and Optimization
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
1 PR N.N. N.N. wöch. N.N. N.N. Francois Laferriere,
Javier Romero Davila,
Prof. Dr. Torsten Schaub,
Etienne Tignon
Kommentar
Suite of usually practical assigments accompanying the course
Leistungsnachweis
Successfully accomplished assignments
Leistungen in Bezug auf das Modul
L 12210 - Lehrveranstaltung (nicht Seminar/Projekt) (unbenotet)
L 12246 - Lehrveranstaltung (nicht Seminar/Projekt) (unbenotet)
Praktische Informatik 1
90484 FS - Cluster Computing
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
1 FS Do 09:30 - 11:00 wöch. 2.70.0.10 28.10.2021 Prof. Dr. Bettina Schnor
Kommentar
Das Forschungsseminar behandelt aktuelle Themen aus dem Bereich Cluster Computing. Es werden aktuelle Arbeiten von
Doktoranden, Diplomanden, Master- und Bachelorstudenten aus dem Bereich Cluster Computing, Betriebssysteme und
Netzwerksicherheit vorgestellt.
Eine Vortragsuebersicht finden Sie hier: www.cs.uni-potsdam.de/bs/teaching/courses.html
Voraussetzung
Teilnehmer sind Doktoranden, Diplomanden, Master- und Bachelorstudenten aus der Arbeitsgruppe Betriebssysteme und
Verteilte Systeme.
Leistungsnachweis
Die Vorträge und die Ausarbeitung der Teilnehmer werden benotet und gehen zu je 50 % in die Note ein.
Leistungen in Bezug auf das Modul
L 12214 - Seminar/Projekt (unbenotet)
L 12250 - Seminar/Projekt (unbenotet)
90516 FS - Komplexe Multimediale Anwendungsarchitekturen
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
1 FS Di 14:00 - 16:00 wöch. 2.70.0.09 26.10.2021 Prof. Dr.-Ing. Ulrike
Lucke, Dr. Raphael
Zender, Dr. rer. nat.
Tobias Moebert, Axel
Wiepke
Kommentar
Es werden aktuelle Forschungsarbeiten des Lehrstuhls sowie studentische Arbeiten vorgestellt und diskutiert.
Leistungsnachweis
Mit der Belegung des Seminars kann eine unbenotete Leistung im Umfang von 3 LP abgelegt werden. Diese gilt als erbracht,
wenn eine individuelle Auseinandersetzung mit den präsentierten Forschungsarbeiten nachgewiesen wird durch eine aktive
Teilnahme an mindestens 80% der Reflexions- und Diskussionsrunden.
22
Abkürzungen entnehmen Sie bitte Seite 5Master of Education - Informatik Lehramt LSIP (PS/P3) 1. Fach - Prüfungsversion Wintersemester 2011/12
Lerninhalte
Bitte tragen Sie sich in den Moodle-Kurs zum Seminar ein:
https://moodle2.uni-potsdam.de/course/view.php?id=29917
Die Veranstaltung wird in dieser Umgebung voll online stattfinden.
Leistungen in Bezug auf das Modul
L 12214 - Seminar/Projekt (unbenotet)
L 12250 - Seminar/Projekt (unbenotet)
90518 FS - Knowledge Representation and Reasoning
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
1 FS Mi 14:00 - 16:00 wöch. 2.70.0.08 27.10.2021 Prof. Dr. Torsten Schaub,
Javier Romero Davila,
Etienne Tignon
Kommentar
This seminar deals with state-of-the-art research questions in the area of knowledge representation and reasoning and
focusses on current topics in and around answer set programming.
Voraussetzung
Knowledge in knowledge representation and reasoning and answer set programing.
Literatur
See potassco.org for a comprehensive collection of material.
Leistungsnachweis
Active and regular participation, oral presentation and an essay.
Lerninhalte
On individual basis.
Kurzkommentar
For announcements just (un)subscribe at https://lists.cs.uni-potsdam.de/subscribe/krnews
Zielgruppe
Students conducting a BSc, MSc, or PhD thesis in knowledge representation and reasoning, and in particular in answer set
programming.
Leistungen in Bezug auf das Modul
L 12214 - Seminar/Projekt (unbenotet)
L 12250 - Seminar/Projekt (unbenotet)
90519 FS - Knowledge-based Systems
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
1 FS Mi 14:00 - 16:00 wöch. 2.70.0.08 27.10.2021 Prof. Dr. Torsten Schaub,
Javier Romero Davila,
Etienne Tignon
Kommentar
This seminar deals with state-of-the-art research questions in the area of knowledge representation and reasoning and
focusses on current topics in and around answer set programming.
23
Abkürzungen entnehmen Sie bitte Seite 5Master of Education - Informatik Lehramt LSIP (PS/P3) 1. Fach - Prüfungsversion Wintersemester 2011/12
Voraussetzung
Knowledge in knowledge representation and reasoning and answer set programing.
Literatur
See potassco.org for a comprehensive collection of material.
Leistungsnachweis
Active and regular participation, oral presentation and an essay.
Bemerkung
Please check the sister seminar "Knowledge representation and reasoning" for details
Lerninhalte
On individual basis.
Kurzkommentar
For announcements just (un)subscribe at https://lists.cs.uni-potsdam.de/subscribe/krnews
Zielgruppe
Students conducting a BSc, MSc, or PhD thesis in knowledge representation and reasoning, and in particular in answer set
programming.
Leistungen in Bezug auf das Modul
L 12214 - Seminar/Projekt (unbenotet)
L 12250 - Seminar/Projekt (unbenotet)
Praktische Informatik 2
90484 FS - Cluster Computing
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
1 FS Do 09:30 - 11:00 wöch. 2.70.0.10 28.10.2021 Prof. Dr. Bettina Schnor
Kommentar
Das Forschungsseminar behandelt aktuelle Themen aus dem Bereich Cluster Computing. Es werden aktuelle Arbeiten von
Doktoranden, Diplomanden, Master- und Bachelorstudenten aus dem Bereich Cluster Computing, Betriebssysteme und
Netzwerksicherheit vorgestellt.
Eine Vortragsuebersicht finden Sie hier: www.cs.uni-potsdam.de/bs/teaching/courses.html
Voraussetzung
Teilnehmer sind Doktoranden, Diplomanden, Master- und Bachelorstudenten aus der Arbeitsgruppe Betriebssysteme und
Verteilte Systeme.
Leistungsnachweis
Die Vorträge und die Ausarbeitung der Teilnehmer werden benotet und gehen zu je 50 % in die Note ein.
Leistungen in Bezug auf das Modul
L 12217 - Seminar/Projekt (unbenotet)
L 12253 - Seminar/Projekt (unbenotet)
24
Abkürzungen entnehmen Sie bitte Seite 5Master of Education - Informatik Lehramt LSIP (PS/P3) 1. Fach - Prüfungsversion Wintersemester 2011/12
90516 FS - Komplexe Multimediale Anwendungsarchitekturen
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
1 FS Di 14:00 - 16:00 wöch. 2.70.0.09 26.10.2021 Prof. Dr.-Ing. Ulrike
Lucke, Dr. Raphael
Zender, Dr. rer. nat.
Tobias Moebert, Axel
Wiepke
Kommentar
Es werden aktuelle Forschungsarbeiten des Lehrstuhls sowie studentische Arbeiten vorgestellt und diskutiert.
Leistungsnachweis
Mit der Belegung des Seminars kann eine unbenotete Leistung im Umfang von 3 LP abgelegt werden. Diese gilt als erbracht,
wenn eine individuelle Auseinandersetzung mit den präsentierten Forschungsarbeiten nachgewiesen wird durch eine aktive
Teilnahme an mindestens 80% der Reflexions- und Diskussionsrunden.
Lerninhalte
Bitte tragen Sie sich in den Moodle-Kurs zum Seminar ein:
https://moodle2.uni-potsdam.de/course/view.php?id=29917
Die Veranstaltung wird in dieser Umgebung voll online stattfinden.
Leistungen in Bezug auf das Modul
L 12217 - Seminar/Projekt (unbenotet)
L 12253 - Seminar/Projekt (unbenotet)
90518 FS - Knowledge Representation and Reasoning
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
1 FS Mi 14:00 - 16:00 wöch. 2.70.0.08 27.10.2021 Prof. Dr. Torsten Schaub,
Javier Romero Davila,
Etienne Tignon
Kommentar
This seminar deals with state-of-the-art research questions in the area of knowledge representation and reasoning and
focusses on current topics in and around answer set programming.
Voraussetzung
Knowledge in knowledge representation and reasoning and answer set programing.
Literatur
See potassco.org for a comprehensive collection of material.
Leistungsnachweis
Active and regular participation, oral presentation and an essay.
Lerninhalte
On individual basis.
Kurzkommentar
For announcements just (un)subscribe at https://lists.cs.uni-potsdam.de/subscribe/krnews
25
Abkürzungen entnehmen Sie bitte Seite 5Master of Education - Informatik Lehramt LSIP (PS/P3) 1. Fach - Prüfungsversion Wintersemester 2011/12
Zielgruppe
Students conducting a BSc, MSc, or PhD thesis in knowledge representation and reasoning, and in particular in answer set
programming.
Leistungen in Bezug auf das Modul
L 12217 - Seminar/Projekt (unbenotet)
L 12253 - Seminar/Projekt (unbenotet)
90519 FS - Knowledge-based Systems
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
1 FS Mi 14:00 - 16:00 wöch. 2.70.0.08 27.10.2021 Prof. Dr. Torsten Schaub,
Javier Romero Davila,
Etienne Tignon
Kommentar
This seminar deals with state-of-the-art research questions in the area of knowledge representation and reasoning and
focusses on current topics in and around answer set programming.
Voraussetzung
Knowledge in knowledge representation and reasoning and answer set programing.
Literatur
See potassco.org for a comprehensive collection of material.
Leistungsnachweis
Active and regular participation, oral presentation and an essay.
Bemerkung
Please check the sister seminar "Knowledge representation and reasoning" for details
Lerninhalte
On individual basis.
Kurzkommentar
For announcements just (un)subscribe at https://lists.cs.uni-potsdam.de/subscribe/krnews
Zielgruppe
Students conducting a BSc, MSc, or PhD thesis in knowledge representation and reasoning, and in particular in answer set
programming.
Leistungen in Bezug auf das Modul
L 12217 - Seminar/Projekt (unbenotet)
L 12253 - Seminar/Projekt (unbenotet)
Angewandte Informatik
90487 VU - Multimedia-Technologie
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
Alle V Do 12:00 - 14:00 wöch. 2.14.0.47 28.10.2021 Prof. Dr.-Ing. Ulrike Lucke
Alle V Do 12:00 - 14:00 wöch. 2.70.0.09 25.11.2021 Prof. Dr.-Ing. Ulrike Lucke
1 U Mo 14:00 - 16:00 Einzel 2.70.0.01 25.10.2021 Axel Wiepke
26
Abkürzungen entnehmen Sie bitte Seite 5Sie können auch lesen
