Vorlesungsverzeichnis - Master of Science - Informatik Prüfungsversion Wintersemester 2008/09 - PULS
←
→
Transkription von Seiteninhalten
Wenn Ihr Browser die Seite nicht korrekt rendert, bitte, lesen Sie den Inhalt der Seite unten
Vorlesungsverzeichnis
Master of Science - Informatik
Prüfungsversion Wintersemester 2008/09
Wintersemester 2021/22
Inhaltsverzeichnis
Inhaltsverzeichnis
Abkürzungsverzeichnis 3
Veranstaltungen 4
89118 OS - Cartesisches Seminar - Methodologie 4
89466 S - Eingebettete Systeme / IoT 4
90483 S - Boolesche Funktionen und binäre Schaltungen 5
90484 FS - Cluster Computing 7
90502 VU - Einführung in Hardware- und Systembeschreibungssprachen 7
90504 OS - Fehlertolerantes Rechnen 8
90516 FS - Komplexe Multimediale Anwendungsarchitekturen 8
90518 FS - Knowledge Representation and Reasoning 9
90519 FS - Knowledge-based Systems 9
90520 VU - Kryptographie und Komplexität 10
90522 OS - Lehrstuhlkolloquium I - Diplomanden- und Doktorandenseminar - Didaktik der Informatik 10
90523 VU - Maschinelles Lernen & Intelligente Datenanalyse II 11
90526 DF - Multi-agent path finding 11
90527 VU - Pervasive Computing 11
90528 OS - Theorie-Kolloquium 12
90618 VU - Advanced Problem Solving Techniques 12
90619 PJ - Advanced Problem Solving Techniques 13
90620 PR - Advanced Problem Solving Techniques 13
90624 VU - Declarative Problem Solving and Optimization 14
90625 PR - Declarative Problem Solving and Optimization 15
90626 VU - Didaktik der Informatik II 15
90628 S - Humanwissenschaftliche Informatilk 15
90633 VU - Naturwissenschaftlich motivierte formale Modelle 15
92216 PJ - Intelligent Logistics Technology 16
Glossar 17
2
Abkürzungen entnehmen Sie bitte Seite 3
Abkürzungsverzeichnis
Abkürzungsverzeichnis
Veranstaltungsarten Andere
AG Arbeitsgruppe N.N. Noch keine Angaben
B Blockveranstaltung n.V. Nach Vereinbarung
BL Blockseminar LP Leistungspunkte
DF diverse Formen SWS Semesterwochenstunden
EX Exkursion
Belegung über PULS
FP Forschungspraktikum
FS Forschungsseminar PL Prüfungsleistung
FU Fortgeschrittenenübung
PNL Prüfungsnebenleistung
GK Grundkurs
KL Kolloquium SL Studienleistung
KU Kurs
LK Lektürekurs L sonstige Leistungserfassung
LP Lehrforschungsprojekt
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)
3Master of Science - Informatik - Prüfungsversion Wintersemester 2008/09
Vorlesungsverzeichnis
Veranstaltungen
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/.
89466 S - Eingebettete Systeme / IoT
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
1 S Di 14:00 - 16:00 wöch. 2.70.0.10 26.10.2021 Prof. Dr.-Ing. Christian
Benno Stabernack
4
Abkürzungen entnehmen Sie bitte Seite 3Master of Science - Informatik - Prüfungsversion Wintersemester 2008/09
Kommentar
Im Rahmen der Veranstaltung sollen die Begriffe "eingebettete Systeme / Embedded Systems" und "IoT" auf der Basis eines
Seminars vermittelt werden.
Sog. eingebettete Systeme finden sich nahezu in allen Bereichen des täglichen Lebens wieder. Ob es die Steuerung von
Haushaltsgeräten ist, der Ladecontroller für das neue Elektrofahrrad oder die Gemischaufbereitung in nahezu allen modernen
Kraftfahrzeugen. Die Systeme bestehen in der Regel aus einem oder mehrern Prozessoren, verfügen jedoch über eine
Vielzahl weiterer Co-Prozessoren und hochspezialisierten Schnittstellen, um z.b. entsprechende Sensorik abfragen zu
können.
Komponenten für das sog. Internet of Things / IoT sind in der Regel auch der Klasse der eingebetteten System zuzuordnen,
jedoch sind die Anforderungen hier nochmals spezieller, vor allem in Hinblick auf den notwendigen Stromverbrauch.
Folgende Fragstellungen sollen im Laufe des Seminars durch entsprechende Vorträge geklärt werden:
• Hardware Architekturen eingebetteter Systeme, d.h. wie sind die Systeme typischerweise aufgebaut ?
• Wie werden eingebettete Systeme entworfen ? HW/SW Co Designzyklus
• Welche Beschreibungssprachen stehen zur Verfügung
• Was ist ein System on a Chip ?
• Was ist ein FPGA ?
• Speicherarchitekturen
• Wie sieht der Designzyklus für den entwurf eines Chips aus ?
• Welche Prozessoren existieren für den Entwurf eingebetteter Systeme ?
• Open Source Prozessoren, wie z.B. RISC V
• Betriebssystem oder Baremetall SW ?
• Wie können Echtzeitanforderungen eingehalten werden ?
• Was ist ein IoT Device ?
• Welche Kommunikationsprotokolle exitieren für IoT Devices ?
In der ersten Veranstaltung werden die Einzelthemen vorgestellt, die dann nach Terminabsprache im Laufe des Semester als
Vortrag dem Auditorium vorgetragen werden.
Zum Ende des Semersters findet eine zusammenfassende Diskussion aller Themen statt. Weiterhin sind Demonstrationen
geplant, um das Thema entsprechend zu vertiefen.
Neben den Vorträgen ist pro Thema eine kurze Ausarbeitung zu erstellen.
Leistungsnachweis
Die Gesamtnote für 3LP ergibt sich zu 70% aus einem benotetem Vortrag und 30% der Note für die Ausarbeitung.
Zielgruppe
Das Seminar richtet sich an Studierende im Bachelor und Masterstudiengang, die einen speziellen Interessenschwerpunkt im
Bereich der technischen Informatik haben.
90483 S - Boolesche Funktionen und binäre Schaltungen
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
1 DF Do 16:00 - 18:00 wöch. 2.70.0.09 28.10.2021 Prof. Dr. Michael Gössel
5
Abkürzungen entnehmen Sie bitte Seite 3Master of Science - Informatik - Prüfungsversion Wintersemester 2008/09
Kommentar
Das Seminar dient dazu, Ihre Kenntnisse auf dem Gebiet der Booleschen Funktionen und binäre Schaltungen zu
vertiefen, wenn Sie schon Grundkenntisse auf diesem Gebiet haben oder sich gute Kenntnisse zu erwerben, falls Sie als
Quereinsteiger mit den Masterstudiengang begonnen haben und sich in dieses Gebiet neu einarbeiten möchten.
Boolesche Funktionen und binäre Schaltungen sind eine, wenn nicht die Grundlage der Informatik, der Speicherung,
Verarbeitung und Übertragung digitaler Informationen. Die unübersehbar grosse Anzahl Boolescher Funktionen ist die
Grundlage für die nahezu unbegrenzte Anwendung digitaler Schaltungen.
Digitale Schaltungen sind zunehmend in allen Lebensbereichen präsent und von Wichtigkeit. Aus meiner Sicht ist es dabei
von Bedeutung, dass Sie als Informatiker gut verstehen, was digitale Schaltungen realisieren. wie sie aus kombinatorischen
Schaltungen und Speichern aufgebaut sind, und falls Sie Schaltungen entwerfen möchten, die Struktur vorgeben und
bewerten können und nicht nur einen Synthesetool anwenden, um ein international konkurrenzfähiges Produkt zu
erhalten.Wichtige Begriffe für Schaltungen sind der erforderliche Flächenaufwand, die Schaltungstiefe im Zusammenhang mit
dem zeitverhalten und die Sicherung gegen Fehler. Dabei ist auch die Patentliteratur zu berücksichtigen.
Für das Gebiet Computational Science ist darüberhinaus eine ausgezeichnet Kenntnis der Computerarithmetik von
besonderem Interesse. Sie beschäftigen sich daher im Seminar mit Details der Gleitkommaarithmetik, beispielsweise mit
Rundungsfehlern und Probleme der Genauigkeit.
Das Seminar soll ihnen dabei helfen, zu erkennen, wo Ihre Stärken und Möglichkeiten auch beim künftigen Entwerfen von
konkurreznfähigen digitalen Schaltungen liegen.
Die nahezu unbegrenzten Möglichkeiten digitale Systeme führt uns in eine Vielzahl ethischer Probleme die aus der
persönlichen Sicht des Seminarleiters und Ihrer persönlichen Sicht angesprochen werden.
Das Seminar wird on-line praesent angeboten. Angem,eldete Studierende erhalten einen Link zu zoom.
Voraussetzung
Es wird voraussgesetzt, dass die Teilnehmer und Teilnehmerinnen motiviert sind, neben der Teilnahme am Seminar sich auch
eigenständig in Teilgebiete Boolescher Funktionen und binäre Schaltunge selbständig einzuarbieten. Eine aktive Teilnahme
wird erwartet.
Spezielle Vorkenntnisse sind nicht erforderlich. Vorteilhaft sind elementare Kenntnisse Boolescher Funktionen und
Grundkenntnisse der Computerarithmetik. Insbesonder Quereinsteiger, die Ihren Masterstudiengang auf der Grundlage eines
Bachelors aus einem anderen Fach beginnen, können das Seminar mit Erfolg besuchen.
Literatur
Allen Teilnehmerinnen und Teilnehmern wird ein Manuskript im pdf-Vormat bereitgestellt. Für die Vorträge werden
Literaturhinweise einschliesslich zu berücksichtigender Patente gegeben, wobei die Literatur durch die Vortragenden
eigenständig ergänzt werden. Das Finden geeigneter relevanter Quellen soll von Ihnen als normaler Teil Ihrer künftigen Arbeit
erkannt und geübt werden.
Leistungsnachweis
Von den Teinehmerinnen und Teilnehmern, wird ein Vortrag gehalten, der bewertet wird und dessen Zensur 50% der
Bewertung ergibt.
Die Teilnehmer und Teilnehmerinnen fertigen eine Ausarbeitung zu einem vorgegebenen Thema an, das je nach
Vortragsthema, auch über den Vortrag hinausgeht und davon auch unterschiedlich sein kann. Die Ausarbeitung berücksichtigt
neben akademischer Literatur auch Patente. Die Bewertung der Ausarbeitung ist 50 % der Note.
Zu jeder Veranstaltung ist eine Zusammenfassung von 1/2 Seite zu schreiben. Um die Veranstaltung mit Erfolg
abzuschliessen, ist es erforderlich, dass zu mindestens 80% der Seminartermine eine Zusammenfassung an den
Seminarleiter gechickt worden sind.
Zu jedem Vortrag ist eine eine ausführliche Konsulation per Zoom oder Skype mit dem Seminarleiter vorgesehen, ehe der
Vortrag gehalten wird.
Bemerkung
Das Seminar wird on-line-praesent angeboten. Angemeldete Studierende erhalten einen Link.
6
Abkürzungen entnehmen Sie bitte Seite 3Master of Science - Informatik - Prüfungsversion Wintersemester 2008/09
Lerninhalte
Das Seminar beschäftigt sich mit grundlegenden Eigenschaften Boolescher Funktion, binären Schaltung und Anwendungen.
Folgenden Themen sollen als Vorlesung durch den Seminarleiter und als Vorträge der Teilnehmer und Teilnehmerinnen
behandelt werden:
1. Digitalisierung analoger Werte
2. Boolesche Funktionen. Klassen Boolescher Funktione (lineare Funktionen, montone Funktionen, selbstduale Funktionen,
bezüglich Superposition abgeshlossene Funnktionsklassen.
2.Darstellung Boolescher Funktionen. Normalformen wie disjunktive Normalform, konjunktive Normalform, antivalente
Normalform, Implikanten, Primmplikanten, Minimisierung.Entscheidungsdiagramme, BDDs
4. Realisierungen Boolescher Schaltungen. verschiedene Basen, CMOS-Realisierungen, Fehler in binären Schaltungen,
Fehlermodelle
Schaltungen zur Fehlererkennung, Scan-Pfad zum Testen Boolescher Schaltungen. Fehlertoleranz.
5. Spezielle Schaltungen wie verschiedene Addierer, Zähler, Decoder u. a.
6. Datenkompression und Codierung, Lineare Datenkompression
7.Neuere Entweicklungen wie "in Memory-Computing", M-RAM-Zelle zum gleichzeitigen Speichern und Verknüpfen von
Daten,Patente zum im Memory Computing
Kurzkommentar
siehe Kommentar
Das Seminar wird on-line praesent angeboten. Studierende, die angemeldet sind, erhalten einen Link.
Zielgruppe
Master-und Batchelor- Studenten und Studentinnen, die Grundkentnisse zu digitalen Systemen und Booleschen Funktionen
haben oder erwerben wollen und die in einer Welt digitaler Schaltungen diese Schaltungen verstehen und konkurenzfähig
mitentwickeln wollen und die motiviert zu eigener, schöpferischer Arbeit sind.
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.
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
7
Abkürzungen entnehmen Sie bitte Seite 3Master of Science - Informatik - Prüfungsversion Wintersemester 2008/09
90504 OS - Fehlertolerantes Rechnen
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
1 OS Mi 16:00 - 18:00 wöch. 2.70.0.08 27.10.2021 Prof. Dr. Michael Gössel
Kommentar
In dem Seminar tragen Mitarbeiter und Gäste der Arbeitsgruppe, Masterstudenten und Bacherlorstudenten, die ein Projekt,
einen Bacherlorarbeit eine Masterarbeit schreiben, ihre Forschungsergebnisse vor und stellen sie zur Diskussion. Das
Oberseminar dient auch dazu, neue, aktuell publizierte oder patentierte Ergebnisse auf dem Gebiet des fehlertoleranten
Rechnens zu erarbeiten.
Voraussetzung
Grundlagen der Technische Informatik, nützlich:Fehlertoleranter Systementwurf, Codierungstheorie, Interesse an der
Umsetzung theoretischer Ergebnisse in technische Lösungen.
Eine aktive Teilnahme wird erwartet, (Projektarbeit, Bacherlorarbeit oder Masterarbeit in der Arbeitsgruppe, eigener Vortrag,
Arbeit mit Patenten als Informationsquelle))
Literatur
aktuelle Arbeiten, werden gemeinsam ausgewählt.
Leistungsnachweis
Eigener Vortrag und regelmäßige Teilnahme am Seminar
Bemerkung
Ergebnisse können sowohl in Deutsch als auch in Englisch dargestellt werden.
Lerninhalte
Vertiefung von Lösungen für Fehlererkennung und Fehlertoleranz, Stärkung der Fähigkeiten zu eigener wissenschaftlicher
Arbeit.
Zielgruppe
Bacherlor-und Master- Studenten und Studentinnen, die eigenständig wissenschaftlich arbeiten wollen, sich selbst in
komplexere Aufgaben einarbeiten wollen und einen eigenen wissenschaftlichen Beitrag auf dem Bebiet der Fehlertoleranz
und Zuverlässigkeit anstreben.
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
Die Leistungserfassung besteht aus insgesamt zwei Komponenten:
1) individuelle Auseinandersetzung mit den präsentierten Forschungsarbeiten, nachgewiesen durch eine aktive Teilnahme an
mindestens 80% der Reflexions- und Diskussionsrunden
2) Erstellung eines fünfseitigen Essays über einen selbst gewählten Vortrag aus dem Seminar
Dabei ist 1. die Voraussetzung für die Zulassung zur Modulprüfung, und die Modulnote für dieses Seminar ergibt sich aus 2.
8
Abkürzungen entnehmen Sie bitte Seite 3Master of Science - Informatik - Prüfungsversion Wintersemester 2008/09
Bemerkung
Aufgrund des Präsenznotbetriebs findet der Kurs in diesem Semester zunächst online statt. Falls die behördlichen
Regelungen es erlauben, werden wir in den Präsenzmodus zurück wechseln. In Moodle.UP werden wir Ihnen wöchentlich am
Montag eine max. 30-minütige Vortragsaufzeichnung sowie kurze Reflexionsfragen dazu bereitstellen. Sie haben dann einen
Tag Zeit um das Material durchzuarbeiten. Am Dienstag um 14:30 werden wir uns über die Videokonferenz-Software Zoom
verbinden und virtuell miteinander diskutieren. Alle wichtigen Hinweise dazu sowie weitere Details zum Ablauf des Seminars
entnehmen Sie bitte der Einführungspräsentation, die Sie sich ab Mitte April auf Moodle.UP herunterladen und ansehen
können.
Lerninhalte
Bitte tragen Sie sich in den Moodle-Kurs zum Seminar ein:
https://moodle2.uni-potsdam.de/course/view.php?id=23394
Die Veranstaltung wird in dieser Umgebung voll online stattfinden.
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.
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
9
Abkürzungen entnehmen Sie bitte Seite 3Master of Science - Informatik - Prüfungsversion Wintersemester 2008/09
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.
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.
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
10
Abkürzungen entnehmen Sie bitte Seite 3Master of Science - Informatik - Prüfungsversion Wintersemester 2008/09
In 2.70.2.02
Kommentar
http://www.informatikdidaktik.de/Lehre/Lehrstuhlkolloquium
Leistungsnachweis
Vortrag und schriftliche Ausarbeitung
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
90526 DF - Multi-agent path finding
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
1 VU Mo 14:00 - 16:00 wöch. 2.70.0.08 25.10.2021 Prof. Dr. Torsten Schaub,
Etienne Tignon
90527 VU - Pervasive Computing
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
1 V Mi 12:00 - 14:00 wöch. 2.70.0.10 27.10.2021 Dr. rer. nat. Tobias
Moebert
1 U Do 14:00 - 16:00 wöch. 2.70.0.10 28.10.2021 Dr. rer. nat. Tobias
Moebert
1 V Mi 12:00 - 14:00 Einzel 2.70.0.08 03.11.2021 Dr. rer. nat. Tobias
Moebert
Kommentar
Der Kurs bietet einen tiefgehenden Einblick in das hochaktuelle Forschungsfeld Pervasive Computing. Neben den
grundlegenden Herausforderungen intelligenter Umgebungen werden aktuelle Entwicklungen zu Themen wie mobile Netze,
Kontextbewusstsein, intuitive Mensch-Maschine-Kommunikation, Sicherheit & Vertraulichkeit u.v.m. behandelt sowie anhand
von Fallstudien aus den Bereichen Pervasive Learning und Pervasive Games diskutiert.
Voraussetzung
Grundkenntnisse von Rechnernetzen
Leistungsnachweis
Klausur
11
Abkürzungen entnehmen Sie bitte Seite 3Master of Science - Informatik - Prüfungsversion Wintersemester 2008/09
Bemerkung
Die Übung findet nur alle zwei Wochen statt, beginnend am 18.11.2021 . Im Laufe des Semesters werden Sie begleitend eine
Selbstlernleistung erbringen .
Zum Moodle-Kurs : https://moodle2.uni-potsdam.de/course/view.php?id=29677
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
90618 VU - Advanced Problem Solving Techniques
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 Francois Laferriere, Prof.
Dr. Torsten Schaub,
Javier Romero Davila,
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
12
Abkürzungen entnehmen Sie bitte Seite 3Master of Science - Informatik - Prüfungsversion Wintersemester 2008/09
Leistungsnachweis
Marked exam, assignments, report and talk.
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.
90619 PJ - Advanced Problem Solving Techniques
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
1 PJ N.N. N.N. wöch. N.N. N.N. Javier Romero Davila,
Francois Laferriere, Prof.
Dr. Torsten Schaub,
Etienne Tignon
Kommentar
Medium practical assignment accompanying the course, and preferably accomplished in a small group of preferably two
persons
Leistungsnachweis
Successfully accomplished medium assignment, including report and presentation
90620 PR - Advanced Problem Solving Techniques
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
1 PR N.N. N.N. wöch. N.N. N.N. Javier Romero Davila,
Francois Laferriere, Prof.
Dr. Torsten Schaub,
Etienne Tignon
Kommentar
Suite of usually practical assigments accompanying the course
13
Abkürzungen entnehmen Sie bitte Seite 3Master of Science - Informatik - Prüfungsversion Wintersemester 2008/09
Leistungsnachweis
Successfully accomplished assignments
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
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
14
Abkürzungen entnehmen Sie bitte Seite 3Master of Science - Informatik - Prüfungsversion Wintersemester 2008/09
Kurzkommentar
We start either on Thursday 28th or Friday 29th, we will write it here soon - cu
Zielgruppe
This is an introductory lecture for MSc students with varying backgrounds.
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
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
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)
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
15
Abkürzungen entnehmen Sie bitte Seite 3Master of Science - Informatik - Prüfungsversion Wintersemester 2008/09
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.
92216 PJ - Intelligent Logistics Technology
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
1 PJ Mi 17:00 - 18:00 Einzel 2.70.0.10 27.10.2021 Prof. Dr. Torsten Schaub,
Javier Romero Davila,
Francois Laferriere,
Etienne Tignon
Kommentar
In this project, student teams build software systems addressing problems in warehouse logistics using problem solvers for
answer set programming
Voraussetzung
Knowledge in answer set programming (and python).
Leistungsnachweis
Implementation, evaluation, presentation, and documentation.
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 address to krprojects@lists.cs.uni-potsdam.de .
Lerninhalte
On individual basis.
Kurzkommentar
Joint kick-off event for all projects of the professorship Knowledge Processing and Information Systems as announced in
course catalog of the department and the associated moodle page.
Zielgruppe
Students interested in applying AI-techniques in logistics
16
Abkürzungen entnehmen Sie bitte Seite 3Glossar
Glossar
Die folgenden Begriffserklärungen zu Prüfungsleistung, Prüfungsnebenleistung und Studienleistung gelten im Bezug auf
Lehrveranstaltungen für alle Ordnungen, die seit dem WiSe 2013/14 in Kranft getreten sind.
Prüfungsleistung Prüfungsleistungen sind benotete Leistungen innerhalb eines Moduls. Aus der Benotung
der Prüfungsleistung(en) bildet sich die Modulnote, die in die Gesamtnote des Studiengangs
eingeht. Handelt es sich um eine unbenotete Prüfungsleistung, so muss dieses ausdrücklich
(„unbenotet“) in der Modulbeschreibung der fachspezifischen Ordnung geregelt sein. Weitere
Informationen, auch zu den Anmeldemöglichkeiten von Prüfungsleistungen, finden Sie unter
anderem in der Kommentierung der BaMa-O
Prüfungsnebenleistung Prüfungsnebenleistungen sind für den Abschluss eines Moduls relevante Leistungen, die
– soweit sie vorgesehen sind – in der Modulbeschreibung der fachspezifischen Ordnung
beschrieben sind. Prüfungsnebenleistungen sind immer unbenotet und werden lediglich
mit "bestanden" bzw. "nicht bestanden" bewertet. Die Modulbeschreibung regelt, ob
die Prüfungsnebenleistung eine Teilnahmevoraussetzung für eine Modulprüfung oder
eine Abschlussvoraussetzung für ein ganzes Modul ist. Als Teilnahmevoraussetzung
für eine Modulprüfung muss die Prüfungsnebenleistung erfolgreich vor der Anmeldung
bzw. Teilnahme an der Modulprüfung erbracht worden sein. Auch für Erbringung einer
Prüfungsnebenleistungen wird eine Anmeldung vorausgesetzt. Diese fällt immer mit
der Belegung der Lehrveranstaltung zusammen, da Prüfungsnebenleistung im Rahmen
einer Lehrveranstaltungen absolviert werden. Sieht also Ihre fachspezifische Ordnung
Prüfungsnebenleistungen bei Lehrveranstaltungen vor, sind diese Lehrveranstaltungen
zwingend zu belegen, um die Prüfungsnebenleistung absolvieren zu können.
Studienleistung Als Studienleistung werden Leistungen bezeichnet, die weder Prüfungsleistungen noch
Prüfungsnebenleistungen sind.
17Impressum
Herausgeber Rechtsform und gesetzliche Vertretung
Am Neuen Palais 10 Die Universität Potsdam ist eine Körperschaft des Öffentlichen Rechts. Sie wird
14469 Potsdam gesetzlich vertreten durch Prof. Oliver Günther, Ph.D., Präsident der Universität
Potsdam, Am Neuen Palais 10, 14469 Potsdam.
Telefon: +49 331/977-0
Fax: +49 331/972163 Zuständige Aufsichtsbehörde
E-mail: presse@uni-potsdam.de Ministerium für Wissenschaft, Forschung und Kultur des Landes Brandenburg
Internet: www.uni-potsdam.de Dortustr. 36
14467 Potsdam
Umsatzsteueridentifikationsnummer
DE138408327 Inhaltliche Verantwortlichkeit i. S. v. § 5 TMG und § 55 Abs. 2
RStV
Layout und Gestaltung Referat für Presse- und Öffentlichkeitsarbeit
jung-design.net Referatsleiterin und Sprecherin der Universität
Silke Engel
Druck Am Neuen Palais 10
20.10.2021 14469 Potsdam
Telefon: +49 331/977-1474
Fax: +49 331/977-1130
E-mail: presse@uni-potsdam.de
Die einzelnen Fakultäten, Institute und Einrichtungen der Universität Potsdam sind für die Inhalte und Informationen ihrer
Lehrveranstaltungen zuständig.puls.uni-potsdam.de
Sie können auch lesen
