Vorlesungsverzeichnis - puls.uni-potsdam.de · 72405 VP - Funktionelle Histologie 30 Grundlagen der Molekularbiologie und Genetik 30 72320 VU - Genetik 31 72332 V - Molekularbiologie

VorlesungsverzeichnisBachelor of Science - Informatik/ComputationalSciencePrüfungsversion Wintersemester 2013/14

Sommersemester 2019

Inhaltsverzeichnis

Inhaltsverzeichnis

Abkürzungsverzeichnis 7

I. Grundlagenmodule Informatik.......................................................................................................................... 8

Grundlagen der Programmierung 8

Algorithmen und Datenstrukturen 8

74952 V - Algorithmen und Datenstrukturen 8

74953 U - Algorithmen und Datenstrukturen 8

Theoretische Grundlagen: Modellierungskonzepte der Informatik 9

Theoretische Grundlagen: Effiziente Algorithmen 9

74968 U - Theoretische Informatik II: Effiziente Algorithmen 9

74969 TU - Theoretische Informatik II: Effiziente Algorithmen 9

74970 V - Theoretische Informatik II: Effiziente Algorithmen 10

Informationsverarbeitung 11

Betriebssysteme und Rechnernetze 11

Konzepte paralleler Programmierung 11

75034 U - Konzepte paralleler Programmierung 11

75035 V - Konzepte paralleler Programmierung 11

Datenbanken und wissensbasierte Systeme 11

Software Engineering 11

Intelligente Datenanalyse 12

75012 U - Intelligente Datenanalyse 12

75013 V - Intelligente Datenanalyse 12

75174 V - Machine Learning 12

75175 U - Machine Learning 13

75176 V - Applied Data Science 13

75177 U - Applied Data Science 13

Komputationale Intelligenz 13

74989 PJ - Computational Intelligence 13

74990 U - Computational Intelligence 14

74991 V - Computational Intelligence 14

Mathematik für Informatiker I 15

Mathematik für Informatiker II 15

74962 U - Mathematik für Informatiker II 15

74963 V - Mathematik für Informatiker II 15

75009 U - Praxis der Programmierung 15

75010 V - Praxis der Programmierung 16

Mathematik für Informatiker III 16

74965 V - Mathematik für Informatiker III 16

74966 U - Mathematik für Informatiker III 16

Grundlagen der Stochastik 16

II. Aufbaumodule Informatik............................................................................................................................... 16

2Abkürzungen entnehmen Sie bitte Seite 7

Inhaltsverzeichnis

Rechnernetze 17

75014 V - Sicherheit in Rechnernetzen 17

75015 U - Sicherheit in Rechnernetzen 17

Intelligente Datenanalyse II 17

Sprachtechnologie 18

Netzbasierte Datenverarbeitung 18

75018 V - Netzbasierte Datenverarbeitung 18

75019 U - Netzbasierte Datenverarbeitung 18

Multimediatechnologie 18

Service- und Software-Engineering 18

75024 U - Software Engineering II 18

75025 V - Software Engineering II 19

75183 PJ - Mobile Security 19

75184 V - Mobile Security 19

IT und Organisation 19

75027 V - Object-Oriented Programming with C++ 19

75184 V - Mobile Security 20

Technische Informatik 20

74976 V - Zuverlässigkeit und Fehlertoleranz 20

75181 U - Zuverlässigkeit und Fehlertoleranz 20

Inferenzmethoden 20

74975 VS - Mathematisches Beweisen lernen mithilfe des Beweisassistenten Coq 21

Kryptographie und Komplexität 21

Agententechnologie 21

74999 S - Agent-technology 21

75000 PR - Agent-technology 22

Deklarative Programmierung 22

Informatik und Gesellschaft 22

74984 U - Didaktik der Informatik I 22

74985 V - Didaktik der Informatik I 22

74986 V - Informatik und Gesellschaft 22

74987 U - Informatik und Gesellschaft 23

III. Grundmodule Naturwissenschaften............................................................................................................. 23

Theoretische Physik I - Mechanik, Relativität 23

Einführung in die Astronomie 23

Simulation und Modellierung 23

Allgemeine und anorganische Chemie 23

73173 VS - Experimentalvorlesung Allgemeine und Anorganische Chemie II für BS-ERN/BS-GEE/BS-GEW 23

Organische Chemie 24

74436 U - OC-Übungen für GEE 24

74438 V - OC-Vorlesung für BIW/ERN/GEE 24

Geowissenschaften 24

Bioinformatik 24

Grundlagen der Biochemie und Zellbiologie 24

72333 V - Grundlagen der Biochemie 24


Inhaltsverzeichnis

72892 V - Grundlagen der Zellbiologie 24

Einführung in die kognitiven Neurowissenschaften 25

IV. Aufbaumodule Naturwissenschaften........................................................................................................... 25

Bereich Physik 25

Theoretische Physik II: Quantenmechanik einfacher Systeme 25

74501 V - Theoretische Physik II für Lehramt 25

74502 U - Theoretische Physik II für Lehramt 25

Aufbaumodul Statistische und nichtlineare Physik 25

72713 VU - Einführung in die Chaostheorie und in die stochastischen Prozesse 25

Physik I - GEO: Mechanik und Optik 25

Physik II - GEO: Physik der Materie 25

72509 VU - Experimentalphysik II (Ergänzungsfach für Geoökologen und Geowissenschaftler) 26

Aufbaumodul Astrophysik 26

72711 VU - Grundkurs Astrophysik II 26

Aufbaumodul Klimaphysik 26

72714 VS - Fluiddynamik mit Anwendungen in Klima- und Geophysik 26

72716 VU - Ice dynamics in Greenland and Antarctica 26

72721 VU - Dynamics of the climate system 26

73053 V - Theorie der globalen Meeresströmungen 27

74635 VU - Chemie der Atmosphäre und die Ozonschicht 27

78136 VU - Fluiddynamik in Meeresstroemungen und der Atmosphaerenphusik 27

Physik des Alltags 27

72527 VP - Physik des Alltags und der Extreme 27

Theoretische Physik I - Mechanik, Relativität 27

Bereich Chemie 27

Theoretische Chemie/Computerchemie 27

74452 VP - Theoretische Chemie/Computerchemie (AWP2) 28

Bereich Geowissenschaften 28

Geowissenschaften II 28

72878 VU - BScP02 Geowissenschaften II (Geländeübung Harz) 28

72879 VU - BScP02 Geowissenschaften II (Geländeübung Einführung) 28

72880 V - BScP02 Geowissenschaften II (Vorlesung) 28

72881 VU - BScP02 Geowissenschaften II (Übung) 29

Grundlagen der Geoinformationssysteme 29

Einführung in die Paläoklimatologie 29

72873 S - BScW14 Einführung in die Paläoklimatologie (Seminar) 29

72874 VS - BScW14 Einführung in die Paläoklimatologie (Vorlesung) 29

Naturkatastrophen 29

72885 V - BScW19 Naturkatastrophen (Vorlesung) 29

72886 SU - BScW19 Naturkatastrophen (Übung) 29

Klimatologie 29

72260 S - Angewandte Klimatologie 29

Hydrologie 30

72245 U - Hydrologie I 30

Seismologie 30


Inhaltsverzeichnis

Remote Sensing of the Environment 30

Bereich Bioinformatik 30

Zellbiologie 30

72385 V - Zellbiologie Tiere 30

72405 VP - Funktionelle Histologie 30

Grundlagen der Molekularbiologie und Genetik 30

72320 VU - Genetik 31

72332 V - Molekularbiologie 1 31

Molekularbiologie / Evolutionsbiologie 31

72401 V - Evolutionsbiologie 31

72589 V - Vorlesung Molekularbiologie 2 32

Molekularbiologie / Proteinstrukturbiologie 32

72372 VU - Proteinstrukturbiologie 32

72589 V - Vorlesung Molekularbiologie 2 32

Bereich kognitive Neurowissenschaften 32

Experimentelle und kognitive Psychologie 32

73421 V - Wahrnehmungspsychologie 32

73431 S - Einführung in die Psychologie der Wahrnehmung 33

73444 S - Cognitive and Sensorimotor Development 34

75140 S - Vertiefungsseminar Wahrnehmungpsychologie und Sensomotorik 35

Kognitive Neurowissenschaften 35

Aktuelle Themen der neurokognitiven Psychologie 35

73420 S - Einführung in die Psychologie des Gedächtnisses 35

73436 S - Kognitives und körperliches Training 36

V. Wahlpflichtmodul............................................................................................................................................ 37

Computermathematik: Numerik 37

VI. Akademische Grundkompetenzen............................................................................................................... 37

Mentoring und Praxis der Programmierung 37

75009 U - Praxis der Programmierung 37

75010 V - Praxis der Programmierung 37

75011 KU - Mentoring 38

Wissenschaftliches Arbeiten 38

74951 OS - Fehlertolerantes Rechnen 38

74961 S - Automotiv 2, Fahrassistenz und Selbstfahrer 39

74971 OS - Cartesisches Seminar 39

74972 OS - Theorie-Kolloquium 40

74975 VS - Mathematisches Beweisen lernen mithilfe des Beweisassistenten Coq 40

74981 S - Humanwissenschaftliche Informatilk 41

74983 OS - Lehrstuhlkolloquium II - Diplomanden- und Doktorandenseminar - Didaktik der Informatik 41

75006 FS - Knowledge-based Systems 42

75007 FS - Knowledge Representation and Reasoning 42

75016 FS - Cluster Computing 42

75017 FS - Komplexe Multimediale Anwendungsarchitekturen 43

75026 FS - Software Engineering 43

75171 BL - NUMA-aware Locks 43


Inhaltsverzeichnis

75179 S - Rechnerarchitektur und Mikroprozessortechnik 43

75193 S2 - Competitive Programming 43

Praktikum 44

74995 PJ - Extensive Logistics Technology 44

75008 PJ - Knowledge Representation and Reasoning in Practice 44

75044 PR - Individuelles Praktikum 1 44

75046 PR - Individuelles Praktikum 2 44

75172 PJ - Interoperability in the IoT 45

75178 PJ - Evaluierung und Optimierung von VR-Lehr-/Lernanwendungen 45

Glossar 46


Abkürzungsverzeichnis

Abkürzungsverzeichnis

Veranstaltungsarten

AG Arbeitsgruppe

B Blockveranstaltung

BL Blockseminar

DF diverse Formen

EV Einführungsveranstaltung

EX Exkursion

FP Forschungspraktikum

FS Forschungsseminar

FU Fortgeschrittenenübung

GK Grundkurs

IL individuelle Leistung

KL Kolloquium

KU Kurs

LK Lektürekurs

LP Lehrforschungsprojekt

OS Oberseminar

P Projektseminar

PJ Projekt

PR Praktikum

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

V Vorlesung

VE Vorlesung/Exkursion

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

N.N. Noch keine Angaben

n.V. Nach Vereinbarung

LP Leistungspunkte

SWS Semesterwochenstunden

Belegung über PULS

PL Prüfungsleistung

PNL Prüfungsnebenleistung

SL Studienleistung

L sonstige Leistungserfassung

7

Bachelor of Science - Informatik/Computational Science - Prüfungsversion Wintersemester 2013/14

Vorlesungsverzeichnis

I. Grundlagenmodule Informatik

Grundlagen der Programmierung

Für dieses Modul werden aktuell keine Lehrveranstaltungen angeboten

Algorithmen und Datenstrukturen

74952 V - Algorithmen und Datenstrukturen

Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft

1 V Fr 14:00 - 16:00 wöch. 3.06.H04 12.04.2019 Dr. Henning Bordihn

1 V Fr 15:00 - 17:00 Einzel 3.06.H04 14.06.2019 Dr. Henning Bordihn

Voraussetzung


Leistungsnachweis

Klausur am Schluß der Lehrveranstaltung

Lerninhalte

• Abstrakte Datentypen• Implementierung von Datentypen• Komplexität von Algorithmen• Entwurfsparadigmen für Algorithmen:Divide-and-Conquer, Backtracking, Greedy-Methode,Dynamisches Programmieren• Algorithmen auf Sequenzen und Matrizen• Algorithmen auf Bäumen• Algorithmen auf Graphen• Algorithmen auf Punktmengen

Leistungen in Bezug auf das Modul

SL 550211 - Vorlesung (unbenotet)

74953 U - Algorithmen und Datenstrukturen


1 U Mo 14:00 - 16:00 wöch. 3.01.H10 15.04.2019 Dr. Henning Bordihn

2 U Mo 16:00 - 18:00 wöch. 3.06.S18 15.04.2019 Dr. Henning Bordihn

3 U Mi 10:00 - 12:00 wöch. 3.06.S27 17.04.2019 Dr. Henning Bordihn

4 U Do 16:00 - 18:00 wöch. 3.06.S26 18.04.2019 Dr. Henning Bordihn

Voraussetzung


Leistungsnachweis

Klausur am Schluß der Lehrveranstaltung

Lerninhalte

• Abstrakte Datentypen• Implementierung von Datentypen• Komplexität von Algorithmen• Entwurfsparadigmen für Algorithmen:Divide-and-Conquer, Backtracking, Greedy-Methode,Dynamisches Programmieren• Algorithmen auf Sequenzen und Matrizen• Algorithmen auf Bäumen• Algorithmen auf Graphen• Algorithmen auf Punktmengen


https://puls.uni-potsdam.de/qisserver/rds?state=verpublish&status=init&vmfile=no&moduleCall=webInfo&publishConfFile=webInfo&publishSubDir=veranstaltung&publishid=74952

https://puls.uni-potsdam.de/qisserver/rds?state=verpublish&status=init&vmfile=no&moduleCall=webInfo&publishConfFile=webInfoPerson&publishSubDir=personal&keep=y&personal.pid=29









SL 550221 - Übung (unbenotet)

Theoretische Grundlagen: Modellierungskonzepte der Informatik


Theoretische Grundlagen: Effiziente Algorithmen

74968 U - Theoretische Informatik II: Effiziente Algorithmen


1 U Mi 12:00 - 14:00 wöch. 3.06.S19 10.04.2019 Prof. Dr. Christoph Kreitz,Mario Frank

2 U Do 14:00 - 16:00 wöch. 3.06.S15 11.04.2019 Prof. Dr. Christoph Kreitz,Mario Frank

3 U Do 16:00 - 18:00 wöch. 3.06.S28 11.04.2019 Prof. Dr. Christoph Kreitz,Mario Frank

4 U Fr 10:00 - 12:00 wöch. 3.07.0.38 12.04.2019 Prof. Dr. Christoph Kreitz,Mario Frank

Kommentar

Die Theoretische Informatik beschäftigt sich mit den grundlegenden Fragestellungen der Informatik. Hierzu werden Computer-und Automatenmodelle idealisiert und mathematisch untersucht.Die Automatentheorie und die Theorie der formalen Sprachen (Thema des ersten Semesters) ist grundlegend für dieEntwicklung von Programmiersprachen und Compilern. Sie untersucht, mit welchen Techniken welche Arten von Spracheneffizient analysiert werden können.Die Berechenbarkeitstheorie befasst sich mit den prinzipiellen Grenzen des Berechenbaren und der Relation zwischenverschiedenen Computer- und Programmiermodellen. Die Komplexitätstheorie untersucht Effizienz von Algorithmen imHinblick auf Platz- und Zeitbedarf und kümmert sich insbesondere um die Frage, wie effizient man bestimmte Probleme lösenkann.Gliederung der Theoretischen Informatik II* Berechenbarkeitstheorie o Turingmaschineno Rekursive Funktioneno Lambda-Kalkül und arithmetische Repräsentierbarkeito Die Churchsche Theseo Berechenbarkeit, Aufzählbarkeit und Entscheidbarkeito Unlösbare Probleme* Komplexitätstheorieo Konkrete Komplexitätsanalyseo Komplexitätsklasseno Handhabbarkeit: das P - NP Problem o NP-vollständige Problemo Jenseits von NP-vollständigkeito Pseudopolynomielle und approximierende Algorithmeno Probabilistische Lösung nichthandhabbarer Problemeo Programmverifikation und -synthese

Voraussetzung

Erfolgreiche Teilnahme an Theoretische Informatik I ist sehr zu empfehlen

Literatur

. Hopcroft, R. Motwani, J. Ullman: Einfuehrung in die Automatentheorie, Formale Sprachen und Komplexitaetstheorie,Pearson 2002 Michael Sipser: Introduction to the Theory of Computation. 2. Auflage, PWS 2005 J

Leistungsnachweis

Klausur zu Beginn des vorlesungsfreien Zeitraums



74969 TU - Theoretische Informatik II: Effiziente Algorithmen


1 TU Mi 08:00 - 10:00 wöch. 3.06.H02 17.04.2019 Prof. Dr. Christoph Kreitz














Kommentar


Voraussetzung


Literatur


Leistungsnachweis

Klausur zu Beginn des vorlesungsfreien Zeitraums


SL 550431 - Tutorium (unbenotet)

74970 V - Theoretische Informatik II: Effiziente Algorithmen


1 V Di 14:00 - 16:00 wöch. 3.06.H05 09.04.2019 Prof. Dr. Christoph Kreitz

Kommentar






Voraussetzung


Literatur


Leistungsnachweis

Klausur zum Ende des vorlesungsfreien Zeitraums



Informationsverarbeitung


Betriebssysteme und Rechnernetze


Konzepte paralleler Programmierung

75034 U - Konzepte paralleler Programmierung


1 U Do 12:00 - 14:00 wöch. 3.06.H01 18.04.2019 Petra Vogel

Kommentar

siehe Webseite

Voraussetzung

Vorlesung Grundlagen Betriebssysteme und Rechnernetze

Leistungsnachweis

mindesten 50% der Hausaufgabenpunkte, um zur Klausur zugelassen zu werden. Die Note ergibt scih aus der Klausurnote.

Kurzkommentar

5.4.18. Die Lehrveranstaltung beginnt am 17.4.18.



75035 V - Konzepte paralleler Programmierung


1 V Di 14:00 - 16:00 wöch. 3.06.H01 16.04.2019 Prof. Dr. Bettina Schnor

Kommentar

siehe Webseite

Voraussetzung


Leistungsnachweis

mindesten 50% der Hausaufgabenpunkte, um zur Klausur zugelassen zu werden. Die Note ergibt scih aus der Klausurnote.



Datenbanken und wissensbasierte Systeme


Software Engineering








Intelligente Datenanalyse

75012 U - Intelligente Datenanalyse


1 U Di 10:00 - 12:00 wöch. 3.04.0.04 09.04.2019 Prof. Dr. Tobias Scheffer

2 U Do 14:00 - 16:00 wöch. 3.04.0.04 11.04.2019 Prof. Dr. Tobias Scheffer

3 U Fr 14:00 - 16:00 wöch. 3.04.0.04 12.04.2019 Prof. Dr. Tobias Scheffer

4 U N.N. N.N. wöch. N.N. N.N. Prof. Dr. Tobias Scheffer

Kommentar

Die Veranstaltung beschäftigt sich mit Algorithmen, die aus Daten lernen können. Algorithmen des maschinellen Lernensgewinnen aus Daten Modelle, mit denen sich dann Vorhersagen über das beobachtete System treffen lassen. Anwendungenfür Datenanalyse-Verfahren erstrecken sich von der Vorhersage von Kreditrisiken über die Auswertung astronomischerDaten bis zu persönlichen Musikempfehlungen. Die Veranstaltung setzt sich aus einem Vorlesungs- und einem Projektteilzusammen. Der Vorlesungsteil vermittelt die Grundlagen des maschinellen Lernens. Im Projektteil werden anwendungsnaheAufgaben eigenständig in Python bearbeitet.

Leistungsnachweis

Projektaufgabe, Klausur oder mündliche Prüfung



75013 V - Intelligente Datenanalyse


1 V Mo 12:00 - 14:00 wöch. 3.06.H02 08.04.2019 Prof. Dr. Tobias Scheffer

Kommentar

Die Veranstaltung beschäftigt sich mit Algorithmen, die aus Daten lernen können. Algorithmen des maschinellen Lernensgewinnen aus Daten Modelle, mit denen sich dann Vorhersagen über das beobachtete System treffen lassen. Anwendungenfür Datenanalyse-Verfahren erstrecken sich von der Vorhersage von Kreditrisiken über die Auswertung astronomischerDaten bis zu persönlichen Musikempfehlungen. Die Veranstaltung setzt sich aus einem Vorlesungs- und einem Projektteilzusammen. Der Vorlesungsteil vermittelt das notwendigen Grundlagen des maschinellen Lernens. Im Projektteil werdenanwendungsnahe Aufgaben eigenständig in Python bearbeitet.

Leistungsnachweis




75174 V - Machine Learning


1 V Mo 12:00 - 14:00 wöch. 3.06.H02 08.04.2019 Prof. Dr. Tobias Scheffer

Kommentar

Die Veranstaltung beschäftigt sich mit Algorithmen, die aus Daten lernen können. Algorithmen des maschinellen Lernensgewinnen aus Daten Modelle, mit denen sich dann Vorhersagen über das beobachtete System treffen lassen. Anwendungenfür Datenanalyse-Verfahren erstrecken sich von der Vorhersage von Kreditrisiken über die Auswertung astronomischerDaten bis zu persönlichen Musikempfehlungen. Die Veranstaltung setzt sich aus einem Vorlesungs- und einem Projektteilzusammen. Der Vorlesungsteil vermittelt das notwendigen Grundlagen des maschinellen Lernens. Im Projektteil werdenanwendungsnahe Aufgaben eigenständig in Python bearbeitet.

Leistungsnachweis















75175 U - Machine Learning


1 U Di 10:00 - 12:00 wöch. 3.04.0.04 09.04.2019 Prof. Dr. Tobias Scheffer

2 U Do 14:00 - 16:00 wöch. 3.04.0.04 11.04.2019 Prof. Dr. Tobias Scheffer

3 U Fr 14:00 - 16:00 wöch. 3.04.0.04 12.04.2019 Prof. Dr. Tobias Scheffer

4 U N.N. N.N. wöch. N.N. N.N. Prof. Dr. Tobias Scheffer

Kommentar

Die Veranstaltung beschäftigt sich mit Algorithmen, die aus Daten lernen können. Algorithmen des maschinellen Lernensgewinnen aus Daten Modelle, mit denen sich dann Vorhersagen über das beobachtete System treffen lassen. Anwendungenfür Datenanalyse-Verfahren erstrecken sich von der Vorhersage von Kreditrisiken über die Auswertung astronomischerDaten bis zu persönlichen Musikempfehlungen. Die Veranstaltung setzt sich aus einem Vorlesungs- und einem Projektteilzusammen. Der Vorlesungsteil vermittelt die Grundlagen des maschinellen Lernens. Im Projektteil werden anwendungsnaheAufgaben eigenständig in Python bearbeitet.

Leistungsnachweis




75176 V - Applied Data Science


1 V Di 12:00 - 14:00 wöch. 3.06.H01 09.04.2019 Prof. Dr. Tobias Scheffer



75177 U - Applied Data Science


1 U Mi 12:00 - 14:00 wöch. 3.06.H01 10.04.2019 Prof. Dr. Tobias Scheffer



Komputationale Intelligenz

74989 PJ - Computational Intelligence


1 PJ N.N. N.N. wöch. N.N. N.N. Prof. Dr. Torsten Schaub

Kommentar

This course gives an introduction the the basic techniques used in intelligent systems. This includes advanced searchtechniques, logical reasoning, as well as their applications in diagnosis, planning, and data mining.

Voraussetzung

keine

Literatur

* D. Poole, A. Mackworth and R. Goebel. Computational Intelligence: A Logical Approach. Oxford University Press, New York,1998. * W. Bibel, S. Hölldobler, and T. Schaub. Wissensrepräsentation und Inferenz. Vieweg Verlag, Braunschweig, 1993. *I. Bratko. Prolog Programming for Artificial Intelligence. Addison-Wesley, 1990. * W. Clocksin and C. Mellish. Programmingin Prolog. Springer Verlag, Berlin, Heidelberg, New York, 1981. * T. Dean, J. Allen and Y. Aloimonos. Artificial Intelligence.Theory and Practice. Addison-Wesley, 1995. * N. J. Nilsson. Artificial Intelligence: A new Synthesis. Morgan Kaufmann, 1998.* St. Russell and P. Norvig. Artificial Intelligence: A Modern Approach. Prentice Hall, Englewood Cliffs,NJ, 1994. * Y. Shoham.Artificial Intelligence Techniques in Prolog. Morgan Kaufmann, 1994.

Leistungsnachweis

Scheinvergabe durch Praktika und eine benotete Klausur. Während des Semesters wird es mindestens zweiProgrammieraufgaben geben, die als Teilnahmevoraussetzung für die abschließende Klausur bestanden werden muessen(keine Notenvergabe). Die Gesamtnote wird an Hand der Klausur festgelegt. In der Nachklausur kann maximal die Note 4.0erzielt werden.














Bemerkung

Eine Einführung in Prolog wird in der 1.Veranstaltung angekündigt.

Kurzkommentar

Die konkreten Termine für Praktika/Projekt werden in der Vorlesung angegeben.


PNL 551131 - Praktikum (unbenotet)

74990 U - Computational Intelligence


1 U Do 16:00 - 18:00 wöch. 3.06.H01 18.04.2019 Prof. Dr. Torsten Schaub,Francois Laferriere

Kommentar


Voraussetzung

keine

Literatur


Leistungsnachweis


Bemerkung




74991 V - Computational Intelligence


1 V Fr 12:00 - 14:00 wöch. 3.06.H01 12.04.2019 Prof. Dr. Torsten Schaub,Francois Laferriere

1 V Fr 12:00 - 14:00 Einzel 3.06.S27 14.06.2019 Prof. Dr. Torsten Schaub,Francois Laferriere

Kommentar


Voraussetzung

keine

Literatur












Leistungsnachweis


Bemerkung


Kurzkommentar

Am 14.6.19 steht zunächst nur der Seminarraum S27 mit 70 Plätzen zur Verfügung!



Mathematik für Informatiker I


Mathematik für Informatiker II

74962 U - Mathematik für Informatiker II


1 U Mi 10:00 - 12:00 wöch. 3.06.S17 10.04.2019 apl. Prof. Dr. ChristineBöckmann

2 U Fr 10:00 - 12:00 wöch. 3.04.0.02 12.04.2019 N.N.

3 U Do 14:00 - 16:00 wöch. 3.06.H07 11.04.2019 apl. Prof. Dr. ChristineBöckmann

Kommentar

Es werden die Grundlagen der linearen Algebra besprochen.


PNL 511021 - Übung (unbenotet)

74963 V - Mathematik für Informatiker II


1 V Di 10:00 - 12:00 wöch. 3.06.H01 09.04.2019 apl. Prof. Dr. ChristineBöckmann

Kommentar

Es werden die Grundlagen der linearen Algebra besprochen.

Kurzkommentar

Für eine mögliche Verschiebung der Vorlesung steht ab der 3. Woche von 10-12 Uhr der HS01 zur Verfügung. DieEntscheidung darüber wird nach Beginn der Vorlesungszeit getroffen.



75009 U - Praxis der Programmierung


1 U Mo 12:00 - 14:00 wöch. 3.04.0.04 15.04.2019 Dr. Henning Bordihn

2 U Di 12:00 - 14:00 wöch. 3.04.0.04 16.04.2019 Dr. Henning Bordihn

3 U Mi 14:00 - 16:00 wöch. 3.04.0.04 17.04.2019 Dr. Henning Bordihn

4 U Do 10:00 - 12:00 wöch. 3.04.0.04 18.04.2019 Dr. Henning Bordihn

Voraussetzung


















Lerninhalte

Programmierung in C, Implementierung von Algorithmen undDatenstrukturen in einer imperativen Programmiersprache wie beispielsweise C,Objektorientierte Programmierung, beispielsweise in der Programmiersprache Java.



75010 V - Praxis der Programmierung


1 V Mi 16:00 - 18:00 wöch. 3.06.H04 10.04.2019 Dr. Henning Bordihn

Voraussetzung


Leistungsnachweis

Zwei Klausuren über je 60 Minuten, eine in der Mitte des Semesters, eine in der Prüfungszeit.

Lerninhalte

Programmierung in C, Implementierung von Algorithmen undDatenstrukturen in einer imperativen Programmiersprache wie beispielsweiseC, Objektorientierte Programmierung, beispielsweise in der ProgrammierspracheJava.



Mathematik für Informatiker III

74965 V - Mathematik für Informatiker III


1 V Do 08:00 - 10:00 wöch. 3.06.H02 11.04.2019 Dr. Wolfgang Schöbel

Kommentar

Es werden die Grundlagen der mehrdimensionalen Analysis, der numerischen Mathematik und der Differentialgleichungenbehandelt.



74966 U - Mathematik für Informatiker III


1 U Mo 10:00 - 12:00 wöch. 3.06.H01 15.04.2019 Dr. Wolfgang Schöbel

2 U Mo 12:00 - 14:00 wöch. 3.06.H01 15.04.2019 Dr. Wolfgang Schöbel

Kommentar

Es werden die Grundlagen der mehrdimensionalen Analysis, der numerischen Mathematik und der Differentialgleichungenbehandelt.



Grundlagen der Stochastik


II. Aufbaumodule Informatik










Rechnernetze

75014 V - Sicherheit in Rechnernetzen


1 V Mi 10:00 - 12:00 wöch. 3.06.H01 17.04.2019 Prof. Dr. Bettina Schnor

1 V Fr 10:00 - 12:00 14t. 3.06.H01 26.04.2019 Prof. Dr. Bettina Schnor

Kommentar

Achtung! Die Meldung der Lehrveranstaltung "Sicherheit in Rechnernetzen" für das Modul "1070 Praktische Informatik" wurdestorniert. Dafür wurden PULS die Lehrangebote

- Computational Intelligence

- Intelligente Datenanalyse

- Sprachtechnologie

als mögliche Lehrveranstaltungen für "1070 Praktische Informatik" gemeldet. Es kann bis zur Veröffentlichung der Korrektureneinige Zeit dauern.

Voraussetzung


Leistungsnachweis

Hausaufgaben, Klausur



75015 U - Sicherheit in Rechnernetzen


1 U Fr 10:00 - 12:00 14t. 3.06.H01 03.05.2019 Kristina Sahlmann

Kommentar

Achtung! Die Meldung der Lehrveranstaltung "Sicherheit in Rechnernetzen" für das Modul "1070 Praktische Informatik" wurdestorniert. Dafür wurden PULS die Lehrangebote

- Computational Intelligence

- Intelligente Datenanalyse

- Sprachtechnologie

als mögliche Lehrveranstaltungen für "1070 Praktische Informatik" gemeldet. Es kann bis zur Veröffentlichung der Korrektureneinige Zeit dauern.

Voraussetzung


Leistungsnachweis

Hausaufgaben, Klausur



Intelligente Datenanalyse II









Sprachtechnologie


Netzbasierte Datenverarbeitung

75018 V - Netzbasierte Datenverarbeitung


1 V Di 08:00 - 10:00 wöch. 3.04.1.02 09.04.2019 Prof. Dr.-Ing. UlrikeLucke, Raphael Zender

Kommentar

Aktuelle (Multimedia-)Applikationen setzen i.d.R. nicht nur leistungsfähige Clients voraus, sondern sind für den Einsatz inRechnernetzen konzipiert. Häufig handelt es sich um parallelisierte Anwendungen. Neben Servern und Netzwerktechnikerfordert dies spezielle netzbasierte Architekturen, um die Interoperabilität der einzelnen Komponenten in heterogenenUmgebungen zu gewährleisten. Die Vorlesung geht nach einer Einführung in die Thematik auf ausgewählte Konzepte ein, wiez.B. Grid Computing, Peer-to-Peer Kommunikation oder Service-Orientierte Architekturen. In der begleitenden Übung werdendie vorgestellten Konzepte vertiefend betrachtet und an einem Programmierbeispiel selbst analysiert.

Voraussetzung

Netzwerk- und Betriebssystem-Kenntnisse

Literatur

wird in der Veranstaltung bekannt gegeben

Leistungsnachweis

wird in der Lehrveranstaltung bekannt gegeben



75019 U - Netzbasierte Datenverarbeitung


1 U Mi 14:00 - 16:00 wöch. 3.04.1.02 10.04.2019 Stefanie Lemcke

Kommentar

Aktuelle (Multimedia-)Applikationen setzen i.d.R. nicht nur leistungsfähige Clients voraus, sondern sind für den Einsatz inRechnernetzen konzipiert. Häufig handelt es sich um parallelisierte Anwendungen. Neben Servern und Netzwerktechnikerfordert dies spezielle netzbasierte Architekturen, um die Interoperabilität der einzelnen Komponenten in heterogenenUmgebungen zu gewährleisten. Die Vorlesung geht nach einer Einführung in die Thematik auf ausgewählte Konzepte ein, wiez.B. Grid Computing, Peer-to-Peer Kommunikation oder Service-Orientierte Architekturen. In der begleitenden Übung werdendie vorgestellten Konzepte vertiefend betrachtet und an einem Programmierbeispiel selbst analysiert.

Voraussetzung

Netzwerk- und Betriebssystem-Kenntnisse

Literatur

wird in der Veranstaltung bekannt gegeben

Leistungsnachweis

wird in der Lehrveranstaltung bekannt gegeben



Multimediatechnologie


Service- und Software-Engineering

75024 U - Software Engineering II


1 U Mo 16:00 - 18:00 wöch. 3.04.1.02 15.04.2019 Prof. Dr.-Ing. ChristianHammer

2 U Di 14:00 - 16:00 wöch. 3.04.1.02 16.04.2019 Prof. Dr.-Ing. ChristianHammer














Voraussetzung

Erfolgreicher Abschluss der Lehrveranstaltung "Software Engineering".

Literatur

Wird in der LV bekanntgegeben.

Leistungsnachweis

Erfolgreiches Absolvieren einer Klausur und von Minitests in den Übungen.

Kurzkommentar

Für INF-DS-C2 und INF-DSAM4A unbedingt zur Vorlesung einschreiben. (VÜ ist Prüfungsnebenleistung (PNL).)



75025 V - Software Engineering II


1 V Do 14:00 - 16:00 wöch. 3.06.H01 11.04.2019 Prof. Dr.-Ing. ChristianHammer

Voraussetzung

Erfolgreicher Abschluss der Lehrveranstaltung "Software Engineering".

Literatur

Wird in der LV bekanntgegeben.

Leistungsnachweis

Erfolgreiches Absolvieren einer Klausur und von Minitests in den Übungen.



75183 PJ - Mobile Security


1 PJ Fr 10:00 - 12:00 wöch. 3.04.1.02 12.04.2019 Prof. Dr.-Ing. ChristianHammer



75184 V - Mobile Security


1 V Di 12:00 - 14:00 wöch. 3.04.1.02 09.04.2019 Prof. Dr.-Ing. ChristianHammer



IT und Organisation

75027 V - Object-Oriented Programming with C++


1 V Mi 16:00 - 18:00 wöch. 3.06.H01 10.04.2019 Prof. Dr.-Ing. ChristianHammer

Kurzkommentar

Für INF-DSAM9 unbedingt zur Vorlesung anmelden, da sie eine Prüfungsnebenleitung ist. (PNL)

















75184 V - Mobile Security


1 V Di 12:00 - 14:00 wöch. 3.04.1.02 09.04.2019 Prof. Dr.-Ing. ChristianHammer



Technische Informatik

74976 V - Zuverlässigkeit und Fehlertoleranz


1 V Fr 12:00 - 14:00 wöch. 3.04.0.02 12.04.2019 Prof. Dr. Michael Gössel,Prof. Dr. Milos Krstic

Kommentar

Die Vorlesung Zuverlässigkeit und Fehlertoleranz vermittelt grundlegende Kenntnisse für das Verstehen, den Entwurf, dieAnwendung und die Bewertung fehlertoleranter und zuverlässiger Systeme.

Durch die sich jahrelang weiter verkleinernden Dimensionen elektrischer Bauelemente reduzieren sich die Herstellungskostenelektronischer Schaltungen und Systeme. Gleichzeitig nimmt ihre Fehleranfälligkeit zu.

Um zuverlässige Schaltungen in modernen Technologien realisieren zu können sind daher zunehmend Verfahren desfehlertoleranten Systementwurfes erforderlich. Diese werden in der Vorlesung erarbeitet.

Folgende Begriffe sind dabei wichtig:

Technische Fehler und funktionelle Fehler, Fehlermodelle, Hardware-Test-Algorithmen, Eingebauter Selbsttest,Testdatenkompaktierung, Verfahren der On-Line-Fehlererkennung, Fehlertoleranz und fehlerkorrigierende Codes,TMR, Selbstprüfende und selbsttestende Schaltungen, Systemzuverlässigkeit (Verfügbarkeit, Sicherheit, Wartbarkeit),Administrierung von Redundanz, Modellierung der Zuverlässigkei (kombinatorische Modelle und Markov-Modelle),Softwearebasierter Test und Selbsttest, Software-Fehlertoleranz für Prozessoren.



75181 U - Zuverlässigkeit und Fehlertoleranz


1 U Fr 14:00 - 16:00 wöch. 3.04.0.02 12.04.2019 Prof. Dr. Michael Gössel,Prof. Dr. Milos Krstic

Kommentar

Die Vorlesung führt die Grundlagen und Techniken des Entwurfs zuverlässiger und fehlertoleranter Computersystemeein. Fehlertolerante Systeme finden in solchen Bereichen Anwendung, in denen erwartet wird, dass während desBetriebs Fehler im System auftreten können, diese aber nicht zu einem Ausfall des Systems führen dürfen, weildaraus schwerwiegende Folgen, wie Datenverlust, hohe Folgekosten oder sogar der Verlust von Menschenlebenentstehen können. Die auftretenden Fehler sind vielfältig und reichen von Hardwarefehlern, über Softwarefehler bishin zu Bedienungsfehlern. Die Vorlesung gibt einen Überblick über unterschiedliche Arten von Fehlern, Fehlermodelle,Testmethoden, hardwarebasierte Fehlertoleranztechniken, softwarebasierte Fehlertoleranztechniken, Codes, fehlertoleranteProzessoren und Zuverlässigkeitsmodellierung.



Inferenzmethoden












74975 VS - Mathematisches Beweisen lernen mithilfe des Beweisassistenten Coq


1 VS N.N. N.N. Block N.N. N.N. Prof. Dr. Christoph Kreitz,Dr. rer. nat. SebastianBöhne

Voraussetzung

Keine

Leistungsnachweis

Die abschließende Prüfung ist eine schriftliche Klausur, die am Rechner in den Poolräumen des Instituts für Informatik undComputational Science stattfinden wird.

Lerninhalte

Informatik-Studierende finden Themen der Theoretischen Informatik grundsätzlich interessant, aber korrespondierendeÜbungsaufgaben -- insbesondere Beweisaufgaben -- stellen immer wieder eine große Herausforderung dar. Der Blockkursgreift diesen Punkt auf und stellt das mathematische Beweisen in den Mittelpunkt der Auseinandersetzung. Zum Erlernender klassischen „Papier&Stift”-Beweise werden wir einen indirekten Weg einschlagen: Zunächst werden wir lernen, mitdem Beweisassistenten Coq Beweise zu führen (Erklärung Beweisassistent s.u.). Später werden wir daran arbeiten,diese Form der Beweise in „Papier&Stift”-Beweise zu übertragen. Schließlich wird auch eingeübt werden, „Papier&Stift”-Beweise direkt zu führen. Die Inhalte, anhand derer wir die Beweismethodik einstudieren werden, sind die folgenden:1) Logik a) Aussagenlogik b) Prädikatenlogik 2) Datenstrukturen a) Nicht-rekursive Datenstrukturen (Records) b)Listen c) Natürliche Zahlen d) Binärbäume Das Ziel allerdings ist hierbei weniger einen konkreten Themenbereichder Mathematik oder Theoretischen Informatik durchzuarbeiten, sondern den Teilnehmerinnen und Teilnehmern desKurses ein grundlegendes Verständnis mathematischer Beweisformen, formaler Methoden und dem dazugehörigenHandwerkszeug zur Entwicklung und Erstellung dieser zu vermitteln. Was sind Beweisassistenten? ComputergestützteSysteme zur Durchführung mathematischer Beweise werden seit den 1960ern entwickelt. Man unterscheidet zwischenSystemen, die Beweise erzeugen, sowie solchen, die Menschen beim Erzeugen von Beweisen unterstützen. Letztere werdenauch Beweisassistenten oder interaktive Theorembeweiser genannt, ein solches System ist Coq, welches wir im Kurseinsetzen werden. Bei Beweisassistenten im engeren Sinne des Begriffes kann der Nutzer Schritt für Schritt Wissen ausden Voraussetzungen generieren und das bisherige Ziel durch ein leichter zu zeigendes, aber hinreichendes Ziel ersetzen.Konkret werden Beweise durch eine Auflistung von sogenannten Taktiken innerhalb einer dem Programmieren ähnlichenEntwicklungsumgebung gewonnen, wobei den Taktiken systemintern Inferenzregeln zugrunde liegen. Das System führt diedurch die Taktiken vermittelten Inferenzregeln aus. Dabei prüft es jeden Beweisschritt auf seine formale Korrektheit. Dies istin erster Näherung mit dem Compilereinsatz beim Programmieren vergleichbar. Beweisassistenten haben gegenüber Stiftund Papier verschiedene Vorteile: - Sie liefern unmittelbares Feedback auf eine Beweisidee, indem sie genau anzeigen,ob ein Beweisschritt erfolgreich anwendbar ist und welche Schritte noch auszuführen sind, damit ein Beweis vollständigabgeschlossen ist. - Studierende können zu Beginn verschiedene Beweisideen ausprobieren, indem sie mit dem jeweiligenSystem spielen. Das garantiert höhere Flexibilität gegenüber Stift- und Papierbeweisen, in denen man nur sehr schlechtDinge streichen oder verbessern kann, ohne den Beweis neu aufschreiben zu müssen. Aus dem gleichen Grund sollte einBeweisassistent auch besser darin unterstützen, mit einem Beweis überhaupt zu beginnen.

Kurzkommentar

Die Veranstaltung findet vom 02.09.19 bis 27.09.19 statt.



Kryptographie und Komplexität


Agententechnologie

74999 S - Agent-technology


1 S Do 12:00 - 14:00 wöch. 3.04.1.02 11.04.2019 Prof. Dr. Torsten Schaub,Javier Romero Davila

Kommentar

This course gives an introduction to agent technology, focussing on techniques inducing intelligent behaviour.










Leistungsnachweis

Assignments, reports, and talks


PNL 552231 - Seminar (unbenotet)

75000 PR - Agent-technology


1 PR N.N. N.N. wöch. N.N. N.N. Prof. Dr. Torsten Schaub,Javier Romero Davila

Kommentar

This course gives an introduction to agent technology, focussing on techniques inducing intelligent behaviour.

Leistungsnachweis

Assignments, reports, and talks

Kurzkommentar

Termine und Durchführung werden im Seminar bekannt gegeben.


PNL 552241 - Praktikum (unbenotet)

Deklarative Programmierung


Informatik und Gesellschaft

74984 U - Didaktik der Informatik I


1 U Di 12:00 - 14:00 wöch. 3.04.0.02 16.04.2019 Dr. rer. nat. MareenPrzybylla

Kommentar

http://www.informatikdidaktik.de/Lehre/ddi1

Leistungsnachweis

Regelmäßige und aktive (!) Mitarbeit in den Übungen. Eine Abschlussnote wird bei erfolgreicher Teilnahme an einemPrüfungsgespräch erteilt.



74985 V - Didaktik der Informatik I


1 V Do 14:00 - 16:00 wöch. 3.04.2.01 11.04.2019 Prof. Dr. Andreas Schwill

Kommentar

http://www.informatikdidaktik.de/Lehre/ddi1

Leistungsnachweis

Regelmäßige und aktive (!) Mitarbeit in den Übungen. Eine Abschlussnote wird bei erfolgreicher Teilnahme an einemPrüfungsgespräch erteilt.



74986 V - Informatik und Gesellschaft


1 V Mi 16:00 - 18:00 wöch. 3.04.1.02 10.04.2019 Prof. Dr. Andreas Schwill













Kommentar

http://informatikdidaktik.de/Lehre/IuG

Leistungsnachweis

Mu#ndliche Pru#fung (15-30 Minuten)



74987 U - Informatik und Gesellschaft


1 U Fr 14:00 - 16:00 wöch. 3.04.1.02 12.04.2019 Prof. Dr. Andreas Schwill



III. Grundmodule Naturwissenschaften

Theoretische Physik I - Mechanik, Relativität


Einführung in die Astronomie


Simulation und Modellierung


Allgemeine und anorganische Chemie

73173 VS - Experimentalvorlesung Allgemeine und Anorganische Chemie II für BS-ERN/BS-GEE/BS-GEW


Alle V Di 10:30 - 12:00 wöch. 2.27.1.01 09.04.2019 Prof. Dr. Andreas Taubert

1 S Fr 12:15 - 13:00 wöch. 2.25.B1.01 12.04.2019 Prof. Dr. AndreasTaubert, ChristianBalischewski

2 S Mo 08:00 - 08:45 wöch. 2.25.B1.01 08.04.2019 Prof. Dr. AndreasTaubert, Alyna Lange

3 S Do 12:00 - 12:45 wöch. 2.25.B1.01 11.04.2019 Prof. Dr. AndreasTaubert, ChristianBalischewski

4 S Do 13:00 - 13:45 wöch. 2.25.B1.01 11.04.2019 Prof. Dr. AndreasTaubert, RamonaIhlenburg

5 S Di 12:00 - 12:45 wöch. 2.25.B1.01 09.04.2019 Prof. Dr. AndreasTaubert, Paul Sotzko

6 S Di 13:00 - 13:45 wöch. 2.25.B1.01 09.04.2019 Prof. Dr. AndreasTaubert, Kerstin Zehbe

7 S Mi 11:00 - 11:45 wöch. 2.25.B1.01 10.04.2019 Prof. Dr. AndreasTaubert, Alyna Lange


SL 533411 - Allgemeine und Anorganische Chemie (unbenotet)

SL 533412 - Allgemeine und Anorganische Chemie (unbenotet)































Organische Chemie

74436 U - OC-Übungen für GEE


1 U Do 10:15 - 11:45 wöch. 2.25.F0.15 11.04.2019 Sascha Behne

Nur für GEE; Doppelstunden in den ersten 12 Wochen der Vorlesungszeit


PNL 533512 - Vorlesung und Übung (unbenotet)

74438 V - OC-Vorlesung für BIW/ERN/GEE


1 V Mi 08:15 - 09:45 wöch. 2.27.1.01 10.04.2019 Prof. Dr. Bernd Schmidt

BIW/ERN/GEE Veranstaltung wird mit 4SWS durchgeführt

1 V Fr 14:15 - 15:45 wöch. 2.27.1.01 12.04.2019 Prof. Dr. Bernd Schmidt

BIW/ERN/GEE Veranstaltung wird mit 4SWS durchgeführt

Geowissenschaften


Bioinformatik


Grundlagen der Biochemie und Zellbiologie

72333 V - Grundlagen der Biochemie


1 V Fr 08:15 - 09:45 wöch. 2.27.1.01 12.04.2019 Prof. Dr. Petra Wendler,Dr. Paul Saffert

Kommentar

Die vier Vorlesungen Grundlagen der Biochemie, Grundlagen der Zellbiologie, Genetik und Molekularbiologie I (Module BIO-BM1.07 Grundlagen der Biochemie und Zellbiologie und BIO-BM1.08 Grundlagen der Genetik und Molekularbiologie) werdengemeinsam organisiert und der Inhalt auf 3 Termine je 2 SWS aufgeteilt.

Montag 16:15-17:45

Donnerstag 12:15-13:45

Freitag 8:15- 9:45


SL 541011 - Vorlesung - Biochemie (unbenotet)

72892 V - Grundlagen der Zellbiologie


1 V Mo 16:15 - 17:00 wöch. 2.27.1.01 08.04.2019 Prof. Dr. Ralph Gräf, Dr.Irene Meyer















Kommentar


Montag 16:15-17:45


Freitag 8:15- 9:45


SL 541012 - Allgemeine Zellbiologie (unbenotet)

Einführung in die kognitiven Neurowissenschaften


IV. Aufbaumodule Naturwissenschaften

Bereich Physik

Theoretische Physik II: Quantenmechanik einfacher Systeme

74501 V - Theoretische Physik II für Lehramt


1 V Mo 12:15 - 13:45 wöch. 2.28.0.108 08.04.2019 Dr. Michael Rosenblum

1 V Di 16:15 - 17:45 14t. 2.28.0.108 09.04.2019 Dr. Michael Rosenblum


SL 520711 - Theoretische Physik II: Quantenmechanik einfacher Systeme (unbenotet)

74502 U - Theoretische Physik II für Lehramt


1 U Di 16:15 - 17:45 14t. 2.28.0.108 16.04.2019 Dr. Ralf Tönjes


PNL 520721 - Theoretische Physik II: Quantenmechanik einfacher Systeme (unbenotet)

Aufbaumodul Statistische und nichtlineare Physik

72713 VU - Einführung in die Chaostheorie und in die stochastischen Prozesse


1 V Do 12:15 - 13:45 wöch. 2.27.0.29/30 11.04.2019 Dr. Michael Rosenblum

1 U Fr 12:15 - 13:45 14t. 2.27.0.29/30 19.04.2019 Dr. Michael Rosenblum


PNL 524212 - Einführung in die Chaostheorie und in die stochastischen Prozesse (unbenotet)

Physik I - GEO: Mechanik und Optik


Physik II - GEO: Physik der Materie











72509 VU - Experimentalphysik II (Ergänzungsfach für Geoökologen und Geowissenschaftler)


Alle V Mi 12:15 - 13:45 wöch. 2.27.0.01 10.04.2019 Dr. Jürgen Reiche, Dr.Oliver Henneberg

Alle V Fr 12:15 - 13:45 wöch. 2.27.0.01 12.04.2019 Dr. Jürgen Reiche, Dr.Oliver Henneberg

1 U Mo 10:15 - 11:45 wöch. 2.05.1.12 08.04.2019 Marek Sokolowski

2 U Mo 10:15 - 11:45 wöch. 2.28.0.102 08.04.2019 Dr. Jürgen Reiche

3 U Mo 10:15 - 11:45 wöch. 2.27.0.29/30 08.04.2019 Maren Rabe

4 U Di 14:15 - 15:45 wöch. 2.28.0.102 09.04.2019 Dr. Axel Heuer

5 U Di 14:15 - 15:45 wöch. 2.05.1.12 09.04.2019 Marek Sokolowski


PNL 525511 - Experimentalphysik II (unbenotet)

Aufbaumodul Astrophysik

72711 VU - Grundkurs Astrophysik II


1 V Mo 08:15 - 09:45 wöch. 2.28.2.011 08.04.2019 Dr. Martin Wendt, Prof.Dr. Philipp Richter

1 U Fr 12:15 - 13:45 14t. 2.28.2.011 19.04.2019 Sietske Jeltje DeirdreBouma


PNL 524112 - Grundkurs Astrophysik II (unbenotet)

Aufbaumodul Klimaphysik

72714 VS - Fluiddynamik mit Anwendungen in Klima- und Geophysik


1 S Mo 14:15 - 15:45 wöch. 2.28.0.102 08.04.2019 Dr. Fred Feudel

1 V Mi 12:15 - 13:45 wöch. 2.28.0.102 10.04.2019 Dr. Fred Feudel


PNL 524412 - Dynamics of Climate System (unbenotet)

72716 VU - Ice dynamics in Greenland and Antarctica


1 U N.N. N.N. Block N.N. N.N. Prof. Dr. Hilke RicardaWinkelmann

Raum und Zeit nach Absprache

1 V N.N. N.N. Block N.N. N.N. Prof. Dr. Hilke RicardaWinkelmann

Raum und Zeit nach Absprache


PNL 524411 - Physik der Atmosphäre (unbenotet)


72721 VU - Dynamics of the climate system


1 U N.N. N.N. Block N.N. N.N. Prof. Dr. AndersLevermann

1 V N.N. N.N. Block N.N. N.N. Prof. Dr. AndersLevermann




































73053 V - Theorie der globalen Meeresströmungen


1 V Di 14:15 - 15:45 wöch. 2.28.0.104 09.04.2019 Prof. Dr. StefanRahmstorf




74635 VU - Chemie der Atmosphäre und die Ozonschicht


1 U Do 14:15 - 15:00 wöch. 2.27.0.29/30 11.04.2019 N.N.

1 V Do 16:15 - 17:45 wöch. 2.27.0.29/30 11.04.2019 Prof. Dr. Markus Rex




78136 VU - Fluiddynamik in Meeresstroemungen und der Atmosphaerenphusik


1 VU N.N. N.N. Block N.N. N.N. Dr. Fred Feudel

9.-14. September 2019




Physik des Alltags

72527 VP - Physik des Alltags und der Extreme


1 PR Mo 10:15 - 14:15 wöch. 2.28.1.024 08.04.2019 Dr. Horst Gebert

1 V Fr 12:15 - 13:45 wöch. 2.28.0.108 12.04.2019 Dr. Horst Gebert


PNL 524511 - Physik des Alltags und der Extreme/Praktikum (unbenotet)

Theoretische Physik I - Mechanik, Relativität


Bereich Chemie

Theoretische Chemie/Computerchemie














74452 VP - Theoretische Chemie/Computerchemie (AWP2)


1 V Mo 08:15 - 09:45 wöch. 2.25.D2.02 08.04.2019 PD Dr. TillmannKlamroth, Prof. Dr. PeterSaalfrank

1 V Di 08:15 - 09:45 wöch. 2.25.D2.02 09.04.2019 PD Dr. TillmannKlamroth, Prof. Dr. PeterSaalfrank

1 V Mi 08:15 - 09:45 wöch. 2.25.D2.02 10.04.2019 PD Dr. TillmannKlamroth, Prof. Dr. PeterSaalfrank

1 PR Mi 14:00 - 17:00 wöch. 2.25.D2.02 10.04.2019 PD Dr. Tillmann Klamroth

1 V Do 08:15 - 09:45 wöch. 2.25.D2.02 11.04.2019 PD Dr. TillmannKlamroth, Prof. Dr. PeterSaalfrank

1 PR Do 14:00 - 17:00 wöch. 2.25.D2.02 11.04.2019 PD Dr. Tillmann Klamroth



SL 531812 - Praktikum (unbenotet)

Bereich Geowissenschaften

Geowissenschaften II

72878 VU - BScP02 Geowissenschaften II (Geländeübung Harz)


1 PU N.N. N.N. Block N.N. N.N. Dr. Gerold Zeilinger, Dr.Martin Jan Timmerman

5 Tage - (11.06.-15.06.2019)

2 PU N.N. N.N. Block N.N. N.N. Dr. Martin JanTimmerman, Dr. GeroldZeilinger

5 Tage - (11.06.-15.06.2019)


PNL 570222 - Geländeübung Harz (unbenotet)

72879 VU - BScP02 Geowissenschaften II (Geländeübung Einführung)


1 PU N.N. N.N. Block N.N. N.N. Prof. Dr. Maria Mutti, Dr.Gerd Winterleitner

3 Tage - n.V.

2 PU N.N. N.N. Block N.N. N.N. Prof. Dr. Maria Mutti, Dr.Gerd Winterleitner

3 Tage - n.V.


PNL 570221 - Geländeübung Sachsen (unbenotet)

72880 V - BScP02 Geowissenschaften II (Vorlesung)


1 V Mo 12:15 - 13:45 wöch. 2.27.0.01 08.04.2019 Prof. Dr. ManfredStrecker, Prof. Dr. MariaMutti












































72881 VU - BScP02 Geowissenschaften II (Übung)


1 U Mi 14:15 - 15:45 wöch. 2.27.1.01 10.04.2019 Prof. Dr. ManfredStrecker, Simon Riedl



Grundlagen der Geoinformationssysteme


Einführung in die Paläoklimatologie

72873 S - BScW14 Einführung in die Paläoklimatologie (Seminar)


1 S Mo 14:15 - 15:45 wöch. 2.27.2.07 08.04.2019 Prof. Dr. UlrikeHerzschuh, apl. Prof.Bernhard Diekmann, Dr.Boris Biskaborn


SL 570421 - Seminar (unbenotet)

72874 VS - BScW14 Einführung in die Paläoklimatologie (Vorlesung)


1 V Mo 12:15 - 13:45 wöch. 2.27.2.07 08.04.2019 apl. Prof. BernhardDiekmann, Prof. Dr.Ulrike Herzschuh, Dr.Boris Biskaborn



Naturkatastrophen

72885 V - BScW19 Naturkatastrophen (Vorlesung)


1 V Mi 12:15 - 13:45 wöch. 2.27.1.10 10.04.2019 Dr. rer. nat. ChristianMohr



72886 SU - BScW19 Naturkatastrophen (Übung)


1 SU Mi 14:15 - 15:45 wöch. 2.27.1.10 10.04.2019 Dr. rer. nat. ChristianMohr



Klimatologie

72260 S - Angewandte Klimatologie


1 S Mo 12:15 - 13:45 14t. 2.05.1.08 08.04.2019 Dr. rer. nat. KlausVormoor

2 S Mo 12:15 - 13:45 14t. 2.05.1.08 15.04.2019 Dr. rer. nat. KlausVormoor

































PNL 562311 - Angewandte Klimatologie (unbenotet)

Hydrologie

72245 U - Hydrologie I


1 U Mo 14:15 - 15:45 wöch. 2.05.1.08 08.04.2019 PD Dr. Maik Heistermann

1 V Do 12:15 - 13:45 wöch. 2.12.0.01 11.04.2019 Prof. Dr. Axel Bronstert

2 U Do 10:15 - 11:45 wöch. 2.05.1.08 11.04.2019 Dr. rer. nat. KlausVormoor


PNL 562411 - Hydrologie I (unbenotet)

Seismologie


Remote Sensing of the Environment


Bereich Bioinformatik

Zellbiologie

72385 V - Zellbiologie Tiere


1 V Do 10:00 - 11:30 wöch. 2.25.F0.01 11.04.2019 Prof. Dr. Ralph Gräf

Im Masterstudium nur möglich, wenn die Vorlesung im Bachelorstudium noch nicht geprüft wurde.

Kommentar

Die Veranstaltung Zellbiologie (Tiere) kann entweder mit dem Pflichtmodul Biotechnologie/Immunologie/Zellbiologie oderdem Wahlpflichtmodul Zellbiologie (Praktikum im WiSe) belegt werden. Alternativ können beide Module auch mit Zellbiologie(Pflanzen) als Vorlesungskomponente (im WiSe) kombiniert werden. Bei beiden Modulen können die Modulprüfungen nichtgeteilt werden. Um die Wahlmöglichkeit nicht zu beschneiden, wird für das Modul Biotechnologie/Immunologie/Zellbiologiejedes Semester eine Modulprüfung angeboten. Beim Wahlpflichtmodul findet die Prüfung bei Kombination des Praktikums mitZellbiologie (Pflanzen) im WiSe statt, bei Kombination mit Zellbiologie (Tiere) auch im SoSe.


SL 548962 - Zellbiologie der Tiere (unbenotet)

72405 VP - Funktionelle Histologie


1 V Do 08:30 - 10:00 wöch. 2.26.0.66 11.04.2019 Dr. Ingo Scheffler

Anrechenbar als Wahlpflichtmodul

1 S Do 10:15 - 11:45 wöch. 2.26.0.66 11.04.2019 Dr. Ingo Scheffler

1 PR Do 12:30 - 15:30 wöch. 2.26.0.66 11.04.2019 Dr. Ingo Scheffler


SL 548962 - Zellbiologie der Tiere (unbenotet)

Grundlagen der Molekularbiologie und Genetik














72320 VU - Genetik


1 V Do 12:15 - 13:45 wöch. 2.27.1.01 11.04.2019 Prof. Dr. Michael Lenhard

1 U Di 08:15 - 09:45 14t. 2.25.F0.01 16.04.2019 Prof. Dr. Michael Lenhard

fakultativ als Ergänzung zur Vorlesung Genetik in 3 Parallelen

1 U Di 10:15 - 11:45 14t. 2.25.F0.01 16.04.2019 Prof. Dr. Michael Lenhard


1 U Do 08:15 - 09:45 14t. 2.14.0.12 18.04.2019 Prof. Dr. Michael Lenhard


Kommentar


Montag 16:15-17:45


Freitag 8:15- 9:45


SL 549031 - Genetik (unbenotet)

72332 V - Molekularbiologie 1


1 V Mo 17:00 - 17:45 wöch. 2.27.1.01 08.04.2019 Prof. Dr. Bernd Müller-Röber, Dr. KatrinCzempinski

Kommentar


Montag 16:15-17:45


Freitag 8:15- 9:45


SL 549032 - Molekularbiologie (unbenotet)

Molekularbiologie / Evolutionsbiologie

72401 V - Evolutionsbiologie


1 V Di 16:15 - 17:45 wöch. 2.27.1.01 09.04.2019 Prof. Dr. RalphTiedemann

Kommentar

Achtung: verlegt auf Dienstag 16:15-17:45 , Hörsaal 27.1.01, fällt am 14.5. aus

















SL 548771 - Evolutionsbiologie (unbenotet)

72589 V - Vorlesung Molekularbiologie 2


1 V Do 08:15 - 09:45 wöch. 2.25.F0.01 11.04.2019 Prof. Dr. Bernd Müller-Röber



Molekularbiologie / Proteinstrukturbiologie

72372 VU - Proteinstrukturbiologie


1 VU Mo 10:15 - 11:45 wöch. 2.25.D0.02 08.04.2019 Prof. Dr. Robert Seckler

Beginn im Hörsaal 25.F0.01; Computerübungen nach Absprache alternativ zur Vorlesung

1 VU Mo 10:15 - 11:45 wöch. 2.25.F0.01 08.04.2019 Prof. Dr. Robert Seckler







PNL 548782 - Proteinstrukturbiologie (unbenotet)

72589 V - Vorlesung Molekularbiologie 2


1 V Do 08:15 - 09:45 wöch. 2.25.F0.01 11.04.2019 Prof. Dr. Bernd Müller-Röber



Bereich kognitive Neurowissenschaften

Experimentelle und kognitive Psychologie

73421 V - Wahrnehmungspsychologie


1 V Di 08:15 - 09:45 wöch. 2.10.0.25 09.04.2019 Prof. Dr. Ralf Engbert

1 V Fr 08:15 - 09:45 Einzel 2.10.0.25 12.04.2019 Prof. Dr. Ralf Engbert





















Links:

vollständigeVeranstaltungsinformationenfür BachelorstudiengangPsychologie (ab WiSe2017/18)

http://lehre.psych.uni-potsdam.de/klv/s2019s/bspsy20172/lehrveranstaltung/k28050-d.html



vollständigeVeranstaltungsinformationenfür BachelorstudiengangPatholinguistik (ab WiSe2017/18)

http://lehre.psych.uni-potsdam.de/klv/s2019s/bspat20172/lehrveranstaltung/k28050-d.html

vollständigeVeranstaltungsinformationenfür BachelorstudiengangPatholinguistik (ab WiSe2010/11)

http://lehre.psych.uni-potsdam.de/klv/s2019s/bspat20102/lehrveranstaltung/k28050-d.html

vollständigeVeranstaltungsinformationenfür BachelorstudiengangComputational Science (abWiSe 2013/14)

http://lehre.psych.uni-potsdam.de/klv/s2019s/bsics20132/lehrveranstaltung/k28050-d.html

vollständigeVeranstaltungsinformationenfür BachelorstudiengangRechtswissenschaft (ab WiSe2013/14)

http://lehre.psych.uni-potsdam.de/klv/s2019s/llbjur20132/lehrveranstaltung/k28050-d.html

Kommentar

Standard PULS Einschreibung - Alle zugelassen

Lerninhalte

Für Lerninhalte, Leistungserwerb, Literaturhinweise, Platzvergabe, Teilnahmeinschränkungen, Zulassungsverfahren,Voraussetzungen, Bemerkungen und weitere Informationen auf Deutsch und Englisch klicken Sie bitte auf den Studiengang-spezifischen Link in Weitere Links

Kurzkommentar

Termine: wöchentlich

Zielgruppe

Bachelorstudiengang Psychologie, Bachelorstudiengang Patholinguistik, Bachelorstudiengang Computational Science,Bachelorstudiengang Rechtswissenschaft



73431 S - Einführung in die Psychologie der Wahrnehmung


1 S Mo 10:15 - 11:45 wöch. 2.14.4.15 08.04.2019 Dr. Doris Karin Philipp





Links:





vollständigeVeranstaltungsinformationenfür MasterstudiengangComputational Science (abWiSe 2013/14)

http://lehre.psych.uni-potsdam.de/klv/s2019s/mscos20132/lehrveranstaltung/k28062-d.html



Kommentar

Standard PULS Einschreibung - Modul-basierte Platzvergabe und Zulassung (mindestens ein Platz pro Modul)

Lerninhalte


Kurzkommentar


Zielgruppe

Bachelorstudiengang Psychologie, Masterstudiengang Computational Science, Bachelorstudiengang Computational Science



73444 S - Cognitive and Sensorimotor Development


1 EV Mi 14:15 - 15:45 Einzel 2.14.0.18 10.04.2019 Elena Kulkova

1 B N.N. 09:00 - 17:00 Block 2.14.0.18 22.07.2019 Elena Kulkova

Links:

complete course informationfor M.Sc. in Psychology (as ofWinter 2012/13)

http://lehre.psych.uni-potsdam.de/klv/s2019s/mspsy20122/lehrveranstaltung/k28075-e.html

complete course informationfor Diploma in Psychology (asof Winter 2004/05)

http://lehre.psych.uni-potsdam.de/klv/s2019s/dpsy20042/lehrveranstaltung/k28075-e.html

complete course informationfor M.Sc. in CognitiveSciences (as of Winter2016/17)

http://lehre.psych.uni-potsdam.de/klv/s2019s/mscse20162/lehrveranstaltung/k28075-e.html

complete course informationfor M.Sc. in ComputationalScience (as of Winter2013/14)

http://lehre.psych.uni-potsdam.de/klv/s2019s/mscos20132/lehrveranstaltung/k28075-e.html

complete course informationfor B.Sc. in ComputationalScience (as of Winter2013/14)

http://lehre.psych.uni-potsdam.de/klv/s2019s/bsics20132/lehrveranstaltung/k28075-e.html

Kommentar

Normal registration through PULS - 8 seats for cognitive sciences, 5 seats for psychology, 2 seats for computational sciences- PSY: Seat allocation through Student Organization''s online system; enrollment by the instructor afterwards - CSE/COS: Seatallocation and enrollment by the instructor






Lerninhalte

To see course content, grading, literature, seat assignment, seat limits, enrollment, prerequisites, notes, and other courseinformation in English or in German follow the link to your study program in Additional Links

Kurzkommentar

Sessions: compact course with intro session

Zielgruppe

M.Sc. in Psychology, Diploma in Psychology, M.Sc. in Cognitive Sciences, M.Sc. in Computational Science, B.Sc. inComputational Science



75140 S - Vertiefungsseminar Wahrnehmungpsychologie und Sensomotorik


1 S Di 12:15 - 13:45 wöch. 2.05.1.07 16.04.2019 Dr. André Krügel

Links:









Kommentar


Lerninhalte


Kurzkommentar

Termine: wöchentlich ab derzweiten Vorlesungswoche

Zielgruppe




Kognitive Neurowissenschaften


Aktuelle Themen der neurokognitiven Psychologie

73420 S - Einführung in die Psychologie des Gedächtnisses


1 S Mi 14:15 - 15:45 wöch. 2.14.0.15 10.04.2019 Dr. Doris Karin Philipp







Links:









Kommentar


Lerninhalte


Kurzkommentar


Zielgruppe





73436 S - Kognitives und körperliches Training


1 S Mo 12:15 - 13:45 wöch. 2.14.4.06 08.04.2019 Prof. Dr. Reinhold Kliegl

2 S Mo 10:15 - 11:45 wöch. 2.14.4.06 08.04.2019 Prof. Dr. Reinhold Kliegl

Links:









Kommentar







Bemerkung

Die Gruppe 2 trifft sich Montag, 10:15-11:45 im Raum 2.14.4.06

Lerninhalte


Kurzkommentar


Zielgruppe





V. Wahlpflichtmodul

Computermathematik: Numerik


VI. Akademische Grundkompetenzen

Mentoring und Praxis der Programmierung

75009 U - Praxis der Programmierung


1 U Mo 12:00 - 14:00 wöch. 3.04.0.04 15.04.2019 Dr. Henning Bordihn

2 U Di 12:00 - 14:00 wöch. 3.04.0.04 16.04.2019 Dr. Henning Bordihn

3 U Mi 14:00 - 16:00 wöch. 3.04.0.04 17.04.2019 Dr. Henning Bordihn

4 U Do 10:00 - 12:00 wöch. 3.04.0.04 18.04.2019 Dr. Henning Bordihn

Voraussetzung


Lerninhalte

Programmierung in C, Implementierung von Algorithmen undDatenstrukturen in einer imperativen Programmiersprache wie beispielsweise C,Objektorientierte Programmierung, beispielsweise in der Programmiersprache Java.


SL 555521 - Rechnerübung (unbenotet)

75010 V - Praxis der Programmierung


1 V Mi 16:00 - 18:00 wöch. 3.06.H04 10.04.2019 Dr. Henning Bordihn

Voraussetzung


Leistungsnachweis

Zwei Klausuren über je 60 Minuten, eine in der Mitte des Semesters, eine in der Prüfungszeit.










Lerninhalte

Programmierung in C, Implementierung von Algorithmen undDatenstrukturen in einer imperativen Programmiersprache wie beispielsweiseC, Objektorientierte Programmierung, beispielsweise in der ProgrammierspracheJava.



75011 KU - Mentoring


1 KU N.N. N.N. wöch. N.N. N.N. Prof. Dr. Tobias Scheffer,Dr. Henning Bordihn

Kommentar

Das Modul "Mentoring und Praxis der Programmierung" setzt sich aus mehreren Komponenten zusammen.6010 Mentoring und Praxis der Programmierung (6LP)Mentoring and Practical Programming555511 6010 V Vorlesung SL555521 6010 U Rechnerübung SL555531 6010 KU Treffen mit Mentoren PNL555501 6010 MP Modulteilprüfung - Klausur PL P555502 6010 MP Modulteilprüfung - Klausur PL PSL= Studienleitung, PNL= Prüfungsnebenleistung, PL=PrüfungsleistungNach dem empfohlenen Studienverlaufsplan des BA Informatik und Computational Science (ICS) ist der Hauptteil des Moduls"Praxis der Programmierung" ist im 2. Fachsemester (SS18) anzubieten.Somit werden Vorlesung, Rechnerübung und die Modulteilprüfungen im nächsten Sommersemester zu absolvieren sein. Dasgilt analog für die älteren Lehramtsstudiengänge.Die Komponente Kurs "Treffen mit Mentoren" wird von uns sowohl im WS als auch im SS in PULS aufgeführt. Da wir imMentorenprogramm die Treffen der Studierenden mit ihren Mentorenbereits im Wintersemester zum Studienbeginn organisieren. Alle Teilnehmer an den Gruppentreffen schreiben sich deshalbbereits im Wintersemester in den Kurs 555531 "Treffen mit Mentoren" ein.Ohne diese Prüfungsnebenleistung ist das Modul nicht abschließbar!Die Einteilung der Gruppen findet in der Begrüßungsveranstaltung vor dem Vorlesungsbeginn statt. Wer keiner Gruppezugeordnet ist, der meldet sich bitte per Mail bei Dr. Severin. ( [email protected] )Studieren Sie nicht nach einer Ordnung des Instituts für Informatik und Computational Science und haben dennoch das Modul"Mentoring und Praxis der Programmierung" zu absolvieren,dann schreiben Sie sich auch in der Komponente Kurs "Treffen mit Mentoren" ein. In diesen Fällen wird eineTeilnahmebestätigung nach den Absprachen mit ihrem jeweiligen Institut vorgenommen.Eine Teilnahme an den Gruppentreffen im Rahmen unseres Mentorenprogramms ist für diese Studierende nicht vorgesehen.In diesen Fällen wird die Teilnahme an der Kurskomponente "Treffen mit Mentoren" meist formal bestätigt.Diese Regelung betrifft z.B. auch die Wirtschaftsinformatiker, da ihre Fakultät ein eigenes Mentorenprogramm gestaltet.


PNL 555531 - Treffen mit Mentoren (unbenotet)

Wissenschaftliches Arbeiten

74951 OS - Fehlertolerantes Rechnen


1 OS Mi 16:00 - 18:00 wöch. 3.04.0.02 10.04.2019 Prof. Dr. Michael Gössel

Kommentar

In dem Seminar tragen Mitarbeiter und Gäste der Arbeitsgruppe, Diplomanden, Masterstudenten und Batcherlorstudenten,die einen großen Beleg oder einen Batcherlorarbeit schreiben, ihre Forschungsergebnisse vor und stellen sie zur Diskussion.Das Oberseminar dient auch dazu, neue, aktuell publizierte Ergebnisse auf dem Gebiet des fehlertoleranten Rechnens zuerarbeiten.

Voraussetzung

Vorlesung Technische Informatik nützlich:Fehlertoleranter Systementwurf, Codierungstheorie aktuelle Belegarbeit oderDiplomarbeit oder Masterarbeit in der Arbeitsgruppe eigener Vortrag

Literatur

aktuelle Arbeiten, werden gemeinsam ausgewaehlt.








Leistungsnachweis

Eigener Vortrag und regelmäßige Teilnahme am Seminar




74961 S - Automotiv 2, Fahrassistenz und Selbstfahrer


1 BL N.N. N.N. Block N.N. N.N. Gerrit Kalkbrenner

Kommentar

Fahrzeughersteller statten ihre Fahrzeuge mit immer mehr Sicherheitskomponenten aus: ABS Airbags Tempomat. Mit vielPrestige betreibt Google eine Flotte von selbst-fahrenden Fahrzeugen, die bereits viele Millionen Kilometer fehlerfrei gefahrensind. In diesem Wochenendseminar wollen wir uns mit einzelnen Themen vertieft befassen.

Leistungsnachweis

Vortrag und Ausarbeitung.

Bemerkung

Bitte beachten Sie die Terminankündigungen per Aushang oder auf der Webseite.

Kurzkommentar

Die Termine werden kurz vor Beginn der Vorlesungszeit bekannt gegeben.




74971 OS - Cartesisches Seminar


1 OS Di 10:00 - 13:00 wöch. 3.04.2.01 09.04.2019 Prof. Dr. ChristophKreitz, Tim Richter, Nuria Brede, Dr. rer. nat.Sebastian Böhne, MarioFrank

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 vonRené Descartes in seinem "Discours de la méthode pour bien conduire sa raison..." formulierten Regeln wissenschaftlicherForschung verpflichtet, thematisch jedoch offen gestaltet. Die gemeinsame gründliche Lektüre klassischer Texte derMathematik, Physik, Ökonomie, Informatik u.a. eröffnet den Teilnehmern, die in sehr verschiedenen Fachgebieten arbeiten,ungewohnte Perspektiven und neue Einsichten.Zu Beginn des Wintersemesters 2018/19 haben wir den Text "The Development of Proof Theory" von Jan von Plato in derStanford Encyclopedia of Philosophy gelesen, uns mit Hans Liebigs Artikel "Konrad Zuse, Erfinder des Computers - imVergleich mit Alan Turing und John v. Neumann" sowie mit dem Artikel "Topics in the theory of DNA computing" von Amos,Paun, Rozenberg und Salomaa beschäftigt. Schliesslich haben wir im Februar begonnen, das zweite Kapitel in StraumannsLehrbuch zur Thermodynamik zum zweiten Hauptsatz der Thermodynamik zu lesen. Im Sommersemester 2019 werden wirzunächst letztere Lektüre abschliessen.


















74972 OS - Theorie-Kolloquium


1 OS Mi 14:00 - 16:00 wöch. 3.04.0.02 10.04.2019 Prof. Dr. ChristophKreitz, Tim Richter, Nuria Brede, Dr. rer. nat.Sebastian Böhne, MarioFrank

1 OS Mi 14:00 - 16:00 Einzel 3.04.2.01 24.04.2019 Prof. Dr. Christoph Kreitz,Tim Richter, MarioFrank, Nuria Brede, Dr.rer. nat. Sebastian Böhne

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 unsereArbeit relevante Ergebnisse aus den Bereichen Formale Methoden in der Programmierung sowie automatisches undtaktikbasiertes Theorembeweisen




74975 VS - Mathematisches Beweisen lernen mithilfe des Beweisassistenten Coq


1 VS N.N. N.N. Block N.N. N.N. Prof. Dr. Christoph Kreitz,Dr. rer. nat. SebastianBöhne

Voraussetzung

Keine

Leistungsnachweis

Die abschließende Prüfung ist eine schriftliche Klausur, die am Rechner in den Poolräumen des Instituts für Informatik undComputational Science stattfinden wird.
























Lerninhalte

Informatik-Studierende finden Themen der Theoretischen Informatik grundsätzlich interessant, aber korrespondierendeÜbungsaufgaben -- insbesondere Beweisaufgaben -- stellen immer wieder eine große Herausforderung dar. Der Blockkursgreift diesen Punkt auf und stellt das mathematische Beweisen in den Mittelpunkt der Auseinandersetzung. Zum Erlernender klassischen „Papier&Stift”-Beweise werden wir einen indirekten Weg einschlagen: Zunächst werden wir lernen, mitdem Beweisassistenten Coq Beweise zu führen (Erklärung Beweisassistent s.u.). Später werden wir daran arbeiten,diese Form der Beweise in „Papier&Stift”-Beweise zu übertragen. Schließlich wird auch eingeübt werden, „Papier&Stift”-Beweise direkt zu führen. Die Inhalte, anhand derer wir die Beweismethodik einstudieren werden, sind die folgenden:1) Logik a) Aussagenlogik b) Prädikatenlogik 2) Datenstrukturen a) Nicht-rekursive Datenstrukturen (Records) b)Listen c) Natürliche Zahlen d) Binärbäume Das Ziel allerdings ist hierbei weniger einen konkreten Themenbereichder Mathematik oder Theoretischen Informatik durchzuarbeiten, sondern den Teilnehmerinnen und Teilnehmern desKurses ein grundlegendes Verständnis mathematischer Beweisformen, formaler Methoden und dem dazugehörigenHandwerkszeug zur Entwicklung und Erstellung dieser zu vermitteln. Was sind Beweisassistenten? ComputergestützteSysteme zur Durchführung mathematischer Beweise werden seit den 1960ern entwickelt. Man unterscheidet zwischenSystemen, die Beweise erzeugen, sowie solchen, die Menschen beim Erzeugen von Beweisen unterstützen. Letztere werdenauch Beweisassistenten oder interaktive Theorembeweiser genannt, ein solches System ist Coq, welches wir im Kurseinsetzen werden. Bei Beweisassistenten im engeren Sinne des Begriffes kann der Nutzer Schritt für Schritt Wissen ausden Voraussetzungen generieren und das bisherige Ziel durch ein leichter zu zeigendes, aber hinreichendes Ziel ersetzen.Konkret werden Beweise durch eine Auflistung von sogenannten Taktiken innerhalb einer dem Programmieren ähnlichenEntwicklungsumgebung gewonnen, wobei den Taktiken systemintern Inferenzregeln zugrunde liegen. Das System führt diedurch die Taktiken vermittelten Inferenzregeln aus. Dabei prüft es jeden Beweisschritt auf seine formale Korrektheit. Dies istin erster Näherung mit dem Compilereinsatz beim Programmieren vergleichbar. Beweisassistenten haben gegenüber Stiftund Papier verschiedene Vorteile: - Sie liefern unmittelbares Feedback auf eine Beweisidee, indem sie genau anzeigen,ob ein Beweisschritt erfolgreich anwendbar ist und welche Schritte noch auszuführen sind, damit ein Beweis vollständigabgeschlossen ist. - Studierende können zu Beginn verschiedene Beweisideen ausprobieren, indem sie mit dem jeweiligenSystem spielen. Das garantiert höhere Flexibilität gegenüber Stift- und Papierbeweisen, in denen man nur sehr schlechtDinge streichen oder verbessern kann, ohne den Beweis neu aufschreiben zu müssen. Aus dem gleichen Grund sollte einBeweisassistent auch besser darin unterstützen, mit einem Beweis überhaupt zu beginnen.

Kurzkommentar

Die Veranstaltung findet vom 02.09.19 bis 27.09.19 statt.




74981 S - Humanwissenschaftliche Informatilk


1 OS Do 16:00 - 18:00 wöch. 3.04.2.14 11.04.2019 Prof. Dr. Andreas Schwill

Leistungsnachweis

Vortrag und schriftliche Ausarbeitung.

Kurzkommentar

Es handelt sich um das Modul "Huwi" als Pflichtveranst. im Master Lehramt. (Nur sp. Sekundarstufe I)




74983 OS - Lehrstuhlkolloquium II - Diplomanden- und Doktorandenseminar - Didaktik der Informatik


1 OS Do 16:00 - 18:00 wöch. 3.04.2.14 11.04.2019 Prof. Dr. Andreas Schwill

Kommentar

http://www.informatikdidaktik.de/Lehre/Lehrstuhlkolloquium

Leistungsnachweis

Vortrag und schriftliche Ausarbeitung










75006 FS - Knowledge-based Systems


1 FS Mi 14:00 - 16:00 wöch. 3.04.2.14 10.04.2019 Prof. Dr. Torsten Schaub

Kommentar

This seminar deals with state-of-the-art research questions in the area of knowledge-based systems. It targets studentsworking on or aiming at a BSc,Msc, or Phd thesis in this research direction.

Voraussetzung

Knowledge in knowledge representation and reasoning, of course :)

Literatur

See website.

Leistungsnachweis

Seminarteilnahme, -vortrag und -ausarbeitung (bei Benotung)




75007 FS - Knowledge Representation and Reasoning


1 FS Mi 14:00 - 16:00 wöch. 3.04.2.14 10.04.2019 Prof. Dr. Torsten Schaub

Kommentar

This seminar deals with state-of-the-art research questions in the area of knowledge representation and reasoning. It targetsstudents working on or aiming at a BSc,Msc, or Phd thesis in this research direction.

Voraussetzung

Knowledge in knowledge representation and reasoning, of course :)

Literatur

See website.

Leistungsnachweis

Seminarteilnahme, -vortrag und -ausarbeitung (bei Benotung)




75016 FS - Cluster Computing


1 FS Do 09:00 - 11:00 wöch. 3.04.2.14 18.04.2019 Prof. Dr. Bettina Schnor

Kommentar

Das Forschungsseminar behandelt aktuelle Themen aus dem Bereich Cluster Computing. Es werden aktuelle Arbeiten vonDoktoranden, Diplomanden, Master- und Bachelorstudenten aus dem Bereich Cluster Computing, Betriebssysteme undNetzwerksicherheit 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 undVerteilte Systeme.

Leistungsnachweis

Die Vorträge und die Ausarbeitung der Teilnehmer werden benotet und gehen zu je 50 % in die Note ein.












75017 FS - Komplexe Multimediale Anwendungsarchitekturen


1 FS Di 14:00 - 16:00 wöch. 3.04.0.02 09.04.2019 Prof. Dr.-Ing. UlrikeLucke, Raphael Zender, Francis Zinke, StefanieLemcke, Julian Dehne

Kommentar

Es werden aktuelle Forschungsarbeiten des Lehrstuhls sowie studentische Arbeiten vorgestellt und diskutiert.




75026 FS - Software Engineering


1 FS Do 10:00 - 12:00 wöch. 3.04.1.02 11.04.2019 Prof. Dr.-Ing. ChristianHammer




75171 BL - NUMA-aware Locks


1 S Di 10:00 - 12:00 wöch. 3.04.2.14 16.04.2019 Prof. Dr. Bettina Schnor, Petra Vogel

Kurzkommentar

Ab der 4. Woche als Blockveranstaltung konzipiert.




75179 S - Rechnerarchitektur und Mikroprozessortechnik


1 S Di 10:00 - 12:00 wöch. 3.04.0.02 09.04.2019 Prof. Dr.-Ing. ChristianBenno Stabernack




75193 S2 - Competitive Programming


1 VU N.N. N.N. wöch. N.N. N.N. Dr. Timo Kötzing

Kommentar

Angaben zum Lehrinhalt in der Beschreibung aufrufbar unter https://hpi.de/studium/lehrveranstaltungen.html

Voraussetzung

Voraussetzungen werden in den Lehrinhaltsbeschreibungen unter https://hpi.de/studium/lehrveranstaltungen.html benannt.
























Bemerkung

Unter https://hpi.de/studium/lehrveranstaltungen.html sind folgende Angaben aufrufbar:

• Raum und Zeit• Lehrinhalt und Leistungserfassung• Teilnehmerbegrenzung




Praktikum

74995 PJ - Extensive Logistics Technology



Kommentar

TODO - in English

Leistungsnachweis

Implementation und Dokumentation

Kurzkommentar

Auftaktveranstaltung für alle Projekte der Professur "WI" am 9.4.19 um 16 Uhr im Raum 03.04.0.02.

75008 PJ - Knowledge Representation and Reasoning in Practice



Kommentar

In this project groups of students develop intelligent, knowledge-based systems.

Leistungsnachweis

Implementation and documentation

Kurzkommentar

Auftaktveranstaltung für alle Projekte der Professur "WI" am 9.4.19 um 16 Uhr im Raum 03.04.0.02.

75044 PR - Individuelles Praktikum 1


1 PR N.N. N.N. wöch. N.N. N.N. Prof. Dr. Tobias Scheffer

Kommentar

Studierende mit individuell gewähltem und genehmigten Praktikum melden sich hier an. In diesem Fall ist dieses Lehrangebotein Platzhalter für die sonst erforderliche Lehrveranstaltung.

Voraussetzung

Vor dem Praktikum ist die Zustimmung eines Prüfungsberechtigenten einzuholen.

75046 PR - Individuelles Praktikum 2




Kommentar

Studierende mit individuell gewähltem und genehmigten Praktikum melden sich hier an. In diesem Fall ist dieses Lehrangebotein Platzhalter für die sonst erforderliche Lehrveranstaltung.












Voraussetzung

Vor dem Praktikum ist die Zustimmung eines Prüfungsberechtigenten einzuholen.

75172 PJ - Interoperability in the IoT


1 PJ Mi 14:00 - 18:00 wöch. 3.04.1.03 10.04.2019 Prof. Dr. Bettina Schnor, Kristina Sahlmann

Kurzkommentar

Eventuell wird der Raum 03.04.2.02 genutzt.

75178 PJ - Evaluierung und Optimierung von VR-Lehr-/Lernanwendungen


1 PJ Mo 10:00 - 12:00 wöch. 3.04.0.02 08.04.2019 Prof. Dr.-Ing. UlrikeLucke, Raphael Zender, Matthias Weise

Kommentar

In dem Projektseminar werden die Möglichkeiten, Risiken und Implikationen des Einsatzes von Virtual Reality imBildungskontext thematisiert. Dabei steht die Evaluierung und resultierende Optimierung einer eigenen VR-Lehr-/Lernanwendungen im Fokus. Zur Teilnahme sind sowohl umfassende Unity-Programmierkenntnisse als auch dasVorliegen einer eigenen VR-Lehr-/Lernanwendung erforderlich. Beides wurde im Rahmen der Vorgängerveranstaltung imWintersemester 2018/19 erworben.












Glossar

Glossar

Die folgenden Begriffserklärungen zu Prüfungsleistung, Prüfungsnebenleistung und Studienleistung gelten im Bezug aufLehrveranstaltungen 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 Benotungder Prüfungsleistung(en) bildet sich die Modulnote, die in die Gesamtnote des Studiengangseingeht. Handelt es sich um eine unbenotete Prüfungsleistung, so muss dieses ausdrücklich(„unbenotet“) in der Modulbeschreibung der fachspezifischen Ordnung geregelt sein. WeitereInformationen, auch zu den Anmeldemöglichkeiten von Prüfungsleistungen, finden Sie unteranderem 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 Ordnungbeschrieben sind. Prüfungsnebenleistungen sind immer unbenotet und werden lediglichmit "bestanden" bzw. "nicht bestanden" bewertet. Die Modulbeschreibung regelt, obdie Prüfungsnebenleistung eine Teilnahmevoraussetzung für eine Modulprüfung odereine Abschlussvoraussetzung für ein ganzes Modul ist. Als Teilnahmevoraussetzungfür eine Modulprüfung muss die Prüfungsnebenleistung erfolgreich vor der Anmeldungbzw. Teilnahme an der Modulprüfung erbracht worden sein. Auch für Erbringung einerPrüfungsnebenleistungen wird eine Anmeldung vorausgesetzt. Diese fällt immer mitder Belegung der Lehrveranstaltung zusammen, da Prüfungsnebenleistung im Rahmeneiner Lehrveranstaltungen absolviert werden. Sieht also Ihre fachspezifische OrdnungPrüfungsnebenleistungen bei Lehrveranstaltungen vor, sind diese Lehrveranstaltungenzwingend zu belegen, um die Prüfungsnebenleistung absolvieren zu können.

Studienleistung Als Studienleistung werden Leistungen bezeichnet, die weder Prüfungsleistungen nochPrüfungsnebenleistungen sind.

46

https://www.uni-potsdam.de/fileadmin01/projects/studium/docs/03_studium_konkret/07_rechtsgrundlagen/kommentierung_bama-o_studierende_2013.pdf

Impressum

HerausgeberAm Neuen Palais 1014469 Potsdam

Telefon: +49 331/977-0Fax: +49 331/972163E-mail: [email protected]: www.uni-potsdam.de

UmsatzsteueridentifikationsnummerDE138408327

Layout und Gestaltungjung-design.net

Druck19.8.2019

Rechtsform und gesetzliche VertretungDie Universität Potsdam ist eine Körperschaft des Öffentlichen Rechts. Sie wirdgesetzlich vertreten durch Prof. Oliver Günther, Ph.D., Präsident der UniversitätPotsdam, Am Neuen Palais 10, 14469 Potsdam.

Zuständige AufsichtsbehördeMinisterium für Wissenschaft, Forschung und Kultur des Landes BrandenburgDortustr. 3614467 Potsdam

Inhaltliche Verantwortlichkeit i. S. v. § 5 TMG und § 55 Abs. 2RStVReferat für Presse- und ÖffentlichkeitsarbeitReferatsleiterin und Sprecherin der UniversitätSilke EngelAm Neuen Palais 1014469 PotsdamTelefon: +49 331/977-1474Fax: +49 331/977-1130E-mail: [email protected]

Die einzelnen Fakultäten, Institute und Einrichtungen der Universität Potsdam sind für die Inhalte und Informationen ihrerLehrveranstaltungen zuständig.

http://www.uni-potsdam.de

puls.uni-potsdam.de

http://puls.uni-potsdam.de

Documents

Vorlesungsverzeichnis - puls.uni-potsdam.de · 72405 VP - Funktionelle Histologie 30 Grundlagen der Molekularbiologie und Genetik 30 72320 VU - Genetik 31 72332 V - Molekularbiologie