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
3Abkürzungen entnehmen Sie bitte Seite 7
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
4Abkürzungen entnehmen Sie bitte Seite 7
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
5Abkürzungen entnehmen Sie bitte Seite 7
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
6Abkürzungen entnehmen Sie bitte Seite 7
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
Grundlagen der Programmierung
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
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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
Grundlagen der Programmierung
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
8Abkürzungen entnehmen Sie bitte Seite 7
Bachelor of Science - Informatik/Computational Science - Prüfungsversion Wintersemester 2013/14
Leistungen in Bezug auf das Modul
SL 550221 - Übung (unbenotet)
Theoretische Grundlagen: Modellierungskonzepte der Informatik
Für dieses Modul werden aktuell keine Lehrveranstaltungen angeboten
Theoretische Grundlagen: Effiziente Algorithmen
74968 U - Theoretische Informatik II: Effiziente Algorithmen
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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
Leistungen in Bezug auf das Modul
SL 550421 - Übung (unbenotet)
74969 TU - Theoretische Informatik II: Effiziente Algorithmen
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
1 TU Mi 08:00 - 10:00 wöch. 3.06.H02 17.04.2019 Prof. Dr. Christoph Kreitz
9Abkürzungen entnehmen Sie bitte Seite 7
Bachelor of Science - Informatik/Computational Science - Prüfungsversion Wintersemester 2013/14
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
Leistungen in Bezug auf das Modul
SL 550431 - Tutorium (unbenotet)
74970 V - Theoretische Informatik II: Effiziente Algorithmen
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
1 V Di 14:00 - 16:00 wöch. 3.06.H05 09.04.2019 Prof. Dr. Christoph Kreitz
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
10Abkürzungen entnehmen Sie bitte Seite 7
Bachelor of Science - Informatik/Computational Science - Prüfungsversion Wintersemester 2013/14
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 zum Ende des vorlesungsfreien Zeitraums
Leistungen in Bezug auf das Modul
SL 550411 - Vorlesung (unbenotet)
Informationsverarbeitung
Für dieses Modul werden aktuell keine Lehrveranstaltungen angeboten
Betriebssysteme und Rechnernetze
Für dieses Modul werden aktuell keine Lehrveranstaltungen angeboten
Konzepte paralleler Programmierung
75034 U - Konzepte paralleler Programmierung
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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.
Leistungen in Bezug auf das Modul
SL 550721 - Übung (unbenotet)
75035 V - Konzepte paralleler Programmierung
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
1 V Di 14:00 - 16:00 wöch. 3.06.H01 16.04.2019 Prof. Dr. Bettina Schnor
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.
Leistungen in Bezug auf das Modul
SL 550711 - Vorlesung (unbenotet)
Datenbanken und wissensbasierte Systeme
Für dieses Modul werden aktuell keine Lehrveranstaltungen angeboten
Software Engineering
11Abkürzungen entnehmen Sie bitte Seite 7
Bachelor of Science - Informatik/Computational Science - Prüfungsversion Wintersemester 2013/14
Für dieses Modul werden aktuell keine Lehrveranstaltungen angeboten
Intelligente Datenanalyse
75012 U - Intelligente Datenanalyse
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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
Leistungen in Bezug auf das Modul
SL 551021 - Übung (unbenotet)
75013 V - Intelligente Datenanalyse
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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
Projektaufgabe, Klausur oder mündliche Prüfung
Leistungen in Bezug auf das Modul
SL 551011 - Vorlesung (unbenotet)
75174 V - Machine Learning
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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
Projektaufgabe, Klausur oder mündliche Prüfung
Leistungen in Bezug auf das Modul
SL 551011 - Vorlesung (unbenotet)
12Abkürzungen entnehmen Sie bitte Seite 7
Bachelor of Science - Informatik/Computational Science - Prüfungsversion Wintersemester 2013/14
75175 U - Machine Learning
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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
Leistungen in Bezug auf das Modul
SL 551021 - Übung (unbenotet)
75176 V - Applied Data Science
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
1 V Di 12:00 - 14:00 wöch. 3.06.H01 09.04.2019 Prof. Dr. Tobias Scheffer
Leistungen in Bezug auf das Modul
SL 551011 - Vorlesung (unbenotet)
75177 U - Applied Data Science
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
1 U Mi 12:00 - 14:00 wöch. 3.06.H01 10.04.2019 Prof. Dr. Tobias Scheffer
Leistungen in Bezug auf das Modul
SL 551021 - Übung (unbenotet)
Komputationale Intelligenz
74989 PJ - Computational Intelligence
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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.
13Abkürzungen entnehmen Sie bitte Seite 7
Bachelor of Science - Informatik/Computational Science - Prüfungsversion Wintersemester 2013/14
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.
Leistungen in Bezug auf das Modul
PNL 551131 - Praktikum (unbenotet)
74990 U - Computational Intelligence
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
1 U Do 16:00 - 18:00 wöch. 3.06.H01 18.04.2019 Prof. Dr. Torsten Schaub,Francois Laferriere
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.
Leistungen in Bezug auf das Modul
SL 551121 - Übung (unbenotet)
74991 V - Computational Intelligence
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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
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.
14Abkürzungen entnehmen Sie bitte Seite 7
Bachelor of Science - Informatik/Computational Science - Prüfungsversion Wintersemester 2013/14
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
Am 14.6.19 steht zunächst nur der Seminarraum S27 mit 70 Plätzen zur Verfügung!
Leistungen in Bezug auf das Modul
SL 551111 - Vorlesung (unbenotet)
Mathematik für Informatiker I
Für dieses Modul werden aktuell keine Lehrveranstaltungen angeboten
Mathematik für Informatiker II
74962 U - Mathematik für Informatiker II
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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.
Leistungen in Bezug auf das Modul
PNL 511021 - Übung (unbenotet)
74963 V - Mathematik für Informatiker II
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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.
Leistungen in Bezug auf das Modul
SL 511011 - Vorlesung (unbenotet)
75009 U - Praxis der Programmierung
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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
Grundlagen der Programmierung
15Abkürzungen entnehmen Sie bitte Seite 7
Bachelor of Science - Informatik/Computational Science - Prüfungsversion Wintersemester 2013/14
Lerninhalte
Programmierung in C, Implementierung von Algorithmen undDatenstrukturen in einer imperativen Programmiersprache wie beispielsweise C,Objektorientierte Programmierung, beispielsweise in der Programmiersprache Java.
Leistungen in Bezug auf das Modul
PNL 511021 - Übung (unbenotet)
75010 V - Praxis der Programmierung
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
1 V Mi 16:00 - 18:00 wöch. 3.06.H04 10.04.2019 Dr. Henning Bordihn
Voraussetzung
Grundlagen der Programmierung
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.
Leistungen in Bezug auf das Modul
SL 511011 - Vorlesung (unbenotet)
Mathematik für Informatiker III
74965 V - Mathematik für Informatiker III
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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.
Leistungen in Bezug auf das Modul
SL 511111 - Vorlesung (unbenotet)
74966 U - Mathematik für Informatiker III
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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.
Leistungen in Bezug auf das Modul
PNL 511121 - Übung (unbenotet)
Grundlagen der Stochastik
Für dieses Modul werden aktuell keine Lehrveranstaltungen angeboten
II. Aufbaumodule Informatik
16Abkürzungen entnehmen Sie bitte Seite 7
Bachelor of Science - Informatik/Computational Science - Prüfungsversion Wintersemester 2013/14
Rechnernetze
75014 V - Sicherheit in Rechnernetzen
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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
Vorlesung Grundlagen Betriebssysteme und Rechnernetze
Leistungsnachweis
Hausaufgaben, Klausur
Leistungen in Bezug auf das Modul
SL 551211 - Vorlesung (unbenotet)
75015 U - Sicherheit in Rechnernetzen
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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
Vorlesung Grundlagen Betriebssysteme und Rechnernetze
Leistungsnachweis
Hausaufgaben, Klausur
Leistungen in Bezug auf das Modul
PNL 551221 - Übung (unbenotet)
Intelligente Datenanalyse II
Für dieses Modul werden aktuell keine Lehrveranstaltungen angeboten
17Abkürzungen entnehmen Sie bitte Seite 7
Bachelor of Science - Informatik/Computational Science - Prüfungsversion Wintersemester 2013/14
Sprachtechnologie
Für dieses Modul werden aktuell keine Lehrveranstaltungen angeboten
Netzbasierte Datenverarbeitung
75018 V - Netzbasierte Datenverarbeitung
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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
Leistungen in Bezug auf das Modul
SL 551511 - Vorlesung (unbenotet)
75019 U - Netzbasierte Datenverarbeitung
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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
Leistungen in Bezug auf das Modul
PNL 551521 - Übung (unbenotet)
Multimediatechnologie
Für dieses Modul werden aktuell keine Lehrveranstaltungen angeboten
Service- und Software-Engineering
75024 U - Software Engineering II
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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
18Abkürzungen entnehmen Sie bitte Seite 7
Bachelor of Science - Informatik/Computational Science - Prüfungsversion Wintersemester 2013/14
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).)
Leistungen in Bezug auf das Modul
SL 551721 - Übung (unbenotet)
75025 V - Software Engineering II
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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.
Leistungen in Bezug auf das Modul
SL 551711 - Vorlesung (unbenotet)
75183 PJ - Mobile Security
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
1 PJ Fr 10:00 - 12:00 wöch. 3.04.1.02 12.04.2019 Prof. Dr.-Ing. ChristianHammer
Leistungen in Bezug auf das Modul
SL 551721 - Übung (unbenotet)
75184 V - Mobile Security
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
1 V Di 12:00 - 14:00 wöch. 3.04.1.02 09.04.2019 Prof. Dr.-Ing. ChristianHammer
Leistungen in Bezug auf das Modul
SL 551711 - Vorlesung (unbenotet)
IT und Organisation
75027 V - Object-Oriented Programming with C++
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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)
19Abkürzungen entnehmen Sie bitte Seite 7
Bachelor of Science - Informatik/Computational Science - Prüfungsversion Wintersemester 2013/14
Leistungen in Bezug auf das Modul
SL 551811 - Vorlesung (unbenotet)
75184 V - Mobile Security
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
1 V Di 12:00 - 14:00 wöch. 3.04.1.02 09.04.2019 Prof. Dr.-Ing. ChristianHammer
Leistungen in Bezug auf das Modul
SL 551811 - Vorlesung (unbenotet)
Technische Informatik
74976 V - Zuverlässigkeit und Fehlertoleranz
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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.
Leistungen in Bezug auf das Modul
SL 551911 - Vorlesung (unbenotet)
75181 U - Zuverlässigkeit und Fehlertoleranz
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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.
Leistungen in Bezug auf das Modul
SL 551921 - Übung (unbenotet)
Inferenzmethoden
20Abkürzungen entnehmen Sie bitte Seite 7
Bachelor of Science - Informatik/Computational Science - Prüfungsversion Wintersemester 2013/14
74975 VS - Mathematisches Beweisen lernen mithilfe des Beweisassistenten Coq
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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.
Leistungen in Bezug auf das Modul
SL 552021 - Übung (unbenotet)
Kryptographie und Komplexität
Für dieses Modul werden aktuell keine Lehrveranstaltungen angeboten
Agententechnologie
74999 S - Agent-technology
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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.
21Abkürzungen entnehmen Sie bitte Seite 7
Bachelor of Science - Informatik/Computational Science - Prüfungsversion Wintersemester 2013/14
Leistungsnachweis
Assignments, reports, and talks
Leistungen in Bezug auf das Modul
PNL 552231 - Seminar (unbenotet)
75000 PR - Agent-technology
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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.
Leistungen in Bezug auf das Modul
PNL 552241 - Praktikum (unbenotet)
Deklarative Programmierung
Für dieses Modul werden aktuell keine Lehrveranstaltungen angeboten
Informatik und Gesellschaft
74984 U - Didaktik der Informatik I
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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.
Leistungen in Bezug auf das Modul
PNL 552421 - Übung (unbenotet)
74985 V - Didaktik der Informatik I
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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.
Leistungen in Bezug auf das Modul
SL 552411 - Vorlesung (unbenotet)
74986 V - Informatik und Gesellschaft
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
1 V Mi 16:00 - 18:00 wöch. 3.04.1.02 10.04.2019 Prof. Dr. Andreas Schwill
22Abkürzungen entnehmen Sie bitte Seite 7
Bachelor of Science - Informatik/Computational Science - Prüfungsversion Wintersemester 2013/14
Kommentar
http://informatikdidaktik.de/Lehre/IuG
Leistungsnachweis
Mu#ndliche Pru#fung (15-30 Minuten)
Leistungen in Bezug auf das Modul
SL 552411 - Vorlesung (unbenotet)
74987 U - Informatik und Gesellschaft
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
1 U Fr 14:00 - 16:00 wöch. 3.04.1.02 12.04.2019 Prof. Dr. Andreas Schwill
Leistungen in Bezug auf das Modul
PNL 552421 - Übung (unbenotet)
III. Grundmodule Naturwissenschaften
Theoretische Physik I - Mechanik, Relativität
Für dieses Modul werden aktuell keine Lehrveranstaltungen angeboten
Einführung in die Astronomie
Für dieses Modul werden aktuell keine Lehrveranstaltungen angeboten
Simulation und Modellierung
Für dieses Modul werden aktuell keine Lehrveranstaltungen angeboten
Allgemeine und anorganische Chemie
73173 VS - Experimentalvorlesung Allgemeine und Anorganische Chemie II für BS-ERN/BS-GEE/BS-GEW
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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
Leistungen in Bezug auf das Modul
SL 533411 - Allgemeine und Anorganische Chemie (unbenotet)
SL 533412 - Allgemeine und Anorganische Chemie (unbenotet)
23Abkürzungen entnehmen Sie bitte Seite 7
Bachelor of Science - Informatik/Computational Science - Prüfungsversion Wintersemester 2013/14
Organische Chemie
74436 U - OC-Übungen für GEE
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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
Leistungen in Bezug auf das Modul
PNL 533512 - Vorlesung und Übung (unbenotet)
74438 V - OC-Vorlesung für BIW/ERN/GEE
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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
Für dieses Modul werden aktuell keine Lehrveranstaltungen angeboten
Bioinformatik
Für dieses Modul werden aktuell keine Lehrveranstaltungen angeboten
Grundlagen der Biochemie und Zellbiologie
72333 V - Grundlagen der Biochemie
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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
Leistungen in Bezug auf das Modul
SL 541011 - Vorlesung - Biochemie (unbenotet)
72892 V - Grundlagen der Zellbiologie
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
1 V Mo 16:15 - 17:00 wöch. 2.27.1.01 08.04.2019 Prof. Dr. Ralph Gräf, Dr.Irene Meyer
24Abkürzungen entnehmen Sie bitte Seite 7
Bachelor of Science - Informatik/Computational Science - Prüfungsversion Wintersemester 2013/14
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
Leistungen in Bezug auf das Modul
SL 541012 - Allgemeine Zellbiologie (unbenotet)
Einführung in die kognitiven Neurowissenschaften
Für dieses Modul werden aktuell keine Lehrveranstaltungen angeboten
IV. Aufbaumodule Naturwissenschaften
Bereich Physik
Theoretische Physik II: Quantenmechanik einfacher Systeme
74501 V - Theoretische Physik II für Lehramt
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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
Leistungen in Bezug auf das Modul
SL 520711 - Theoretische Physik II: Quantenmechanik einfacher Systeme (unbenotet)
74502 U - Theoretische Physik II für Lehramt
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
1 U Di 16:15 - 17:45 14t. 2.28.0.108 16.04.2019 Dr. Ralf Tönjes
Leistungen in Bezug auf das Modul
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
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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
Leistungen in Bezug auf das Modul
PNL 524212 - Einführung in die Chaostheorie und in die stochastischen Prozesse (unbenotet)
Physik I - GEO: Mechanik und Optik
Für dieses Modul werden aktuell keine Lehrveranstaltungen angeboten
Physik II - GEO: Physik der Materie
25Abkürzungen entnehmen Sie bitte Seite 7
Bachelor of Science - Informatik/Computational Science - Prüfungsversion Wintersemester 2013/14
72509 VU - Experimentalphysik II (Ergänzungsfach für Geoökologen und Geowissenschaftler)
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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
Leistungen in Bezug auf das Modul
PNL 525511 - Experimentalphysik II (unbenotet)
Aufbaumodul Astrophysik
72711 VU - Grundkurs Astrophysik II
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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
Leistungen in Bezug auf das Modul
PNL 524112 - Grundkurs Astrophysik II (unbenotet)
Aufbaumodul Klimaphysik
72714 VS - Fluiddynamik mit Anwendungen in Klima- und Geophysik
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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
Leistungen in Bezug auf das Modul
PNL 524412 - Dynamics of Climate System (unbenotet)
72716 VU - Ice dynamics in Greenland and Antarctica
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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
Leistungen in Bezug auf das Modul
PNL 524411 - Physik der Atmosphäre (unbenotet)
PNL 524412 - Dynamics of Climate System (unbenotet)
72721 VU - Dynamics of the climate system
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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
26Abkürzungen entnehmen Sie bitte Seite 7
Bachelor of Science - Informatik/Computational Science - Prüfungsversion Wintersemester 2013/14
Leistungen in Bezug auf das Modul
PNL 524412 - Dynamics of Climate System (unbenotet)
73053 V - Theorie der globalen Meeresströmungen
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
1 V Di 14:15 - 15:45 wöch. 2.28.0.104 09.04.2019 Prof. Dr. StefanRahmstorf
Leistungen in Bezug auf das Modul
PNL 524411 - Physik der Atmosphäre (unbenotet)
PNL 524412 - Dynamics of Climate System (unbenotet)
74635 VU - Chemie der Atmosphäre und die Ozonschicht
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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
Leistungen in Bezug auf das Modul
PNL 524411 - Physik der Atmosphäre (unbenotet)
PNL 524412 - Dynamics of Climate System (unbenotet)
78136 VU - Fluiddynamik in Meeresstroemungen und der Atmosphaerenphusik
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
1 VU N.N. N.N. Block N.N. N.N. Dr. Fred Feudel
9.-14. September 2019
Leistungen in Bezug auf das Modul
PNL 524411 - Physik der Atmosphäre (unbenotet)
PNL 524412 - Dynamics of Climate System (unbenotet)
Physik des Alltags
72527 VP - Physik des Alltags und der Extreme
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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
Leistungen in Bezug auf das Modul
PNL 524511 - Physik des Alltags und der Extreme/Praktikum (unbenotet)
Theoretische Physik I - Mechanik, Relativität
Für dieses Modul werden aktuell keine Lehrveranstaltungen angeboten
Bereich Chemie
Theoretische Chemie/Computerchemie
27Abkürzungen entnehmen Sie bitte Seite 7
Bachelor of Science - Informatik/Computational Science - Prüfungsversion Wintersemester 2013/14
74452 VP - Theoretische Chemie/Computerchemie (AWP2)
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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
Leistungen in Bezug auf das Modul
SL 531811 - Vorlesung (unbenotet)
SL 531812 - Praktikum (unbenotet)
Bereich Geowissenschaften
Geowissenschaften II
72878 VU - BScP02 Geowissenschaften II (Geländeübung Harz)
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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)
Leistungen in Bezug auf das Modul
PNL 570222 - Geländeübung Harz (unbenotet)
72879 VU - BScP02 Geowissenschaften II (Geländeübung Einführung)
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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.
Leistungen in Bezug auf das Modul
PNL 570221 - Geländeübung Sachsen (unbenotet)
72880 V - BScP02 Geowissenschaften II (Vorlesung)
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
1 V Mo 12:15 - 13:45 wöch. 2.27.0.01 08.04.2019 Prof. Dr. ManfredStrecker, Prof. Dr. MariaMutti
Leistungen in Bezug auf das Modul
SL 570211 - Vorlesung (unbenotet)
28Abkürzungen entnehmen Sie bitte Seite 7
Bachelor of Science - Informatik/Computational Science - Prüfungsversion Wintersemester 2013/14
72881 VU - BScP02 Geowissenschaften II (Übung)
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
1 U Mi 14:15 - 15:45 wöch. 2.27.1.01 10.04.2019 Prof. Dr. ManfredStrecker, Simon Riedl
Leistungen in Bezug auf das Modul
SL 570223 - Übung (unbenotet)
Grundlagen der Geoinformationssysteme
Für dieses Modul werden aktuell keine Lehrveranstaltungen angeboten
Einführung in die Paläoklimatologie
72873 S - BScW14 Einführung in die Paläoklimatologie (Seminar)
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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
Leistungen in Bezug auf das Modul
SL 570421 - Seminar (unbenotet)
72874 VS - BScW14 Einführung in die Paläoklimatologie (Vorlesung)
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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
Leistungen in Bezug auf das Modul
SL 570411 - Vorlesung (unbenotet)
Naturkatastrophen
72885 V - BScW19 Naturkatastrophen (Vorlesung)
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
1 V Mi 12:15 - 13:45 wöch. 2.27.1.10 10.04.2019 Dr. rer. nat. ChristianMohr
Leistungen in Bezug auf das Modul
SL 570611 - Vorlesung (unbenotet)
72886 SU - BScW19 Naturkatastrophen (Übung)
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
1 SU Mi 14:15 - 15:45 wöch. 2.27.1.10 10.04.2019 Dr. rer. nat. ChristianMohr
Leistungen in Bezug auf das Modul
PNL 570621 - Seminar (unbenotet)
Klimatologie
72260 S - Angewandte Klimatologie
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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
29Abkürzungen entnehmen Sie bitte Seite 7
Bachelor of Science - Informatik/Computational Science - Prüfungsversion Wintersemester 2013/14
Leistungen in Bezug auf das Modul
PNL 562311 - Angewandte Klimatologie (unbenotet)
Hydrologie
72245 U - Hydrologie I
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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
Leistungen in Bezug auf das Modul
PNL 562411 - Hydrologie I (unbenotet)
Seismologie
Für dieses Modul werden aktuell keine Lehrveranstaltungen angeboten
Remote Sensing of the Environment
Für dieses Modul werden aktuell keine Lehrveranstaltungen angeboten
Bereich Bioinformatik
Zellbiologie
72385 V - Zellbiologie Tiere
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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.
Leistungen in Bezug auf das Modul
SL 548962 - Zellbiologie der Tiere (unbenotet)
72405 VP - Funktionelle Histologie
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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
Leistungen in Bezug auf das Modul
SL 548962 - Zellbiologie der Tiere (unbenotet)
Grundlagen der Molekularbiologie und Genetik
30Abkürzungen entnehmen Sie bitte Seite 7
Bachelor of Science - Informatik/Computational Science - Prüfungsversion Wintersemester 2013/14
72320 VU - Genetik
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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
fakultativ als Ergänzung zur Vorlesung Genetik in 3 Parallelen
1 U Do 08:15 - 09:45 14t. 2.14.0.12 18.04.2019 Prof. Dr. Michael Lenhard
fakultativ als Ergänzung zur Vorlesung Genetik in 3 Parallelen
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
Leistungen in Bezug auf das Modul
SL 549031 - Genetik (unbenotet)
72332 V - Molekularbiologie 1
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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
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
Leistungen in Bezug auf das Modul
SL 549032 - Molekularbiologie (unbenotet)
Molekularbiologie / Evolutionsbiologie
72401 V - Evolutionsbiologie
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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
31Abkürzungen entnehmen Sie bitte Seite 7
Bachelor of Science - Informatik/Computational Science - Prüfungsversion Wintersemester 2013/14
Leistungen in Bezug auf das Modul
SL 548771 - Evolutionsbiologie (unbenotet)
72589 V - Vorlesung Molekularbiologie 2
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
1 V Do 08:15 - 09:45 wöch. 2.25.F0.01 11.04.2019 Prof. Dr. Bernd Müller-Röber
Leistungen in Bezug auf das Modul
SL 548772 - Molekularbiologie (unbenotet)
Molekularbiologie / Proteinstrukturbiologie
72372 VU - Proteinstrukturbiologie
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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
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.D0.01 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.D2.01 08.04.2019 Prof. Dr. Robert Seckler
Beginn im Hörsaal 25.F0.01; Computerübungen nach Absprache alternativ zur Vorlesung
Leistungen in Bezug auf das Modul
PNL 548782 - Proteinstrukturbiologie (unbenotet)
72589 V - Vorlesung Molekularbiologie 2
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
1 V Do 08:15 - 09:45 wöch. 2.25.F0.01 11.04.2019 Prof. Dr. Bernd Müller-Röber
Leistungen in Bezug auf das Modul
SL 548781 - Molekularbiologie (unbenotet)
Bereich kognitive Neurowissenschaften
Experimentelle und kognitive Psychologie
73421 V - Wahrnehmungspsychologie
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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
1 V Fr 08:15 - 09:45 Einzel 2.10.0.25 24.05.2019 Prof. Dr. Ralf Engbert
1 V Fr 08:15 - 09:45 Einzel 2.10.0.25 07.06.2019 Prof. Dr. Ralf Engbert
32Abkürzungen entnehmen Sie bitte Seite 7
Bachelor of Science - Informatik/Computational Science - Prüfungsversion Wintersemester 2013/14
Links:
vollständigeVeranstaltungsinformationenfür BachelorstudiengangPsychologie (ab WiSe2017/18)
http://lehre.psych.uni-potsdam.de/klv/s2019s/bspsy20172/lehrveranstaltung/k28050-d.html
vollständigeVeranstaltungsinformationenfür BachelorstudiengangPsychologie (ab WiSe2009/10)
http://lehre.psych.uni-potsdam.de/klv/s2019s/bspsy20092/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
Leistungen in Bezug auf das Modul
SL 821211 - Vorlesung (unbenotet)
73431 S - Einführung in die Psychologie der Wahrnehmung
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
1 S Mo 10:15 - 11:45 wöch. 2.14.4.15 08.04.2019 Dr. Doris Karin Philipp
33Abkürzungen entnehmen Sie bitte Seite 7
Bachelor of Science - Informatik/Computational Science - Prüfungsversion Wintersemester 2013/14
Links:
vollständigeVeranstaltungsinformationenfür BachelorstudiengangPsychologie (ab WiSe2017/18)
http://lehre.psych.uni-potsdam.de/klv/s2019s/bspsy20172/lehrveranstaltung/k28062-d.html
vollständigeVeranstaltungsinformationenfür BachelorstudiengangPsychologie (ab WiSe2009/10)
http://lehre.psych.uni-potsdam.de/klv/s2019s/bspsy20092/lehrveranstaltung/k28062-d.html
vollständigeVeranstaltungsinformationenfür MasterstudiengangComputational Science (abWiSe 2013/14)
http://lehre.psych.uni-potsdam.de/klv/s2019s/mscos20132/lehrveranstaltung/k28062-d.html
vollständigeVeranstaltungsinformationenfür BachelorstudiengangComputational Science (abWiSe 2013/14)
http://lehre.psych.uni-potsdam.de/klv/s2019s/bsics20132/lehrveranstaltung/k28062-d.html
Kommentar
Standard PULS Einschreibung - Modul-basierte Platzvergabe und Zulassung (mindestens ein Platz pro Modul)
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, Masterstudiengang Computational Science, Bachelorstudiengang Computational Science
Leistungen in Bezug auf das Modul
PNL 821221 - Seminar (unbenotet)
73444 S - Cognitive and Sensorimotor Development
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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
34Abkürzungen entnehmen Sie bitte Seite 7
Bachelor of Science - Informatik/Computational Science - Prüfungsversion Wintersemester 2013/14
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
Leistungen in Bezug auf das Modul
PNL 821221 - Seminar (unbenotet)
75140 S - Vertiefungsseminar Wahrnehmungpsychologie und Sensomotorik
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
1 S Di 12:15 - 13:45 wöch. 2.05.1.07 16.04.2019 Dr. André Krügel
Links:
vollständigeVeranstaltungsinformationenfür BachelorstudiengangPsychologie (ab WiSe2017/18)
http://lehre.psych.uni-potsdam.de/klv/s2019s/bspsy20172/lehrveranstaltung/k28099-d.html
vollständigeVeranstaltungsinformationenfür BachelorstudiengangPsychologie (ab WiSe2009/10)
http://lehre.psych.uni-potsdam.de/klv/s2019s/bspsy20092/lehrveranstaltung/k28099-d.html
vollständigeVeranstaltungsinformationenfür MasterstudiengangComputational Science (abWiSe 2013/14)
http://lehre.psych.uni-potsdam.de/klv/s2019s/mscos20132/lehrveranstaltung/k28099-d.html
vollständigeVeranstaltungsinformationenfür BachelorstudiengangComputational Science (abWiSe 2013/14)
http://lehre.psych.uni-potsdam.de/klv/s2019s/bsics20132/lehrveranstaltung/k28099-d.html
Kommentar
Standard PULS Einschreibung - Modul-basierte Platzvergabe und Zulassung (mindestens ein Platz pro Modul)
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 ab derzweiten Vorlesungswoche
Zielgruppe
Bachelorstudiengang Psychologie, Masterstudiengang Computational Science, Bachelorstudiengang Computational Science
Leistungen in Bezug auf das Modul
PNL 821221 - Seminar (unbenotet)
Kognitive Neurowissenschaften
Für dieses Modul werden aktuell keine Lehrveranstaltungen angeboten
Aktuelle Themen der neurokognitiven Psychologie
73420 S - Einführung in die Psychologie des Gedächtnisses
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
1 S Mi 14:15 - 15:45 wöch. 2.14.0.15 10.04.2019 Dr. Doris Karin Philipp
35Abkürzungen entnehmen Sie bitte Seite 7
Bachelor of Science - Informatik/Computational Science - Prüfungsversion Wintersemester 2013/14
Links:
vollständigeVeranstaltungsinformationenfür BachelorstudiengangPsychologie (ab WiSe2017/18)
http://lehre.psych.uni-potsdam.de/klv/s2019s/bspsy20172/lehrveranstaltung/k28049-d.html
vollständigeVeranstaltungsinformationenfür BachelorstudiengangPsychologie (ab WiSe2009/10)
http://lehre.psych.uni-potsdam.de/klv/s2019s/bspsy20092/lehrveranstaltung/k28049-d.html
vollständigeVeranstaltungsinformationenfür MasterstudiengangComputational Science (abWiSe 2013/14)
http://lehre.psych.uni-potsdam.de/klv/s2019s/mscos20132/lehrveranstaltung/k28049-d.html
vollständigeVeranstaltungsinformationenfür BachelorstudiengangComputational Science (abWiSe 2013/14)
http://lehre.psych.uni-potsdam.de/klv/s2019s/bsics20132/lehrveranstaltung/k28049-d.html
Kommentar
Standard PULS Einschreibung - Modul-basierte Platzvergabe und Zulassung (mindestens ein Platz pro Modul)
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, Masterstudiengang Computational Science, Bachelorstudiengang Computational Science
Leistungen in Bezug auf das Modul
PNL 821411 - Seminar (unbenotet)
PNL 821412 - Seminar (unbenotet)
73436 S - Kognitives und körperliches Training
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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:
vollständigeVeranstaltungsinformationenfür BachelorstudiengangPsychologie (ab WiSe2017/18)
http://lehre.psych.uni-potsdam.de/klv/s2019s/bspsy20172/lehrveranstaltung/k28067-d.html
vollständigeVeranstaltungsinformationenfür BachelorstudiengangPsychologie (ab WiSe2009/10)
http://lehre.psych.uni-potsdam.de/klv/s2019s/bspsy20092/lehrveranstaltung/k28067-d.html
vollständigeVeranstaltungsinformationenfür MasterstudiengangComputational Science (abWiSe 2013/14)
http://lehre.psych.uni-potsdam.de/klv/s2019s/mscos20132/lehrveranstaltung/k28067-d.html
vollständigeVeranstaltungsinformationenfür BachelorstudiengangComputational Science (abWiSe 2013/14)
http://lehre.psych.uni-potsdam.de/klv/s2019s/bsics20132/lehrveranstaltung/k28067-d.html
Kommentar
Standard PULS Einschreibung - Modul-basierte Platzvergabe und Zulassung (mindestens ein Platz pro Modul)
36Abkürzungen entnehmen Sie bitte Seite 7
Bachelor of Science - Informatik/Computational Science - Prüfungsversion Wintersemester 2013/14
Bemerkung
Die Gruppe 2 trifft sich Montag, 10:15-11:45 im Raum 2.14.4.06
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, Masterstudiengang Computational Science, Bachelorstudiengang Computational Science
Leistungen in Bezug auf das Modul
PNL 821411 - Seminar (unbenotet)
PNL 821412 - Seminar (unbenotet)
V. Wahlpflichtmodul
Computermathematik: Numerik
Für dieses Modul werden aktuell keine Lehrveranstaltungen angeboten
VI. Akademische Grundkompetenzen
Mentoring und Praxis der Programmierung
75009 U - Praxis der Programmierung
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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
Grundlagen der Programmierung
Lerninhalte
Programmierung in C, Implementierung von Algorithmen undDatenstrukturen in einer imperativen Programmiersprache wie beispielsweise C,Objektorientierte Programmierung, beispielsweise in der Programmiersprache Java.
Leistungen in Bezug auf das Modul
SL 555521 - Rechnerübung (unbenotet)
75010 V - Praxis der Programmierung
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
1 V Mi 16:00 - 18:00 wöch. 3.06.H04 10.04.2019 Dr. Henning Bordihn
Voraussetzung
Grundlagen der Programmierung
Leistungsnachweis
Zwei Klausuren über je 60 Minuten, eine in der Mitte des Semesters, eine in der Prüfungszeit.
37Abkürzungen entnehmen Sie bitte Seite 7
Bachelor of Science - Informatik/Computational Science - Prüfungsversion Wintersemester 2013/14
Lerninhalte
Programmierung in C, Implementierung von Algorithmen undDatenstrukturen in einer imperativen Programmiersprache wie beispielsweiseC, Objektorientierte Programmierung, beispielsweise in der ProgrammierspracheJava.
Leistungen in Bezug auf das Modul
SL 555511 - Vorlesung (unbenotet)
75011 KU - Mentoring
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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.
Leistungen in Bezug auf das Modul
PNL 555531 - Treffen mit Mentoren (unbenotet)
Wissenschaftliches Arbeiten
74951 OS - Fehlertolerantes Rechnen
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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.
38Abkürzungen entnehmen Sie bitte Seite 7
Bachelor of Science - Informatik/Computational Science - Prüfungsversion Wintersemester 2013/14
Leistungsnachweis
Eigener Vortrag und regelmäßige Teilnahme am Seminar
Leistungen in Bezug auf das Modul
SL 555611 - Seminar (unbenotet)
SL 555612 - Seminar (unbenotet)
74961 S - Automotiv 2, Fahrassistenz und Selbstfahrer
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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.
Leistungen in Bezug auf das Modul
SL 555611 - Seminar (unbenotet)
SL 555612 - Seminar (unbenotet)
74971 OS - Cartesisches Seminar
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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.
Leistungen in Bezug auf das Modul
SL 555611 - Seminar (unbenotet)
39Abkürzungen entnehmen Sie bitte Seite 7
Bachelor of Science - Informatik/Computational Science - Prüfungsversion Wintersemester 2013/14
SL 555612 - Seminar (unbenotet)
74972 OS - Theorie-Kolloquium
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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
Leistungen in Bezug auf das Modul
SL 555611 - Seminar (unbenotet)
SL 555612 - Seminar (unbenotet)
74975 VS - Mathematisches Beweisen lernen mithilfe des Beweisassistenten Coq
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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.
40Abkürzungen entnehmen Sie bitte Seite 7
Bachelor of Science - Informatik/Computational Science - Prüfungsversion Wintersemester 2013/14
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.
Leistungen in Bezug auf das Modul
SL 555611 - Seminar (unbenotet)
SL 555612 - Seminar (unbenotet)
74981 S - Humanwissenschaftliche Informatilk
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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)
Leistungen in Bezug auf das Modul
SL 555611 - Seminar (unbenotet)
SL 555612 - Seminar (unbenotet)
74983 OS - Lehrstuhlkolloquium II - Diplomanden- und Doktorandenseminar - Didaktik der Informatik
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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
Leistungen in Bezug auf das Modul
SL 555611 - Seminar (unbenotet)
41Abkürzungen entnehmen Sie bitte Seite 7
Bachelor of Science - Informatik/Computational Science - Prüfungsversion Wintersemester 2013/14
SL 555612 - Seminar (unbenotet)
75006 FS - Knowledge-based Systems
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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)
Leistungen in Bezug auf das Modul
SL 555611 - Seminar (unbenotet)
SL 555612 - Seminar (unbenotet)
75007 FS - Knowledge Representation and Reasoning
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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)
Leistungen in Bezug auf das Modul
SL 555611 - Seminar (unbenotet)
SL 555612 - Seminar (unbenotet)
75016 FS - Cluster Computing
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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.
Leistungen in Bezug auf das Modul
SL 555611 - Seminar (unbenotet)
42Abkürzungen entnehmen Sie bitte Seite 7
Bachelor of Science - Informatik/Computational Science - Prüfungsversion Wintersemester 2013/14
SL 555612 - Seminar (unbenotet)
75017 FS - Komplexe Multimediale Anwendungsarchitekturen
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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.
Leistungen in Bezug auf das Modul
SL 555611 - Seminar (unbenotet)
SL 555612 - Seminar (unbenotet)
75026 FS - Software Engineering
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
1 FS Do 10:00 - 12:00 wöch. 3.04.1.02 11.04.2019 Prof. Dr.-Ing. ChristianHammer
Leistungen in Bezug auf das Modul
SL 555611 - Seminar (unbenotet)
SL 555612 - Seminar (unbenotet)
75171 BL - NUMA-aware Locks
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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.
Leistungen in Bezug auf das Modul
SL 555611 - Seminar (unbenotet)
SL 555612 - Seminar (unbenotet)
75179 S - Rechnerarchitektur und Mikroprozessortechnik
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
1 S Di 10:00 - 12:00 wöch. 3.04.0.02 09.04.2019 Prof. Dr.-Ing. ChristianBenno Stabernack
Leistungen in Bezug auf das Modul
SL 555611 - Seminar (unbenotet)
SL 555612 - Seminar (unbenotet)
75193 S2 - Competitive Programming
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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.
43Abkürzungen entnehmen Sie bitte Seite 7
Bachelor of Science - Informatik/Computational Science - Prüfungsversion Wintersemester 2013/14
Bemerkung
Unter https://hpi.de/studium/lehrveranstaltungen.html sind folgende Angaben aufrufbar:
• Raum und Zeit• Lehrinhalt und Leistungserfassung• Teilnehmerbegrenzung
Leistungen in Bezug auf das Modul
SL 555611 - Seminar (unbenotet)
SL 555612 - Seminar (unbenotet)
Praktikum
74995 PJ - Extensive Logistics Technology
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
1 PJ N.N. N.N. wöch. N.N. N.N. Prof. Dr. Torsten Schaub
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
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
1 PJ N.N. N.N. wöch. N.N. N.N. Prof. Dr. Torsten Schaub
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
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
1 PR N.N. N.N. wöch. N.N. N.N. Prof. Dr. Tobias Scheffer
2 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.
44Abkürzungen entnehmen Sie bitte Seite 7
Bachelor of Science - Informatik/Computational Science - Prüfungsversion Wintersemester 2013/14
Voraussetzung
Vor dem Praktikum ist die Zustimmung eines Prüfungsberechtigenten einzuholen.
75172 PJ - Interoperability in the IoT
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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
Gruppe Art Tag Zeit Rhythmus Veranstaltungsort 1.Termin Lehrkraft
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.
45Abkürzungen entnehmen Sie bitte Seite 7
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
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.