Catalog

Lecture2Go Catalog Universität Hamburg F.6 - Mathematik, Informatik, Naturwissenschaften

Video Catalog

Institution

F.6 - Mathematik, Informatik, Naturwissenschaften

Sub institution

Term

Category

Lehrveranstaltung

Showing 1 - 75 of 83 results.


13 WiSe 19/20 Rechnerstrukturen und Betriebssysteme Dr. Andreas Mäder Lehrveranstaltung Informatik 11.12.2019 Sitzung 17 - Schaltwerke, Rechnerarchitektur I Dr. Andreas Mäder 06.12.2019 Sitzung 16 - Schaltwerke - Schaltwerksentwurf: Ampel Dr. Andreas Mäder 04.12.2019 Sitzung 15 - Schaltwerke (asynchrone und synchrone Schaltungen) Dr. Andreas Mäder 29.11.2019 Sitzung 14 - Schaltnetze (Impulsdiagramme, Hazards..) Dr. Andreas Mäder 27.11.2019 Sitzung 13 - Schaltnetze und HADES Dr. Andreas Mäder 22.11.2019 Sitzung 12 - Schaltfunktionen (KV-Diagramme, Normalformen, ROBDD) Dr. Andreas Mäder 20.11.2019 Sitzung 11 - Codierung, Schaltfunktionen Dr. Andreas Mäder 15.11.2019 Sitzung 10 - Codierung (Fehlerkorrigierende Codes) Dr. Andreas Mäder 13.11.2019 Sitzung 9 - Codierung (Fano, Huffmann) Dr. Andreas Mäder 08.11.2019 Sitzung 8 - Logische Operationen - Codierung Dr. Andreas Mäder 06.11.2019 Sitzung 7 - Zeichen und Text - Logische Operationen Dr. Andreas Mäder 01.11.2019 Sitzung 6 - Arithmetik Dr. Andreas Mäder 30.10.2019 Sitzung 5 - Ziffern und Zahlen Dr. Andreas Mäder
10 SoSe 19 Statistical Methods of Language Technology Prof. Dr. Chris Biemann Lehrveranstaltung Informatik 19.06.2019 10 - dense vector representations part 3 and Graph-based methods for NLP Prof. Dr. Chris Biemann 05.06.2019 09 -dense vector representations part 2 Prof. Dr. Chris Biemann 29.05.2019 08 - statistical parsing part 2 and dense vector representations Prof. Dr. Chris Biemann 22.05.2019 07 - statistical parsing Prof. Dr. Chris Biemann 15.05.2019 06 - POS Tagging, Syntax Processing Prof. Dr. Chris Biemann 08.05.2019 05 - Hidden Markov Models part 2 and Sequence Tagging Prof. Dr. Chris Biemann 24.04.2019 04 - Language Models part 3 and Hidden Markov Models Prof. Dr. Chris Biemann 17.04.2019 03 - Language Models part 2 Prof. Dr. Chris Biemann 10.04.2019 02 - Search Trees and Language Models Prof. Dr. Chris Biemann 03.04.2019 01 - Chomsky Hierarchy of formal languages and Finite State Morphology Prof. Dr. Chris Biemann
3 SoSe 19 Weltmacht Vereinigte Daten: Eine Chronik der digitalen Transformation Prof. Dr. Arno Rolf Lehrveranstaltung Informatik 16.04.2019 Chronik Teil 4: Antworten, Optionen, Innovationen Prof. Dr. Arno Rolf 09.04.2019 Chronik Teil 2: Von der SAP-Welt zu den Bausteinen der digitalen Transformation Prof. Dr. Arno Rolf 02.04.2019 Chronik Teil 1: Von F.W. Taylor und Henry Ford zur SAP-Welt Prof. Dr. Arno Rolf
26 WiSe 18/19 Einführung in die Theoretische Physik I Dr. Alexander Chudnovskiy Lehrveranstaltung Physik 31.01.2019 Vorlesung 26 Dr. Alexander Chudnovskiy 29.01.2019 Vorlesung 25 Dr. Alexander Chudnovskiy 24.01.2019 Vorlesung 24 Dr. Alexander Chudnovskiy 22.01.2019 Vorlesung 23 Dr. Alexander Chudnovskiy 17.01.2019 Vorlesung 22 Dr. Alexander Chudnovskiy 15.01.2019 Vorlesung 21 Dr. Alexander Chudnovskiy 10.01.2019 Vorlesung 20 Dr. Alexander Chudnovskiy 08.01.2019 Vorlesung 19 Dr. Alexander Chudnovskiy 20.12.2018 Vorlesung 18 Dr. Alexander Chudnovskiy 18.12.2018 Vorlesung 17 Dr. Alexander Chudnovskiy 13.12.2018 Vorlesung 16 Dr. Alexander Chudnovskiy 11.12.2018 Vorlesung 15 Dr. Alexander Chudnovskiy 06.12.2018 Vorlesung 14 Dr. Alexander Chudnovskiy 04.12.2018 Vorlesung 13 Dr. Alexander Chudnovskiy 29.11.2018 Vorlesung 12 Dr. Alexander Chudnovskiy 27.11.2018 Vorlesung 11 Dr. Alexander Chudnovskiy 22.11.2018 Vorlesung 10 Dr. Alexander Chudnovskiy 20.11.2018 Vorlesung 9 Dr. Alexander Chudnovskiy 15.11.2018 Vorlesung 8 Dr. Alexander Chudnovskiy 13.11.2018 Vorlesung 7 Dr. Alexander Chudnovskiy 08.11.2018 Vorlesung 6 Dr. Alexander Chudnovskiy 06.11.2018 Vorlesung 5 Dr. Alexander Chudnovskiy 01.11.2018 Vorlesung 4 Dr. Alexander Chudnovskiy 30.10.2018 Vorlesung 3 Dr. Alexander Chudnovskiy 25.10.2018 Vorlesung 2 Dr. Alexander Chudnovskiy 23.10.2018 Vorlesung 1 Dr. Alexander Chudnovskiy
13 WiSe 18/19 Physik I Prof. Dr. Florian Grüner Lehrveranstaltung Physik 04.12.2018 Vorlesung 13 Prof. Dr. Florian Grüner 29.11.2018 Vorlesung 12 Prof. Dr. Florian Grüner 27.11.2018 Vorlesung 11 Prof. Dr. Florian Grüner 22.11.2018 Vorlesung 10 Prof. Dr. Florian Grüner 20.11.2018 Vorlesung 9 Prof. Dr. Florian Grüner 15.11.2018 Vorlesung 8 Prof. Dr. Florian Grüner 13.11.2018 Vorlesung 7 Prof. Dr. Florian Grüner 08.11.2018 Vorlesung 6 Prof. Dr. Florian Grüner 06.11.2018 Vorlesung 5 Prof. Dr. Florian Grüner 01.11.2018 Vorlesung 4 Prof. Dr. Florian Grüner 30.10.2018 Vorlesung 3 Prof. Dr. Florian Grüner 25.10.2018 Vorlesung 2 Prof. Dr. Florian Grüner 23.10.2018 Vorlesung 1 Prof. Dr. Florian Grüner
1 WiSe 18/19 Umgang mit Rechtspopulismus in Bildung und Lehre Prof. Dr. Christof Parnreiter Lehrveranstaltung Geowissenschaften 01.11.2018 Migration und Rassismus - Zwei Strategien in globalen Verteilungskonflikten Prof. Dr. Christof Parnreiter
7 WiSe 18/19 Strukturchemie Dr. Frank Hoffmann Lehrveranstaltung Chemie 29.11.2018 07 internationale Tabellen & Raumgruppe P21/c Dr. Frank Hoffmann 22.11.2018 06 Schraubenachsen & Einführung in Raumgruppen Dr. Frank Hoffmann 15.11.2018 05 Gleitspiegelebenen Dr. Frank Hoffmann 08.11.2018 04 Punktsymmetrieelemente Dr. Frank Hoffmann 01.11.2018 03 Bravais-Gitter & die hexagonale Kristallfamilie Dr. Frank Hoffmann 25.10.2018 02 Kristallsysteme und Bravaisgitter Dr. Frank Hoffmann 18.10.2018 01 Einführung in die Strukturchemie Dr. Frank Hoffmann
25 SoSe 18 Theoretische Physik II Prof. Dr. Günter Sigl, Dr. Benjamin Bahr Lehrveranstaltung Physik 16.07.2018 Vorlesung 27 Prof. Dr. Günter Sigl 11.07.2018 Vorlesung 26 Prof. Dr. Günter Sigl 09.07.2018 Vorlesung 25 Prof. Dr. Günter Sigl 04.07.2018 Vorlesung 24 Prof. Dr. Günter Sigl 02.07.2018 Vorlesung 23 Prof. Dr. Günter Sigl 27.06.2018 Vorlesung 22 Prof. Dr. Günter Sigl 25.06.2018 Vorlesung 21 Prof. Dr. Günter Sigl 20.06.2018 Vorlesung 20 Prof. Dr. Günter Sigl 18.06.2018 Vorlesung 19 Prof. Dr. Günter Sigl 13.06.2018 Vorlesung 18 Prof. Dr. Günter Sigl 11.06.2018 Vorlesung 17 Prof. Dr. Günter Sigl 06.06.2018 Vorlesung 16 Dr. Benjamin Bahr 30.05.2018 Vorlesung 15 Prof. Dr. Günter Sigl 28.05.2018 Vorlesung 14 Prof. Dr. Günter Sigl 16.05.2018 Vorlesung 13 Prof. Dr. Günter Sigl 09.05.2018 Vorlesung 11 Prof. Dr. Günter Sigl 02.05.2018 Vorlesung 9 Prof. Dr. Günter Sigl 30.04.2018 Vorlesung 8 Prof. Dr. Günter Sigl 25.04.2018 Vorlesung 7 Prof. Dr. Günter Sigl 23.04.2018 Vorlesung 6 Prof. Dr. Günter Sigl 18.04.2018 Vorlesung 5 Prof. Dr. Günter Sigl 16.04.2018 Vorlesung 4 Prof. Dr. Günter Sigl 11.04.2018 Vorlesung 3 Prof. Dr. Günter Sigl 09.04.2018 Vorlesung 2 Prof. Dr. Günter Sigl 04.04.2018 Vorlesung 1 Prof. Dr. Günter Sigl
16 SoSe 18 Ökologie Prof. Dr. Norbert Jürgens, Dr. Veit Hennig, Prof. Dr. Kai Jensen et al. Lehrveranstaltung Biologie 03.07.2018 16 - Biome der Erde Prof. Dr. Norbert Jürgens 02.07.2018 15 - Fauna der Kulturlandschaft & Urbane Tierökologie Dr. Veit Hennig 26.06.2018 14 - Ökosysteme Prof. Dr. Norbert Jürgens 25.06.2018 13 - Moderne Agrarlandschaft und urbane Lebensräume 1 Prof. Dr. Kai Jensen 19.06.2018 12 - Biozönose & Biodiversität Prof. Dr. Norbert Jürgens 18.06.2018 11 - Historische Kulturlandschaft: Heiden und Grasländer Prof. Dr. Kai Jensen 12.06.2018 10 - Populationsbiologie Prof. Dr. Jörg Ganzhorn 05.06.2018 09 - Anpassungen im Tierreich II Prof. Dr. Jörg Ganzhorn 29.05.2018 08 - Anpassungen im Tierreich Prof. Dr. Jörg Ganzhorn 28.05.2018 07 - Fließgewässer und Auen mitteleuropäischer Lebensräume Prof. Dr. Kai Jensen 14.05.2018 06 - Die Faune des Waldes Dr. Veit Hennig 08.05.2018 05 - Biotische Interaktionen I: Konkurrenz, Herbivorie, Mutualismus Prof. Dr. Kai Jensen 07.05.2018 04 - Küstenlebensräume im Mitteleuropäischen Raum Prof. Dr. Kai Jensen 24.04.2018 03 - Anpassungen im Pflanzenreich Prof. Dr. Kai Jensen 17.04.2018 02 - Umweltbedingungen 2: Böden und Hydrologie Dr. Alexander Gröngröft 10.04.2018 01 - Was ist Ökologie? Historische Entwicklung Umweltbedingungen 1: Klima Prof. Dr. Kai Jensen
25 WiSe 17/18 Rechnerstrukturen Dr. Andreas Mäder Lehrveranstaltung MIN-Fakultät 02.02.2018 27 Virtueller Speicher Dr. Andreas Mäder 26.01.2018 25 Pipelining 2 und Parallelarchitekturen Dr. Andreas Mäder 24.01.2018 24 Assembler Programmierung 4 und Pipelining Dr. Andreas Mäder 19.01.2018 23 Assembler Programmierung 3 Dr. Andreas Mäder 17.01.2018 22 Assembler Programmierung 2 Dr. Andreas Mäder 12.01.2018 21 Assembler Programmierung Dr. Andreas Mäder 10.01.2018 20 Instruction Set Architecture - Befehlsformate und Adressierungsarten Dr. Andreas Mäder 22.12.2017 19 Speicherorganisation Dr. Andreas Mäder 20.12.2017 18 Hardwarestruktur Dr. Andreas Mäder 15.12.2017 17 Automaten & Rechnerachitektur Dr. Andreas Mäder 13.12.2017 16 Schaltwerke - Flipflops und Takte Dr. Andreas Mäder 08.12.2017 15 Schaltnetze und Schaltwerke Dr. Andreas Mäder 06.12.2017 14 Schaltnetze Dr. Andreas Mäder 01.12.2017 13 KV-Diagramme, Schaltnetze und Einführung in HADES Dr. Andreas Mäder 29.11.2017 12 Schaltfunktionen Darstellung, Normalformen und Entscheidungsbäume Dr. Andreas Mäder 24.11.2017 11 Fehlererkennende Codes Dr. Andreas Mäder 22.11.2017 10 Codierung Symbolhäufigkeiten, Informationstheorie, Entropie und Kanalcodierung Dr. Andreas Mäder 17.11.2017 9 Codierung Dr. Andreas Mäder 15.11.2017 8 Logische Operatoren Dr. Andreas Mäder 10.11.2017 7 Arithmetik / Zeichen und Text Dr. Andreas Mäder 08.11.2017 6 Gleitkommazahlen Dr. Andreas Mäder 03.11.2017 5 Ziffern und Zahlen 2 / Gleitkommazahlen Dr. Andreas Mäder 27.10.2017 4 Ziffern und Zahlen Dr. Andreas Mäder 25.10.2017 3 Moore's Law Dr. Andreas Mäder 20.10.2017 02 Digitalrechner Dr. Andreas Mäder
24 WiSe 17/18 Grundlagen der Wissensverarbeitung Prof. Dr.-Ing. Wolfgang Menzel Lehrveranstaltung Informatik 30.01.2018 26 - Klausurhinweise und Constraint Satisfaction in der Sprachverarbeitung Prof. Dr.-Ing. Wolfgang Menzel 29.01.2018 25 - Planning with relational actions Prof. Dr.-Ing. Wolfgang Menzel 23.01.2018 24 - Reasoning about Individuals and Relations Teil 2 Prof. Dr.-Ing. Wolfgang Menzel 22.01.2018 23 - Korrektur zum Whack-the-Mole Beispiel und Reasoning about Individuals and Relations Prof. Dr.-Ing. Wolfgang Menzel 16.01.2018 22 - Rational vs Human Behavior Prof. Dr.-Ing. Wolfgang Menzel 15.01.2018 21 - Decisions Networks, Policies und Properties of Preferences Prof. Dr.-Ing. Wolfgang Menzel 09.01.2018 20 - Planning Teil 2 und Decisions under Uncertainty Prof. Dr.-Ing. Wolfgang Menzel 08.01.2018 19 - Dynamic Bayesian Networks und Planning Prof. Dr.-Ing. Wolfgang Menzel 19.12.2017 18 - Bayesian Networks: Whack-the-Mole Example Prof. Dr.-Ing. Wolfgang Menzel 18.12.2017 17 - Multimodal Human-Computer Interaction Prof. Dr.-Ing. Wolfgang Menzel 12.12.2017 16 - Hidden Markov Models Teil 2 und Sensor Data Fusion Prof. Dr.-Ing. Wolfgang Menzel 11.12.2017 15 - Hidden Markov Models Prof. Dr.-Ing. Wolfgang Menzel 05.12.2017 14 - Belief Networks Teil 2 Prof. Dr.-Ing. Wolfgang Menzel 04.12.2017 13 - Belief Networks Prof. Dr.-Ing. Wolfgang Menzel 28.11.2017 12 - Reasoning under Uncertainty Prof. Dr.-Ing. Wolfgang Menzel 27.11.2017 11 - Reasoning und Causal Networks Prof. Dr.-Ing. Wolfgang Menzel 21.11.2017 10 - Propositions and Inference Teil 2 Prof. Dr.-Ing. Wolfgang Menzel 20.11.2017 09 - Propositions and Inference Prof. Dr.-Ing. Wolfgang Menzel 14.11.2017 08 - Constraint Satisfaction Problems Teil 2 Prof. Dr.-Ing. Wolfgang Menzel 13.11.2017 07 - Constraint Satisfaction Problems Prof. Dr.-Ing. Wolfgang Menzel 07.11.2017 06 - Isolated Word Recognition, Summary Search und scheduling activities Prof. Dr.-Ing. Wolfgang Menzel 06.11.2017 05 - Iterative Deepening, Dynamic Programming und String-to-String Mapping Prof. Dr.-Ing. Wolfgang Menzel 30.10.2017 04 - heuristische Suche Teil 2, cycle checking und multiple path pruning Prof. Dr.-Ing. Wolfgang Menzel 23.10.2017 03 - künstliche Intelligenz und heuristische Suche Prof. Dr.-Ing. Wolfgang Menzel
22 SoSe 17 Mathematik II für Studierende der Informatik (Diskrete Mathematik) Prof. Dr. Mathias Schacht, PD Prof. Stefan Geschke Lehrveranstaltung Informatik 10.07.2017 Analysis 10.07.2017 Mathias Schacht Prof. Dr. Mathias Schacht 06.07.2017 Analysis 06.07.2017 Mathias Schacht Prof. Dr. Mathias Schacht 03.07.2017 Analysis 03.07.2017 Mathias Schacht Prof. Dr. Mathias Schacht 29.06.2017 Analysis 29.06.2017 Mathias Schacht Prof. Dr. Mathias Schacht 22.06.2017 Analysis 22.06.2017 Mathias Schacht Prof. Dr. Mathias Schacht 19.06.2017 Analysis 19.06.2017 Mathias Schacht Prof. Dr. Mathias Schacht 15.06.2017 Analysis 15.06.2017 Mathias Schacht Prof. Dr. Mathias Schacht 12.06.2017 Analysis 12.06.2017 Mathias Schacht Prof. Dr. Mathias Schacht 01.06.2017 Analysis - Informatik 2. Semester 01.06.2017 Prof. Dr. Mathias Schacht 29.05.2017 Analysis - Informatik 2. Semester 29.05.2017 Prof. Dr. Mathias Schacht 18.05.2017 Analysis - Informatik 2. Semester 18.05.2017 PD Prof. Stefan Geschke 15.05.2017 Diskrete Mathematik - Informatik 2. Semester 15.05.2017 Prof. Dr. Mathias Schacht 11.05.2017 Diskrete Mathematik - Informatik 2. Semester 11.05.2017 Prof. Dr. Mathias Schacht 08.05.2017 Diskrete Mathematik - Informatik 2. Semester 08.05.2017 Prof. Dr. Mathias Schacht 04.05.2017 Diskrete Mathematik - Informatik 2. Semester 04.05.2017 Prof. Dr. Mathias Schacht 27.04.2017 Diskrete Mathematik - Informatik 2. Semester 27.04.2017 Prof. Dr. Mathias Schacht 24.04.2017 Diskrete Mathematik - Informatik 2. Semester 24.04.2017 Prof. Dr. Mathias Schacht 20.04.2017 Diskrete Mathematik - Informatik 2. Semester 20.04.2017 Prof. Dr. Mathias Schacht 13.04.2017 Diskrete Mathematik - Informatik 2. Semester 13.04.2017 Prof. Dr. Mathias Schacht 10.04.2017 Diskrete Mathematik - Informatik 2. Semester 10.04.2017 Prof. Dr. Mathias Schacht 06.04.2017 Diskrete Mathematik - Informatik 2. Semester 06.04.2017 Prof. Dr. Mathias Schacht 03.04.2017 Diskrete Mathematik - Informatik 2. Semester 03.04.2017 Prof. Dr. Mathias Schacht
3 SoSe 17 Des Googles Kern und andere Spinnennetze Prof. Dr. Arno Rolf Lehrveranstaltung Informatik 02.05.2017 3 - Folgen der Digitalen Transformation sowie Verankerung der digitalen Transformation in der Hochschullehre Prof. Dr. Arno Rolf 25.04.2017 2 - Bausteine, Muster und Folgen der Digitalen Transformation Prof. Dr. Arno Rolf 11.04.2017 1 - Bausteine der digitalen Transformation Prof. Dr. Arno Rolf
27 WiSe 16/17 Rechnerstrukturen Dr. Andreas Mäder, Dr. Norman Hendrich Lehrveranstaltung Informatik 03.02.2017 28 - Speicherhierarchie Teil 2 Dr. Andreas Mäder 01.02.2017 27 - Parallelarchitekturen und Speicherhierarchie Dr. Norman Hendrich 27.01.2017 26 - Pipelining und Parallelarchitekturen Dr. Norman Hendrich 25.01.2017 25 - Dynamische Speicherverwaltung Dr. Norman Hendrich 20.01.2017 24 - Assembler Programmierung Teil 3 Dr. Norman Hendrich 18.01.2017 23 - Assembler Programmierung Teil 2 Dr. Norman Hendrich 13.01.2017 22 - Assembler Progammierung Dr. Norman Hendrich 11.01.2017 21 - Warum Assembler? Dr. Andreas Mäder 23.12.2016 20 - Instruction Set Architecture Teil 2 Dr. Andreas Mäder 21.12.2016 19 - Instruction Set Architecture Teil 2 - Befehlsformate Dr. Andreas Mäder 16.12.2016 18 - Rechnerarchitektur Teil 3 und Instruction Set Architecture Dr. Andreas Mäder 14.12.2016 17 - Rechnerachitektur Teil 2 Dr. Andreas Mäder 09.12.2016 16 - Schaltwerke Teil 2 sowie Rechnerarchitektur Dr. Andreas Mäder 07.12.2016 15 - Schaltwerke Dr. Andreas Mäder 02.12.2016 14 - Schaltnetze Teil 2 Dr. Andreas Mäder 30.11.2016 13 - Schaltnetze Dr. Andreas Mäder 25.11.2016 12 - Schaltfunktionen und HADES Editior Dr. Andreas Mäder 23.11.2016 11 - Codierung - Hamming Code Dr. Andreas Mäder 18.11.2016 10 - Fehlererkennende Codes Dr. Andreas Mäder 16.11.2016 9 - Codierung - Symbolhäufigkeiten Dr. Andreas Mäder 11.11.2016 8 - Logische Operationen und Codierung Dr. Andreas Mäder 09.11.2016 7 - Zeichen und Text Dr. Andreas Mäder 02.11.2016 5 - Gleitkommazahlen Dr. Andreas Mäder 28.10.2016 4 - Ziffern und Zahlen Dr. Andreas Mäder 26.10.2016 3 - Moores Law Dr. Andreas Mäder 21.10.2016 2 - Digitalrechner Dr. Andreas Mäder 19.10.2016 1 - Einführung Dr. Andreas Mäder
14 WiSe 16/17 Softwareentwicklung III: Logikprogrammierung Prof. Dr.-Ing. Wolfgang Menzel Lehrveranstaltung MIN-Fakultät 03.02.2017 14 - aktive Datenstrukturen Teil 2 Prof. Dr.-Ing. Wolfgang Menzel 27.01.2017 13 - Scheme in Prolog Teil 3 und Aktive Datenstrukturen Prof. Dr.-Ing. Wolfgang Menzel 20.01.2017 12 - Scheme in Prolog Teil 2 Prof. Dr.-Ing. Wolfgang Menzel 13.01.2017 11 - Scheme in Prolog Prof. Dr.-Ing. Wolfgang Menzel 23.12.2016 10 - Prädikate höherer Ordnung Teil 2, Metaprogrammierung Prof. Dr.-Ing. Wolfgang Menzel 16.12.2016 9 - Extra- und Metalogische Prädikate und Prädikate höherer Ordnung Prof. Dr.-Ing. Wolfgang Menzel 09.12.2016 8 - Verkettete Listen Teil 3 Prof. Dr.-Ing. Wolfgang Menzel 02.12.2016 7 - Verkettete Listen Teil 2 Prof. Dr.-Ing. Wolfgang Menzel 25.11.2016 6 - Rekursive Datenstrukturen Teil 3 und Verkettete Listen Prof. Dr.-Ing. Wolfgang Menzel 18.11.2016 5 - Rekursive Datenstrukturen Teil 2 Prof. Dr.-Ing. Wolfgang Menzel 11.11.2016 4 - Deduktive Datenbanken und Rekursive Datenstrukturen Prof. Dr.-Ing. Wolfgang Menzel 04.11.2016 3 - komplexe Anfragen, deduktion, rekursion Prof. Dr.-Ing. Wolfgang Menzel 28.10.2016 2 - Relationale Datenbanken Prof. Dr.-Ing. Wolfgang Menzel 21.10.2016 1 - Allgemeines und Programmierparadigmen Prof. Dr.-Ing. Wolfgang Menzel
13 WiSe 16/17 Softwareentwicklung III: Funktionale Programmierung Prof. Dr. Leonie Dreschler-Fischer Lehrveranstaltung MIN-Fakultät 03.02.2017 13 - General Problem Solver und Zusammenfassung Prof. Dr. Leonie Dreschler-Fischer 27.01.2017 12 - Meta- und Stromorientierte Programmierung sowie Programmieren mit Zuständen Prof. Dr. Leonie Dreschler-Fischer 20.01.2017 11 - Relationale Programmierung Prof. Dr. Leonie Dreschler-Fischer 13.01.2017 10 - Entwurf eines ereingnisorientierten Simulationssystem Prof. Dr. Leonie Dreschler-Fischer 23.12.2016 9 - Pattern Matching Teil 2 und Objektorientierte Programmierung Prof. Dr. Leonie Dreschler-Fischer 16.12.2016 8 - Backtracking, Nichtdeterminismus und Pattern Matching Prof. Dr. Leonie Dreschler-Fischer 09.12.2016 7 - GUI und kombinatorische Logik Prof. Dr. Leonie Dreschler-Fischer 02.12.2016 6 - Der Entwurf von Funktionen Prof. Dr. Leonie Dreschler-Fischer 25.11.2016 5 - Rekursion Prof. Dr. Leonie Dreschler-Fischer 18.11.2016 4 - Semantik, Korrektheit und Spezifikation Prof. Dr. Leonie Dreschler-Fischer 04.11.2016 3 - Datenabstraktion in Racket Prof. Dr. Leonie Dreschler-Fischer 28.10.2016 2 - Das Racket-System Prof. Dr. Leonie Dreschler-Fischer 21.10.2016 1 - Einführung Prof. Dr. Leonie Dreschler-Fischer
17 WiSe 16/17 Mathematik I für Studierende der Informatik (Diskrete Mathematik) Prof. Dr. Mathias Schacht Lehrveranstaltung Informatik 23.12.2017 Diskrete Mathematik - Informatik 1. Semester 23.12.2016 Prof. Dr. Mathias Schacht 03.02.2017 Diskrete Mathematik - Informatik 1. Semester 03.02.2017 Prof. Dr. Mathias Schacht 02.02.2017 Diskrete Mathematik - Informatik 1. Semester 02.02.2017 Prof. Dr. Mathias Schacht 27.01.2017 Diskrete Mathematik - Informatik 1. Semester 27.01.2017 Prof. Dr. Mathias Schacht 20.01.2017 Diskrete Mathematik - Informatik 1. Semester 20.01.2017 Prof. Dr. Mathias Schacht 13.01.2017 Diskrete Mathematik - Informatik 1. Semester 13.01.2017 Prof. Dr. Mathias Schacht 12.01.2017 Diskrete Mathematik - Informatik 1. Semester 12.01.2017 Prof. Dr. Mathias Schacht 22.12.2016 Diskrete Mathematik - Informatik 1. Semester 22.12.2016 Prof. Dr. Mathias Schacht 16.12.2016 Diskrete Mathematik - Informatik 1. Semester 16.12.2016 Prof. Dr. Mathias Schacht 15.12.2016 Diskrete Mathematik - Informatik 1. Semester 15.12.2016 Prof. Dr. Mathias Schacht 09.12.2016 Diskrete Mathematik - Informatik 1. Semester 09.12.2016 Prof. Dr. Mathias Schacht 08.12.2016 Diskrete Mathematik - Informatik 1. Semester 08.12.2016 Prof. Dr. Mathias Schacht 02.12.2016 Diskrete Mathematik - Informatik 1. Semester 02.12.2016 Prof. Dr. Mathias Schacht 01.12.2016 Diskrete Mathematik - Informatik 1. Semester 01.12.2016 Prof. Dr. Mathias Schacht 25.11.2016 Diskrete Mathematik - Informatik 1. Semester 25.11.2016 Prof. Dr. Mathias Schacht 18.11.2016 Diskrete Mathematik - Informatik Prof. Dr. Mathias Schacht 17.11.2016 Diskrete Mathematik - Informatik 1. Semester 17.11.2016 Prof. Dr. Mathias Schacht
12 WiSe 16/17 Mathematisch Argumentieren und Beweisen Sebastian Böhne, Prof. Dr. Maria Knobelsdorf Lehrveranstaltung Informatik 13.10.2016 Binärbäume Sebastian Böhne, Prof. Dr. Maria Knobelsdorf 12.10.2016 Natürliche Zahlen Sebastian Böhne, Prof. Dr. Maria Knobelsdorf 11.10.2016 Listen Sebastian Böhne, Prof. Dr. Maria Knobelsdorf 10.10.2016 Nicht-rekursive Datentypen Sebastian Böhne, Prof. Dr. Maria Knobelsdorf 08.10.2016 Theoreme zu Gleichheit, Lambda-Ausdrücke, Suchen Sebastian Böhne, Prof. Dr. Maria Knobelsdorf 07.10.2016 Prädikatenlogik mit Gleichheit in Coq Sebastian Böhne, Prof. Dr. Maria Knobelsdorf 07.10.2016 Prädikatenlogische Regeln mit Gleichheit Sebastian Böhne, Prof. Dr. Maria Knobelsdorf 06.10.2016 Aussagenlogik in Coq Teil 2 und Formalisierung durch Prädikatenlogik Sebastian Böhne, Prof. Dr. Maria Knobelsdorf 06.10.2016 Aussagenlogik in Coq Teil 1 Sebastian Böhne, Prof. Dr. Maria Knobelsdorf 06.10.2016 Aussagenlogische Regeln Teil 2 und Kurzeinführung in Coq Sebastian Böhne, Prof. Dr. Maria Knobelsdorf 06.10.2016 Aussagenlogische Regeln Teil 1 Sebastian Böhne, Prof. Dr. Maria Knobelsdorf 06.10.2016 Mathematisches Argumentieren Sebastian Böhne, Prof. Dr. Maria Knobelsdorf
13 WiSe 15/16 SuMO - Studier- und Medienkompetenz Online Michael Heinecke, M. Pucci, S. Ewing Bölke et al. Lehrveranstaltung MIN-Fakultät 06.09.2016 Freie Formate für offene Lernressourcen Michael Heinecke 06.09.2016 English Strategies - Ideas for dealing with English in your studies M. Pucci, S. Ewing Bölke 07.06.2016 Gut ankommen! Erste Tipps zum Studienstart Christian Kreitschmann 10.12.2015 KickOff-Meeting zur Projektphase - Erstellung von Online-Lerninhalten Christian Kreitschmann 10.12.2015 Gut gerüstet schreiben - Schreibcoaching und LaTeX Christian Kreitschmann, Bettina Niebuhr, Dr. Birte Schelling 10.12.2015 Zeitmanagement im Studium Nadia Blüthmann, Christian Kreitschmann 10.12.2015 Visualisierung mit Sketchnotes Michael Heinecke, Christian Kreitschmann, Ralf Appelt 10.12.2015 KickOff-Meeting SoSe2015 Michael Heinecke, Christian Kreitschmann 10.12.2015 Kursrückblick SoSe14 Christian Kreitschmann 10.12.2015 Studienunterstützende Seminare Christian Kreitschmann, Bettina Niebuhr, Bernd Nixdorff 10.12.2015 Medienkompetenz Christian Kreitschmann, Jan Torge Claussen 10.12.2015 Studierfähigkeit als individuelle und institutionelle Herausforderung Christian Kreitschmann, Konstantin Schultes 10.12.2015 KickOff-Meeting SoSe2014 Michael Heinecke
14 SoSe 16 Softwareentwicklung II - Objektorientierte Programmierung und Modellierung Dr. Guido Gryczan, Fredrik Winkler, Prof. Dr. Matthias Riebisch Lehrveranstaltung Informatik 13.07.2016 14 - Klausurvorbereitung Dr. Guido Gryczan, Fredrik Winkler 11.07.2016 13 - Nachholprogramm equals Fredrik Winkler 29.06.2016 12 - Refactoring Fredrik Winkler, Prof. Dr. Matthias Riebisch 22.06.2016 11 - Fachwerte Fredrik Winkler, Prof. Dr. Matthias Riebisch 15.06.2016 10 - Objektorientierter Entwurf Prof. Dr. Matthias Riebisch 08.06.2016 9 - Programmierung von GUIs Fredrik Winkler, Prof. Dr. Matthias Riebisch 01.06.2016 8 - Entwurfsmuster Dr. Guido Gryczan, Fredrik Winkler 25.05.2016 7 - Entwurfsregeln Fredrik Winkler, Prof. Dr. Matthias Riebisch 11.05.2016 6 - Strukturierung interaktiver Anwendungssysteme Fredrik Winkler, Prof. Dr. Matthias Riebisch 04.05.2016 5 - Fehlerbehandlung Dr. Guido Gryczan, Fredrik Winkler 27.04.2016 4 - Vererbung Dr. Guido Gryczan, Fredrik Winkler 20.04.2016 3 - Polymorphie und Vererbung Dr. Guido Gryczan, Fredrik Winkler, Prof. Dr. Matthias Riebisch 13.04.2016 2 - Formale Korrektheit, Abstrakte Datentypen und Vertragsmodell Dr. Guido Gryczan, Fredrik Winkler, Prof. Dr. Matthias Riebisch 06.04.2016 Softwareentwicklung II - Eröffnungsveranstaltung Dr. Guido Gryczan, Fredrik Winkler, Prof. Dr. Matthias Riebisch
26 SoSe 16 Formale Grundlagen der Informatik I Dr. Frank Heitmann Lehrveranstaltung Informatik 11.07.2016 26 - Zusammenfassung Dr. Frank Heitmann 05.07.2016 25 - NP-Vollständigkeit Teil 2 Dr. Frank Heitmann 04.07.2016 24 - NP-Vollständigkeit Dr. Frank Heitmann 28.06.2016 23 - P un NP Dr. Frank Heitmann 27.06.2016 22 - Zeit- und Platzkomplexität Dr. Frank Heitmann 20.06.2016 21 - Unentscheidbarkeit, Herbrand-Theorie, Resolution Dr. Frank Heitmann 14.06.2016 20 - Prädikatenlogische Normalformen Teil 2 und Prädikatenlogische Resolution Dr. Frank Heitmann 13.06.2016 19 - Prädikatenlogische Normalformen Dr. Frank Heitmann 07.06.2016 18 - Prädikatenlogik Syntax & Semantik Teil 2 Dr. Frank Heitmann 06.06.2016 17 - Prädikatenlogik Syntax & Semantik Dr. Frank Heitmann 31.05.2016 16 - Resolution Dr. Frank Heitmann 30.05.2016 15 - Normalformen und Hornformeln Dr. Frank Heitmann 24.05.2016 14 - Folgerbarkeit, Äquivalenzen und Normalformen Dr. Frank Heitmann 23.05.2016 13 - Aussagenlogik Syntax & Semantik Dr. Frank Heitmann 10.05.2016 12 - Aufzählbarkeit und (Un-)Entscheidbarkeit Teil 2 und Wiederholung der ersten 12 Vorlesungen Dr. Frank Heitmann 09.05.2016 11 - Aufzählbarkeit und (Un-)Entscheidbarkeit Dr. Frank Heitmann 03.05.2016 10 - Turing Maschinen Teil 2 Dr. Frank Heitmann 02.05.2016 9 - Turing Maschinen Dr. Frank Heitmann 26.04.2016 8 - Eigensch. & Grenzen kontexfreier Sprachen Dr. Frank Heitmann 25.04.2016 7 - Kontextfreie Sprachen Dr. Frank Heitmann 19.04.2016 6 - Abschlusseigenschaften & Grenzen regulärer Sprachen Dr. Frank Heitmann 18.04.2016 5 - Abschlusseigenschaften Dr. Frank Heitmann 12.04.2016 4 - DFAs und NFAs Teil 2 Dr. Frank Heitmann 11.04.2016 3 - DFAs und NFAs Dr. Frank Heitmann 05.04.2016 2 - Endl. Automaten und reguläre Sprachen Dr. Frank Heitmann 04.04.2016 1 - Endliche Automaten Dr. Frank Heitmann
10 WiSe 15/16 Softwareentwicklung III - Funktionale Programmierung Prof. Dr. Leonie Dreschler-Fischer Lehrveranstaltung Informatik 29.01.2016 14 - Zusammenfassung Prof. Dr. Leonie Dreschler-Fischer 22.01.2016 13 - Programmieren mit Zuständen, GPS Prof. Dr. Leonie Dreschler-Fischer 15.01.2016 12 - Prolog in Racket, Metaprogrammierung, stromorientierte Programmierung Prof. Dr. Leonie Dreschler-Fischer 08.01.2016 11 - Relationale Programmierung Prof. Dr. Leonie Dreschler-Fischer 18.12.2015 10 - ereignisorientierte Simulationssysteme, objektorientierte Verarbeitungsmodelle Prof. Dr. Leonie Dreschler-Fischer 11.12.2015 9 - Objekte und generische Funktionen Prof. Dr. Leonie Dreschler-Fischer 04.12.2015 8 - Pattern Matching, Eliza, GPS Prof. Dr. Leonie Dreschler-Fischer 27.11.2015 7 - Backtracking Prof. Dr. Leonie Dreschler-Fischer 20.11.2015 6 - Funktionen höherer Ordnung, modularer Entwurf, funktionale Abschlüsse und Graphische Bedienoberflächen Prof. Dr. Leonie Dreschler-Fischer 13.11.2015 5 - Rekursion und Induktion Prof. Dr. Leonie Dreschler-Fischer
14 WiSe 15/16 Softwareentwicklung I Dr. Guido Gryczan, Fredrik Winkler, Prof. Dr. Matthias Riebisch et al. Lehrveranstaltung Informatik 27.01.2016 14 - Zusammenfassung Dr. Guido Gryczan, Fredrik Winkler 20.01.2016 13 - Sammlungen implementieren II: Mengen Dr. Guido Gryczan, Fredrik Winkler 13.01.2016 12 - Dynamische Datenstrukturen Dr. Guido Gryczan, Fredrik Winkler 06.01.2016 11 - Arrays Dr. Guido Gryczan, Fredrik Winkler 16.12.2015 10 - Objektsammlungen Prof. Dr. Matthias Riebisch, Sandra Schröder 09.12.2015 9 - Klassen, Typen, Interfaces Fredrik Winkler, Prof. Dr. Matthias Riebisch 02.12.2015 8 - Rekursion Dr. Guido Gryczan, Fredrik Winkler 25.11.2015 7 - Strukturierte Programmierung Dr. Guido Gryczan, Fredrik Winkler 18.11.2015 6 - Das Typkonzept imperativer und objektorientierter Programmiersprachen Dr. Guido Gryczan, Fredrik Winkler 11.11.2015 5 - Elementare Typen Dr. Guido Gryczan, Fredrik Winkler 04.11.2015 4 - Prozedur/Methode Dr. Guido Gryczan, Fredrik Winkler 28.10.2015 3 - Klassendefinitionen / Exemplarerzeugungen Dr. Guido Gryczan, Fredrik Winkler 21.10.2015 2 - Karel the robot Fredrik Winkler 14.10.2015 1 - Einführung Dr. Guido Gryczan, Fredrik Winkler
13 WiSe 15/16 Algorithmen und Datenstrukturen Dr. Frank Heitmann Lehrveranstaltung Informatik 27.01.2016 13 - Wiederholung Dr. Frank Heitmann 20.01.2016 12 - Zusammenfassung Dr. Frank Heitmann 06.01.2016 11 - Flüsse Dr. Frank Heitmann 16.12.2015 10 - Minimale Spannbäume und kürzeste Pfade (Fortsetzung) Dr. Frank Heitmann 09.12.2015 9 - Minimale Spannbäume und kürzeste Pfade Dr. Frank Heitmann 02.12.2015 8 - Graphen Dr. Frank Heitmann 25.11.2015 7 - Dynamische Mengen, das Suchproblem & Binäre Suchbäume Dr. Frank Heitmann 18.11.2015 6 - Komplexitätstheorie: P, NP und NPC Dr. Frank Heitmann 11.11.2015 5 - Sortieren - (k?) eine untere Schranke Dr. Frank Heitmann 04.11.2015 4 - Neue Datenstrukturen, besseres (?) Sortieren Dr. Frank Heitmann 28.10.2015 3 - Divide & Conquer Dr. Frank Heitmann 21.10.2015 2 - Korrektheit von Algorithmen und Laufzeitanalyse rekursiver Algorithmen (mittels Rekurrenzgleichungen) Dr. Frank Heitmann 14.10.2015 1 - Einführung Dr. Frank Heitmann
13 SoSe 15 Einführung in die Theoretische Physik II Prof. Dr. Martin Eckstein Lehrveranstaltung Physik 10.07.2015 Vorlesung 13 Prof. Dr. Martin Eckstein 02.07.2015 Vorlesung 12 Prof. Dr. Martin Eckstein 01.07.2015 Vorlesung 11 Prof. Dr. Martin Eckstein 01.07.2015 Vorlesung 10 Prof. Dr. Martin Eckstein 24.06.2015 Vorlesung 9 Prof. Dr. Martin Eckstein 24.06.2015 Vorlesung 8 Prof. Dr. Martin Eckstein 17.06.2015 Vorlesung 7 Prof. Dr. Martin Eckstein 12.06.2015 Vorlesung 6 Prof. Dr. Martin Eckstein 10.06.2015 Vorlesung 5 Prof. Dr. Martin Eckstein 10.06.2015 Vorlesung 4 Prof. Dr. Martin Eckstein 03.06.2015 Vorlesung 3 Prof. Dr. Martin Eckstein 19.05.2015 Vorlesung 2 Prof. Dr. Martin Eckstein 12.05.2015 Vorlesung 1 Prof. Dr. Martin Eckstein
14 SoSe 15 Softwareentwicklung II - Objektorientierte Programmierung und Modellierung Dr. Guido Gryczan, Fredrik Winkler Lehrveranstaltung Informatik 10.07.2015 14 - Lehreevaluation Dr. Guido Gryczan, Fredrik Winkler 02.07.2015 13 - Refactoring Dr. Guido Gryczan, Fredrik Winkler 25.06.2015 12 - Werte und Objekte in Programmiersprachen Dr. Guido Gryczan 18.06.2015 11 - Klassenentwurf Dr. Guido Gryczan, Fredrik Winkler 11.06.2015 10 - Programmierung von Graphical User Interfaces (GUI) Dr. Guido Gryczan, Fredrik Winkler 05.06.2015 9 - Entwurfsmuster (Fortsetzung) Fredrik Winkler 21.05.2015 8 - Entwurfmuster Dr. Guido Gryczan 13.05.2015 7 - Reguläre Ausdrücke Fredrik Winkler 07.05.2015 6 - Entwurfsregeln Dr. Guido Gryczan 29.04.2015 5 -Fehlerbehandlung mit Exceptions / Namensräume und Modularisierung Dr. Guido Gryczan, Fredrik Winkler 23.04.2015 4 - Motivation: Wiederverwendung Dr. Guido Gryczan, Fredrik Winkler 16.04.2015 3 - Motivation: Vererbung Dr. Guido Gryczan 08.04.2015 2.1 - Motivation des Vertragsmodells Dr. Guido Gryczan 01.04.2015 1 - Eröffnungsveranstaltung Dr. Guido Gryczan
13 SoSe 15 Physik II (Elektrodynamik & Optik) Prof. Dr. Peter Schleper, Prof. Dr. Caren Hagner Lehrveranstaltung Physik 08.07.2015 Vorlesung 13 Prof. Dr. Peter Schleper 02.07.2015 Vorlesung 12 Prof. Dr. Peter Schleper 01.07.2015 Vorlesung 11 Prof. Dr. Peter Schleper 01.07.2015 Vorlesung 10 Prof. Dr. Peter Schleper 24.06.2015 Vorlesung 9 Prof. Dr. Peter Schleper 24.06.2015 Vorlesung 8 Prof. Dr. Peter Schleper 17.06.2015 Vorlesung 7 Prof. Dr. Peter Schleper 12.06.2015 Vorlesung 6 Prof. Dr. Peter Schleper 10.06.2015 Vorlesung 5 Prof. Dr. Peter Schleper 10.06.2015 Vorlesung 4 Prof. Dr. Peter Schleper 21.05.2015 Vorlesung 3 Prof. Dr. Caren Hagner 19.05.2015 Vorlesung 2 Prof. Dr. Caren Hagner 12.05.2015 Vorlesung 1 Prof. Dr. Caren Hagner
2 SoSe 15 DKRZ introduction course to the HPC system Mistral Cyril Mazauric, Hendryk Bockelmann Lehrveranstaltung KlimaCampus 01.07.2015 Mistral: bull environment Cyril Mazauric 01.07.2015 HLRE-3 (mistral) Introduction Hendryk Bockelmann
23 SoSe 15 FGI 1 Dr. Frank Heitmann Lehrveranstaltung Informatik 06.07.2015 23 - Zusammenfassung Dr. Frank Heitmann 30.06.2015 22 - Äquivalente Normalformen und Prädikatenlogische Resolution Dr. Frank Heitmann 30.06.2015 21 - Prädikatenlogische Normalform Dr. Frank Heitmann 25.06.2015 20 - Prädikatenlogik, Syntax und Semantik Dr. Frank Heitmann 22.06.2015 19 - Resolution Dr. Frank Heitmann 16.06.2015 18 - Ableitungen und Resolution Dr. Frank Heitmann 15.06.2015 17 - Ableitungen Dr. Frank Heitmann 09.06.2015 16 - Normalformen und Hornformeln Dr. Frank Heitmann 08.06.2015 15 - Folgerbarkeit, Äquivalenzen und Normalformen Dr. Frank Heitmann 02.06.2015 14 - Aussagenlogik / Syntax & Semantik Dr. Frank Heitmann 19.05.2015 13 - NP-Vollständigkeit Dr. Frank Heitmann 18.05.2015 12 - Zeit- und Platzkomplexität Dr. Frank Heitmann 12.05.2015 11 - Aufzählbarkeit und (Un-) Entscheidbarkeit (Teil 2) und Wiederholung Dr. Frank Heitmann 11.05.2015 10 - Aufzählbarkeit und (Un-) Entscheidbarkeit Dr. Frank Heitmann 05.05.2015 9 - Turing-Maschinen (Teil 2) Dr. Frank Heitmann 04.05.2015 8 - Turing-Maschinen Dr. Frank Heitmann 28.04.2015 7 - Eigenschaften kontextfreier Sprachen Dr. Frank Heitmann 27.04.2015 6 - Kontextfreie Sprachen Dr. Frank Heitmann 21.04.2015 5. - Über reguläre Sprachen hinaus - Kellerautomaten und Pumping Lemma (Teil 2) Dr. Frank Heitmann 20.04.2015 4 - Über reguläre Sprachen hinaus - Kellerautomaten und Pumping Lemma Dr. Frank Heitmann 14.04.2015 3 - Mehr zu regulären Sprachen Dr. Frank Heitmann 13.04.2015 2 - Endliche Automaten und reguläre Sprachen Dr. Frank Heitmann 07.04.2015 1 - Grundlagen Dr. Frank Heitmann
30 WiSe 14/15 Rechnerstrukturen Dr. Andreas Mäder Lehrveranstaltung Informatik 05.02.2015 29 - Fragestunde (Teil 2) Dr. Andreas Mäder 05.02.2015 28.2 - Fragestunde (Teil 1) Dr. Andreas Mäder 05.02.2015 28.1 - Klausurvorbereitung Dr. Andreas Mäder 30.01.2015 27 - SMP: Symmetric Multiproccessing Dr. Andreas Mäder 23.01.2015 26 - Motivation Dr. Andreas Mäder 23.01.2015 25 - Pipelining Dr. Andreas Mäder 16.01.2015 24 - Array Dr. Andreas Mäder 16.01.2015 23 - Stack Dr. Andreas Mäder 09.01.2015 22 - Assembler Dr. Andreas Mäder 08.01.2015 21 - Adressierungsarten Dr. Andreas Mäder 22.12.2014 20 - Byte-Order Dr. Andreas Mäder 18.12.2014 19 - Busse Dr. Andreas Mäder 15.12.2014 18 - Rechnerarchitektur Dr. Andreas Mäder 11.12.2014 17 - Beschreibung von Schaltwerken Dr. Andreas Mäder 08.12.2014 16 - Mealy-Modell und Moore-Modell/ Flipflops Dr. Andreas Mäder 05.12.2014 15 - Multiplizierer Dr. Andreas Mäder 01.12.2014 14 - Schaltnetze Dr. Andreas Mäder 28.11.2014 13 - Grafische Minimierungsverfahren Dr. Andreas Mäder 24.11.2014 12 - Schaltfuntionen Dr. Andreas Mäder 21.11.2014 11 - Strukturbeschreibung Dr. Andreas Mäder 14.11.2014 10 - Informationsbegriff Dr. Andreas Mäder 14.11.2014 9 - Codierung von Texten Dr. Andreas Mäder 10.11.2014 8 - Rechenregeln: Ring/Algebra Dr. Andreas Mäder 05.11.2014 7 - ISO 8859 Familie Dr. Andreas Mäder 03.11.2014 6 - Addition und Subtraktion Dr. Andreas Mäder 31.10.2014 5 - Gleitkommaformat Dr. Andreas Mäder 24.10.2014 4 - Ziffern und Zahlen Dr. Andreas Mäder 23.10.2014 3 - Moore's Law Dr. Andreas Mäder 20.10.2014 2 - Digitalrechner Dr. Andreas Mäder 16.10.2014 1 - Einführung Dr. Andreas Mäder
13 WiSe 14/15 Softwareentwicklung III - Funktionale Programmierung Prof. Dr. Leonie Dreschler-Fischer Lehrveranstaltung Informatik 30.01.2015 14 - Fallstudien Prof. Dr. Leonie Dreschler-Fischer 23.01.2015 13 - Metaprogrammierung und Programmierstile Prof. Dr. Leonie Dreschler-Fischer 16.01.2015 12 - Relationale Programmierung Prof. Dr. Leonie Dreschler-Fischer 09.01.2015 11 - Ereignisorientierte Simulation Prof. Dr. Leonie Dreschler-Fischer 12.12.2014 9 - Backtracking Prof. Dr. Leonie Dreschler-Fischer 05.12.2014 8 - Funktionale Abschlüsse Prof. Dr. Leonie Dreschler-Fischer 28.11.2014 7 - Der Entwurf von Funktionen Prof. Dr. Leonie Dreschler-Fischer 21.11.2014 6 - Rekursion und Induktion Prof. Dr. Leonie Dreschler-Fischer 07.11.2014 4- Datenabstraktion in Racket Prof. Dr. Leonie Dreschler-Fischer 03.11.2014 3 - Mehrdeutigkeit von Zahlen (Teil 1) Prof. Dr. Leonie Dreschler-Fischer 31.10.2014 3 - Mehrdeutigkeit von Zahlen (Teil 2) Prof. Dr. Leonie Dreschler-Fischer 27.10.2014 2 - Die Arbeitsumgebung Prof. Dr. Leonie Dreschler-Fischer 20.10.2014 1 - Einführung Prof. Dr. Leonie Dreschler-Fischer
14 WiSe 14/15 Softwareentwicklung I Dr. Guido Gryczan, Fredrik Winkler, Prof. Dr. Heinz Züllighoven Lehrveranstaltung Informatik 29.01.2015 14 - Mehr zu Sammlungen Dr. Guido Gryczan, Fredrik Winkler 21.01.2015 13 - Bäume und das Hash-Verfahren als Realisierung für Mengen Dr. Guido Gryczan, Fredrik Winkler 15.01.2015 12 - Testen/Listen Dr. Guido Gryczan, Fredrik Winkler 08.01.2015 11 - Array Dr. Guido Gryczan, Fredrik Winkler 19.12.2014 10 - Objektsammlungen Dr. Guido Gryczan, Fredrik Winkler 11.12.2014 9 - Klassen, Typen und Interfaces Dr. Guido Gryczan, Fredrik Winkler 05.12.2014 8 - Rekursion Dr. Guido Gryczan, Fredrik Winkler 27.11.2014 7 - Strukturierte Programmierung Dr. Guido Gryczan, Fredrik Winkler 19.11.2014 6 - Werttypen/ Referenztypen Dr. Guido Gryczan, Fredrik Winkler 14.11.2014 5 - Zuweisung Dr. Guido Gryczan, Fredrik Winkler 07.11.2014 4 - Imperative Grundkonzepte Fredrik Winkler 29.10.2014 3 - Karel the Robot - Lektion 2 1/2 Dr. Guido Gryczan, Fredrik Winkler 23.10.2014 2 - Robot - Lektion II Fredrik Winkler 15.10.2014 1 - Grundlagen objektorientierter Programmierung: Einführung Fredrik Winkler, Prof. Dr. Heinz Züllighoven
26 WiSe 14/15 Formale Grundlagen der Informatik 2 Dr. Daniel Moldt, Prof. Dr. Rüdiger Valk Lehrveranstaltung Informatik 28.01.2015 26 - Parallele Algorithmen Dr. Daniel Moldt 22.01.2015 25 - Parallele Maschinen Prof. Dr. Rüdiger Valk 21.01.2015 24- Fairness/Parallele Maschinen Prof. Dr. Rüdiger Valk 16.01.2015 23 - Geschützte Rekursion Prof. Dr. Rüdiger Valk 14.01.2015 22 - Parallele Komposition/Rekursion Prof. Dr. Rüdiger Valk 09.01.2015 21 - Prozessalgebra Prof. Dr. Rüdiger Valk 07.01.2015 20 - Prozessalgebra und Bisimulation Prof. Dr. Rüdiger Valk 19.12.2014 19 - Bankiersproblem Dr. Daniel Moldt 17.12.2014 18 - Bankiersproblem/ Renew Dr. Daniel Moldt 12.12.2014 17 - Höhere Petrinetze Dr. Daniel Moldt 10.12.2014 16 - CPN / Workflow Dr. Daniel Moldt 05.12.2014 15 - Systemverifikation durch Petrinetze Dr. Daniel Moldt 03.12.2014 14 - Zustandsraumexplosion Dr. Daniel Moldt 28.11.2014 13 - Analyse endlicher Erreichbarkeitsgraphen Dr. Daniel Moldt 26.11.2014 12 - Entscheidbarkeitsproblem Dr. Daniel Moldt 21.11.2014 11 - Kantenkonstante Netze (KKN) Dr. Daniel Moldt 18.11.2014 10 - Verfeinerung/Vergröberung Dr. Daniel Moldt 14.11.2014 9 - Partial order semantics Dr. Daniel Moldt 12.11.2014 8 - Synchrone Produkte (Wdh.)/ Partial order semantics Dr. Daniel Moldt 07.11.2014 7 - Computational Tree Logic (CTL) Prof. Dr. Rüdiger Valk 31.10.2014 6 - Temporale Logik Prof. Dr. Rüdiger Valk 29.10.2014 5 - Kripkestrukturen von Programmen Prof. Dr. Rüdiger Valk 23.10.2014 4 - Synchrone Produkte Prof. Dr. Rüdiger Valk 21.10.2014 3 - Büchi-Automaten Prof. Dr. Rüdiger Valk 16.10.2014 2 - Model-Checking Prof. Dr. Rüdiger Valk 14.10.2014 1 - Modellierung und Analyse von Informatiksystemen Prof. Dr. Rüdiger Valk
15 SoSe 14 Softwareentwicklung II - Objektorientierte Programmierung und Modellierung Fredrik Winkler, Prof. Dr. Heinz Züllighoven, Dr. Axel Schmolitzky et al. Lehrveranstaltung Informatik 10.07.2014 14 - Funktionalen Stack komplettieren; Lehreevaluation Fredrik Winkler, Prof. Dr. Heinz Züllighoven 03.07.2014 13 - Formale Korrektheit, Abstrakte Datentypen Fredrik Winkler, Prof. Dr. Heinz Züllighoven 26.06.2014 12 - Refactoring Dr. Axel Schmolitzky 19.06.2014 11 - Wert und Objekt Dr. Axel Schmolitzky 05.06.2014 10 - Klassenentwurf Dr. Axel Schmolitzky 30.05.2014 9b - Vorstellung von Livecode Dr. Guido Gryczan, Fredrik Winkler 30.05.2014 9a - Programmierung von GUIs Dr. Guido Gryczan 21.05.2014 8 - Entwurfsmuster Dr. Guido Gryczan 19.05.2014 7 - Strukturierung interaktiver Anwendungssysteme Dr. Guido Gryczan 08.05.2014 6 - Objektorientierte Modellierung - fachlich und technisch Prof. Dr. Heinz Züllighoven 05.05.2014 5 - Fehlerbehandlung mit Exceptions Dr. Axel Schmolitzky 24.04.2014 4 - Implementationsvererbung Dr. Axel Schmolitzky 17.04.2014 3 - Polymorphie und Vererbung Dr. Axel Schmolitzky 09.04.2014 2 - Testing Prof. Dr. Heinz Züllighoven 03.04.2014 1 - Einführung: Abstraktion und Modelle Prof. Dr. Heinz Züllighoven
11 SoSe 14 Physik I (Mechanik und Wärmelehre) Prof. Dr. Florian Grüner, Dr. Paul Andreas Walker Lehrveranstaltung Physik 22.05.2014 Vorlesung 11 Prof. Dr. Florian Grüner 20.05.2014 Vorlesung 10 Prof. Dr. Florian Grüner 15.05.2014 Vorlesung 9 Prof. Dr. Florian Grüner 13.05.2014 Vorlesung 8 Dr. Paul Andreas Walker 08.05.2014 Vorlesung 7 Prof. Dr. Florian Grüner 06.05.2014 Vorlesung 6 Prof. Dr. Florian Grüner 29.04.2014 Vorlesung 5 Prof. Dr. Florian Grüner 23.04.2014 Vorlesung 4 Prof. Dr. Florian Grüner 15.04.2014 Vorlesung 3 Prof. Dr. Florian Grüner 14.04.2014 Vorlesung 2 Prof. Dr. Florian Grüner 08.04.2014 Vorlesung 1 Prof. Dr. Florian Grüner
12 SoSe 14 Formale Grundlagen der Informatik I Dr. Frank Heitmann Lehrveranstaltung Informatik 13.05.2014 12 - NP-Vollständigkeit (2) Dr. Frank Heitmann 12.05.2014 11 - NP-Vollständigkeit Dr. Frank Heitmann 06.05.2014 10 - Zeit- und Platzkomplexität Dr. Frank Heitmann 05.05.2014 9 - Entscheidbarkeit und Aufzählbarkeit Dr. Frank Heitmann 29.04.2014 8 - Turing-Maschinen (2) Dr. Frank Heitmann 28.04.2014 7 - Turing-Maschinen Dr. Frank Heitmann 22.04.2014 6 - Eigenschaften kontextfreier Sprachen Dr. Frank Heitmann 15.04.2014 5 - Kellerautomaten und Pumping Lemma Dr. Frank Heitmann 14.04.2014 4 - Über reguläre Sprachen hinaus Dr. Frank Heitmann 08.04.2014 3 - Mehr zu regulären Sprachen Dr. Frank Heitmann 07.04.2014 2 - Endliche Automaten und reguläre Sprachen Dr. Frank Heitmann 01.04.2014 1 - Endliche Automaten Dr. Frank Heitmann
17 WiSe 09/10 Kunterbuntes Seminar Henning Pridöhl, Fachschaft Informatik, Julian Fietkau et al. Lehrveranstaltung Informatik 09.05.2014 [KBS-SoSe14] Angriffe auf kryptografische Systeme Henning Pridöhl 26.01.2012 [KBS] Lightning Talks 2 Fachschaft Informatik 12.01.2012 [KBS] OpenAccess und Web-Publishing für Studierende Julian Fietkau 08.12.2011 [KBS] CryptoCampagne 2011 Thomas Funke 01.12.2011 [KBS] Lightning Talks WiSe 2011/12 Fachschaft Informatik 24.11.2011 [KBS] Ernährung und Kochen für Erstsemester Lino Helms 17.11.2011 [KBS] Python im Wunderland - the beauty of code Justus Winter 05.07.2011 [KBS] Social Payment: Flattr and Bitcoin Tim Krämer 24.05.2011 [KBS] Source Control Lino Helms 09.12.2010 [KBS] CryptoCampagne 2010 Justus Winter, Jan Girlich 02.12.2010 [KBS] Lightning Talks 2010 Henning Pridöhl, Julian Fietkau, Jan Girlich et al. 25.11.2010 [KBS] IPv6 Timme Katz 11.11.2010 [KBS] Was ist eigentlich LaTeX? Julian Fietkau 04.11.2010 [KBS] Ubuntu-Installationsparty Jan Girlich, André Stannek 28.10.2010 [KBS] Workshop Rechnerbenutzung Dennis Keitzel 21.10.2010 [KBS] Leben in und mit der Uni Jan Girlich, Senad Licina, Marius Stuebs 28.01.2010 Getting Things Done: Selbstorganisation Jan Girlich
14 WiSe 13/14 Softwareentwicklung III - Funktionale Programmierung Prof. Dr. Leonie Dreschler-Fischer Lehrveranstaltung Informatik 31.01.2014 14 - Programmieren mit Zuständen Prof. Dr. Leonie Dreschler-Fischer 24.01.2014 13 - Memoization, CLOS Anwendungen Prof. Dr. Leonie Dreschler-Fischer 17.01.2014 11 - Metaprogrammierung ( nur Sprecher, keine Folien) Prof. Dr. Leonie Dreschler-Fischer 17.01.2014 12 - Relationale Programmierung Prof. Dr. Leonie Dreschler-Fischer 20.12.2013 10 - Musterabgleich; Objekte und generische Funktionen Prof. Dr. Leonie Dreschler-Fischer 18.12.2013 9 - Der Suchraum Prof. Dr. Leonie Dreschler-Fischer 09.12.2013 8 - Callback functions Prof. Dr. Leonie Dreschler-Fischer 29.11.2013 7 - Funktionen höherer Ordnung Prof. Dr. Leonie Dreschler-Fischer 22.11.2013 6 - Rekursion und Induktion Prof. Dr. Leonie Dreschler-Fischer 15.11.2013 5 - Semantik und Korrektheit Prof. Dr. Leonie Dreschler-Fischer 08.11.2013 4 - Rekursive Konstruktion und Selektion Prof. Dr. Leonie Dreschler-Fischer 01.11.2013 3 - Zeichen und Symbole Prof. Dr. Leonie Dreschler-Fischer 24.10.2013 2 - Funktionale Abstraktion Prof. Dr. Leonie Dreschler-Fischer 18.10.2013 1- Einführung Prof. Dr. Leonie Dreschler-Fischer
13 WiSe 13/14 Softwareentwicklung III: Logikprogrammierung Prof. Dr.-Ing. Wolfgang Menzel Lehrveranstaltung Informatik 31.01.2014 14 - Differenzlisten Prof. Dr.-Ing. Wolfgang Menzel 24.01.2014 13 - Funktionen höherer Ordnung Prof. Dr.-Ing. Wolfgang Menzel 17.01.2014 11 - Prädikate höherer Ordnung, Funktionale Programmierung ( Nur Sprecher, keine Folien) Prof. Dr.-Ing. Wolfgang Menzel 17.01.2014 12 - Funktionen Prof. Dr.-Ing. Wolfgang Menzel 20.12.2013 10 - Extra- und Metalogische Prädikate; Prädikate höherer Ordnung Prof. Dr.-Ing. Wolfgang Menzel 18.12.2013 9 - Sortieren Prof. Dr.-Ing. Wolfgang Menzel 29.11.2013 7 - Verkettete Listen Prof. Dr.-Ing. Wolfgang Menzel 22.11.2013 6 - Rekursive Datenstrukturen und verkettete Listen Prof. Dr.-Ing. Wolfgang Menzel 15.11.2013 5 - Rekursive Datenstrukturen Prof. Dr.-Ing. Wolfgang Menzel 08.11.2013 4 - Rekursive Datenstrukturen Prof. Dr.-Ing. Wolfgang Menzel 01.11.2013 3 - Deduktive Datenbanken Prof. Dr.-Ing. Wolfgang Menzel 24.10.2013 2 - Relationale Datenbanken Prof. Dr.-Ing. Wolfgang Menzel 18.10.2013 1- Einführung Prof. Dr.-Ing. Wolfgang Menzel
14 WiSe 13/14 Wissensbasierte Systeme Prof. Dr.-Ing. Wolfgang Menzel, Arne Köhn, Matthias Kerzel Lehrveranstaltung Informatik 28.01.2014 27 - Beispiele ausdrucksstarker Planung Prof. Dr.-Ing. Wolfgang Menzel 21.01.2014 25 - Challenges of building ontologies Prof. Dr.-Ing. Wolfgang Menzel 14.01.2014 23 - Individuals and Relations Prof. Dr.-Ing. Wolfgang Menzel 07.01.2014 21 - Markov Decision Process Prof. Dr.-Ing. Wolfgang Menzel 17.12.2013 19 - Decision Networking Prof. Dr.-Ing. Wolfgang Menzel 10.12.2013 17 - Hidden Markov Models Arne Köhn 03.12.2013 15 - The Bayesian Network Prof. Dr.-Ing. Wolfgang Menzel 26.11.2013 13 - Possible World Semantics Prof. Dr.-Ing. Wolfgang Menzel 19.11.2013 11 - Complete knowledge assumption (Nur Sprecher, keine Folien) Matthias Kerzel 12.11.2013 9 - Human's view of semantics Prof. Dr.-Ing. Wolfgang Menzel 05.11.2013 7 - Searching (Artificial Intelligence) Prof. Dr.-Ing. Wolfgang Menzel 29.10.2013 5 - Search Strategies (Artificial Intelligence) Prof. Dr.-Ing. Wolfgang Menzel 22.10.2013 3 - Searching (Artificial Intelligence) Prof. Dr.-Ing. Wolfgang Menzel 15.10.2013 1 - Intellectual tasks (Artificial Intelligence) Prof. Dr.-Ing. Wolfgang Menzel
26 WiSe 13/14 Algorithmik Prof. Dr. Matthias Rarey, Matthias Hilbig Lehrveranstaltung Informatik 29.01.2014 27 - Berechnung kleinster Kreise Prof. Dr. Matthias Rarey 27.01.2014 26 - Voronoi-Diagramme Prof. Dr. Matthias Rarey 22.01.2014 25 - Bestimmung dichtester Punkte; Geometrische Datenstrukturen Prof. Dr. Matthias Rarey 20.01.2014 24 - Simplexalgorithmus Prof. Dr. Matthias Rarey 15.01.2014 23 - Das Scan-line-Prinzip; Berechnung Kovexer Hüllen Matthias Hilbig 08.01.2014 21 - Lineare Gleichungssyteme und ihre Programmierung Prof. Dr. Matthias Rarey 06.01.2014 20 - Matrixmultiplikation Prof. Dr. Matthias Rarey 18.12.2013 19 - Treaps; Matrizen Prof. Dr. Matthias Rarey 16.12.2013 18 - Fibonacci-Heaps Prof. Dr. Matthias Rarey 11.12.2013 17 - Heaps Prof. Dr. Matthias Rarey 09.12.2013 16 - Splay Trees Prof. Dr. Matthias Rarey 04.12.2013 15 - Maximales Matching in gewichteten Graphen Prof. Dr. Matthias Rarey 02.12.2013 14 - Die Ungarische Methode Prof. Dr. Matthias Rarey 27.11.2013 13 - Matching-Algorithmen Prof. Dr. Matthias Rarey 25.11.2013 12 - Push-Relabel-Algorithmen Prof. Dr. Matthias Rarey 20.11.2013 11 - Der Dinic Algorithmus Prof. Dr. Matthias Rarey 18.11.2013 10 - Algorithmen in Flussnetzwerken Prof. Dr. Matthias Rarey 13.11.2013 9 - Floyd Warshall & Johnson Algorithmus, Maximale Flüsse Prof. Dr. Matthias Rarey 06.11.2013 8 - Breitensuche, Dijkstras Algorithmus Prof. Dr. Matthias Rarey 04.11.2013 7 - Tiefensuche, Breitensuche Prof. Dr. Matthias Rarey 30.10.2013 6 - Bi- und Tri-Zusammenhangskomponenten, Planarität, DAGs, SCCs Prof. Dr. Matthias Rarey 28.10.2013 05 - Tiefensuche Prof. Dr. Matthias Rarey 23.10.2013 04 - Dynamische Arrays; Graphen im Überblick; Strukturanalyse von Graphen Prof. Dr. Matthias Rarey 21.10.2013 3 - Amortisierte Analyse Prof. Dr. Matthias Rarey 16.10.2013 2 - Rekursive Algorithmen; Probabilistische Analyse Prof. Dr. Matthias Rarey 14.10.2013 1 - Einführung Prof. Dr. Matthias Rarey
27 WiSe 13/14 Formale Grundlagen der Informatik II Prof. Dr. Rüdiger Valk, Dr. Daniel Moldt Lehrveranstaltung Informatik 28.01.2014 27 - PRAM Prof. Dr. Rüdiger Valk 23.01.2014 26 - Parallele Maschinen Prof. Dr. Rüdiger Valk 21.01.2014 25 - Abstraktion Prof. Dr. Rüdiger Valk 16.01.2014 24 - Rekursion Prof. Dr. Rüdiger Valk 14.01.2014 23 - ACP-Axiome Prof. Dr. Rüdiger Valk 09.01.2014 22 - Prozessalgebra Prof. Dr. Rüdiger Valk 07.01.2014 21 - Prozessalgebra Prof. Dr. Rüdiger Valk 19.12.2013 20 - Datenbank - Manager; Alternierprotokoll Dr. Daniel Moldt 17.12.2013 19 - Renew (Wdh.); Bankiersproblem Dr. Daniel Moldt 12.12.2013 18 - Renew; Workflow Dr. Daniel Moldt 10.12.2013 17 - Strukturelle Eigenschaftem von Systemverifikationen Dr. Daniel Moldt 05.12.2013 16 - Strukturelle Eigenschaften: Netzinvarianten, Fallen Dr. Daniel Moldt 03.12.2013 15 - Fairness; Zustandsraumexplosion Dr. Daniel Moldt 28.11.2013 14 - Entscheidbarkeitsproblem Dr. Daniel Moldt 26.11.2013 13 - Elementare Systemeigenschaften von P/T - Netzen (Wdh.) Dr. Daniel Moldt 21.11.2013 12 - Elementare Systemeigenschaften von P/T-Netzen Dr. Daniel Moldt 19.11.2013 11 - Verfeinerung / Vergrößerung Dr. Daniel Moldt 14.11.2013 10 - Partial order semantics / Petrinetze Dr. Daniel Moldt 12.11.2013 9 - Synchrone Produkte Dr. Daniel Moldt 07.11.2013 8 - Komplexität: CTL-Model-Checking Prof. Dr. Rüdiger Valk 05.11.2013 7 - Fairness Prof. Dr. Rüdiger Valk 31.10.2013 6- Linearzeit-Logik (LTL,CTL) Prof. Dr. Rüdiger Valk 29.10.2013 5 - Sequentielle Programme Prof. Dr. Rüdiger Valk 24.10.2013 4 - Synchrone Produkte: Kripkestrukturen; Wechselseitiger Ausschluss Prof. Dr. Rüdiger Valk 22.10.2013 3 - Büchi Automaten Prof. Dr. Rüdiger Valk 17.10.2013 2 - Büchi Automaten; Transitionssysteme Prof. Dr. Rüdiger Valk 15.10.2013 1 - Model Checking Prof. Dr. Rüdiger Valk
14 WiSe 13/14 Softwareentwicklung I Dr. Axel Schmolitzky Lehrveranstaltung Informatik 29.01.2014 14 - Graphen; Epilog Dr. Axel Schmolitzky 22.01.2014 13 - Stack und Queue; Sortieren Dr. Axel Schmolitzky 15.01.2014 12 - Sammlungen implementieren: Hashing Dr. Axel Schmolitzky 08.01.2014 11 - Sammlungen implementieren: verkettete und Array-Listen Dr. Axel Schmolitzky 18.12.2013 10 - Arrays; Klassen als Objekte Dr. Axel Schmolitzky 11.12.2013 9 - Sammlungen benutzen: Mengen, Listen u.a. Dr. Axel Schmolitzky 04.12.2013 8 - Schnittstellen mit Interfaces; Systematisches Testen Dr. Axel Schmolitzky 27.11.2013 7 - Kontrollstrukturen: Rekursion; Reguläre Ausdrücke Dr. Axel Schmolitzky 20.11.2013 6 - Kontrollstrukturen: Schleifen; Strings Dr. Axel Schmolitzky 13.11.2013 5 - Referenzen in Java; Einstieg in die UML Dr. Axel Schmolitzky 06.11.2013 4 - Imperative Grundkonzepte: Variablen, Ausdrücke, Basistypen Dr. Axel Schmolitzky 30.10.2013 3 - Imperative Grundkonzepte: Prozeduren, Syntax Dr. Axel Schmolitzky 23.10.2013 2 - Grundkonzepte der Objektorientierten Programmierung Dr. Axel Schmolitzky 16.10.2013 1 - Einführung in die Objektorientierte Programmierung Dr. Axel Schmolitzky
13 SoSe 13 Softwareentwicklung II Dr. Axel Schmolitzky, Dr. Guido Gryczan, Prof. Dr. Heinz Züllighoven Lehrveranstaltung Informatik 10.07.2013 13 - Metamodell, Rückblick auf Laborphase 2, Lehreevaluation Dr. Axel Schmolitzky 03.07.2013 12 - Refactoring, Korrektheit, abstrakte Datentypen Dr. Axel Schmolitzky 24.06.2013 11 - Werte und Objekte, Fachwerte Dr. Axel Schmolitzky 19.06.2013 10 - Objektorientierter Entwurf Dr. Axel Schmolitzky 12.06.2013 9 - GUI-Programmierung Dr. Axel Schmolitzky 05.06.2013 8 - Entwurfsmuster insb. Beobachter Dr. Guido Gryczan 29.05.2013 7 - Strukturierung von Anwendungssystemen (WAM light) Dr. Axel Schmolitzky 15.05.2013 6 - OO Analyse und Modellierung (WAM) Prof. Dr. Heinz Züllighoven 08.05.2013 5 - Fehlerbehandlung, Exceptions; Module (Pakete) Dr. Axel Schmolitzky 17.04.2013 3 - Polymorphie und Typhierarchien Dr. Axel Schmolitzky 10.04.2013 2 - Objektorientierte Tests, Vertragsmodell Dr. Axel Schmolitzky 03.04.2013 1 - Einführung, Modellierung & Abstraktion Dr. Axel Schmolitzky 25.04.2012 4 - Implementationsvererbung (Die Vorlesung konnte aufgrund technischer Probleme nicht aufgezeichnet werden. Hier finden Sie das Video vom letzten Jahr.) Dr. Axel Schmolitzky
12 SoSe 13 Metamaterialien Jens Ehlermann, Hoan Vu, Dr. Stefan Mendach et al. Lehrveranstaltung Physik 26.06.2013 Nahfeldmikroskopie und Interferometrie Jens Ehlermann 19.06.2013 Aufgerollte Metamaterialien Hoan Vu 12.06.2013 Optische Quantensysteme Dr. Stefan Mendach 05.06.2013 Optische Untersuchungsmethoden von Metamaterialien Jens Ehlermann 05.06.2013 Modelle für effektive Medien Dr. Andreas Rottler 29.05.2013 Metamaterials IV Dr. Andreas Rottler 15.05.2013 Transformation Optics Dr. Andreas Rottler 08.05.2013 Metamaterials III Dr. Andreas Rottler 17.04.2013 Metamaterials I Dr. Stefan Mendach 10.04.2013 Nanoplasmonics II Hoan Vu 03.04.2013 Nanoplasmonics I - Experiment Dr. Stefan Mendach 03.04.2013 Nanoplasmonics I Dr. Stefan Mendach
6 SoSe 13 Visuelle Gestaltung I - SoSe13 Jutta Werz, Michael Heinecke Lehrveranstaltung Informatik 26.06.2013 Marken und Kommunikation Jutta Werz 05.05.2013 Farbkontraste und Farbklänge - Visuelle Gestaltung I - SoSe13 Michael Heinecke 03.05.2013 Farbwirkung - Visuelle Gestaltung I - SoSe13 Michael Heinecke 23.04.2013 Farbmodelle Michael Heinecke 18.04.2013 Illustrator Workshop Michael Heinecke 28.03.2013 Visuelle Gestaltung I - SoSe13 Michael Heinecke
31 WiSe 12/13 Interactive Visual Computing Prof. Dr. Leonie Dreschler-Fischer, Dr. Werner Hansmann Lehrveranstaltung Informatik 27.01.2013 30 - Stereoskopie Prof. Dr. Leonie Dreschler-Fischer 21.01.2013 28 - Gesichtsanimation Dr. Werner Hansmann 16.01.2013 27 - Photometrische Szenenrekonstruktion Prof. Dr. Leonie Dreschler-Fischer 14.01.2013 26 - Bewegungserfassung, Kinematik, Bewegungsanpassung, Fort-Bewegung, prozedurale Animation, virtuelle Menschen Dr. Werner Hansmann 09.01.2013 25 - Geometrische Szenenrekonstruktion, Photometrische Szenenrekonstruktion, das Generalitätsprinzip Prof. Dr. Leonie Dreschler-Fischer 07.01.2013 24 - Anwendung von VR-Systemen, Computergestützte Animation Dr. Werner Hansmann 19.12.2012 23 - Filter, Rauschen, Metriken Prof. Dr. Leonie Dreschler-Fischer 17.12.2012 22 - Real Time Interactive Media Dr. Werner Hansmann 12.12.2012 21a - Auflösung eines Bildes, Abtasttheorem, 2D-Fouriertransformation Prof. Dr. Leonie Dreschler-Fischer 12.12.2012 21 - Auflösung eines Bildes, Abtasttheorem, 2D-Fouriertransformation Prof. Dr. Leonie Dreschler-Fischer 10.12.2012 20 - Strahlverfolgung, Strahlungsberechnung, Nicht-Fotorealistische Computergrafik Dr. Werner Hansmann 05.12.2012 19 - Digitale Bildfunktionen, Repräsentation von Bildern Prof. Dr. Leonie Dreschler-Fischer 03.12.2012 18 - Photometrisches Modellieren Dr. Werner Hansmann 28.11.2012 17 - Fraktale, Bilder und Bildfunktionen Prof. Dr. Leonie Dreschler-Fischer 28.11.2012 16 - Zwischenpräsentation der Übungsaufgaben Teil 3 Prof. Dr. Leonie Dreschler-Fischer 26.11.2012 15 - Zwischenpräsentation der Übungsaufgaben Teil 2 Prof. Dr. Leonie Dreschler-Fischer 26.11.2012 14 - Grafische Algorithmen, Photometrisches Modellieren Dr. Werner Hansmann 26.11.2012 13 - Zwischenpräsentation der Übungsaufgaben Teil 1 Prof. Dr. Leonie Dreschler-Fischer 21.11.2012 12 - Farbsysteme Prof. Dr. Leonie Dreschler-Fischer 19.11.2012 11 - Beschreibung der Topologie, Grafische Algorithmen Dr. Werner Hansmann 14.11.2012 10 - Umgebungseffekte, Farbmodelle Prof. Dr. Leonie Dreschler-Fischer 12.11.2012 9 - Beschreibung der Topologie Dr. Werner Hansmann 05.11.2012 7 - Beschreibung der Geometrie, Beschreibung der Topologie Dr. Werner Hansmann 05.11.2012 8 - Das Licht: Elektromagnetische Strahlung, Licht und Oberflächen, Umgebungseffekte Prof. Dr. Leonie Dreschler-Fischer 31.10.2012 6 - Illusionen, Virtuelle und reale Kameras, Höherdimensionale Räume Prof. Dr. Leonie Dreschler-Fischer 29.10.2012 5 - Geometrisches Modellieren Dr. Werner Hansmann 24.10.2012 4 - Geometrische Grundlagen: Abbildung des Raumes Prof. Dr. Leonie Dreschler-Fischer 22.10.2012 3b - 3D Transformationen Dr. Werner Hansmann 22.10.2012 3a - 3D Transformationen Prof. Dr. Leonie Dreschler-Fischer 15.10.2012 1 - Koordinatentransformation Prof. Dr. Leonie Dreschler-Fischer 15.10.2012 2 - Koordinatentransformation Prof. Dr. Leonie Dreschler-Fischer
21 WiSe 12/13 Algorithmen und Datenstrukturen Prof. Dr. Matthias Rarey Lehrveranstaltung Informatik 01.02.2013 20 - Tutorium Prof. Dr. Matthias Rarey 25.01.2013 19 - Exakte Verfahren Prof. Dr. Matthias Rarey 23.01.2013 18 - Lösen schwerer Probleme Prof. Dr. Matthias Rarey 16.01.2013 17 - NP-Vollständigkeit Prof. Dr. Matthias Rarey 11.01.2013 16 - Matrix-Kettenmultiplikation Prof. Dr. Matthias Rarey 09.01.2013 15 - Dijkstras Algorithmus Prof. Dr. Matthias Rarey 19.12.2012 14 - Minimale Spannbäume Prof. Dr. Matthias Rarey 14.12.2012 13 - Minimale Spannbäume Prof. Dr. Matthias Rarey 12.12.2012 12 - Tiefensuche Prof. Dr. Matthias Rarey 05.12.2012 11 - Breitensuche Prof. Dr. Matthias Rarey 30.11.2012 10 - Offene Adressierung Prof. Dr. Matthias Rarey 28.11.2012 9 - Hashing Prof. Dr. Matthias Rarey 21.11.2012 8 - Suchbäume Prof. Dr. Matthias Rarey 14.11.2012 7 - SELECT-Algorithmus Prof. Dr. Matthias Rarey 07.11.2012 6 - Counting-, Radix- und Bucketsort Prof. Dr. Matthias Rarey 02.11.2012 5 - Der Heap (Teil 2) Prof. Dr. Matthias Rarey 02.11.2012 5 - Der Heap (Teil 1) Prof. Dr. Matthias Rarey 31.10.2012 4 - Sortieren Prof. Dr. Matthias Rarey 24.10.2012 3 - Elementare Datenstrukturen Prof. Dr. Matthias Rarey 19.10.2012 2 - O-Notation, Laufzeitanalysen Prof. Dr. Matthias Rarey 17.10.2012 1 - Algorithmen und deren Komplexität Prof. Dr. Matthias Rarey
14 WiSe 12/13 Softwareentwicklung III Prof. Dr.-Ing. Wolfgang Menzel Lehrveranstaltung Informatik 01.02.2013 14 - Logikprogrammierung: Aktive Datenstrukturen Prof. Dr.-Ing. Wolfgang Menzel 25.01.2013 13 - Logikprogrammierung: Aktive Datenstrukturen Teil 2 Prof. Dr.-Ing. Wolfgang Menzel 25.01.2013 13 - Logikprogrammierung: Aktive Datenstrukturen Teil 1 Prof. Dr.-Ing. Wolfgang Menzel 18.01.2013 12 - Funktionale Programmierung Prof. Dr.-Ing. Wolfgang Menzel 11.01.2013 11 - Funktionale Programmierung Prof. Dr.-Ing. Wolfgang Menzel 21.12.2012 10 - Prädikate höhere Ordnung Prof. Dr.-Ing. Wolfgang Menzel 14.12.2012 9 - Extra- und Metalogische Prädikate Prof. Dr.-Ing. Wolfgang Menzel 07.12.2012 8 - Verkettete Listen Prof. Dr.-Ing. Wolfgang Menzel 30.11.2012 7 - Logikprogrammierung Prof. Dr.-Ing. Wolfgang Menzel 23.11.2012 6 - Rekursive Datenstrukturen Prof. Dr.-Ing. Wolfgang Menzel 16.11.2012 5 - Rekursive Datenstrukturen Prof. Dr.-Ing. Wolfgang Menzel 09.11.2012 4 - Rekursive Datenstrukturen Prof. Dr.-Ing. Wolfgang Menzel 02.11.2012 3 - Deduktive Datenbanken Prof. Dr.-Ing. Wolfgang Menzel 26.10.2012 2 - Relationale Datenbanken Prof. Dr.-Ing. Wolfgang Menzel
14 WiSe 12/13 Softwareentwicklung I Dr. Axel Schmolitzky Lehrveranstaltung Informatik 30.01.2013 14 - Graphen Dr. Axel Schmolitzky 23.01.2013 13 - Stacks, Queues. Sortieren Dr. Axel Schmolitzky 16.01.2013 12 - Mengenimplementierung (Das Ersatzvideo finden Sie unter http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/11843) Dr. Axel Schmolitzky 09.01.2013 11 - Listen implementieren Dr. Axel Schmolitzky 19.12.2012 10 - Arrays Dr. Axel Schmolitzky 12.12.2012 9 - Sammlungen Dr. Axel Schmolitzky 05.12.2012 8 - Interfaces, Testen Dr. Axel Schmolitzky 28.11.2012 7 - Rekursion, Strings Dr. Axel Schmolitzky 21.11.2012 6 - Kontrollstrukturen, Schleifen Dr. Axel Schmolitzky 14.11.2012 5 - Referenzen, UML Dr. Axel Schmolitzky 07.11.2012 4 - Zuweisungen, Ausdrücke, Basistypen Dr. Axel Schmolitzky 31.10.2012 3 - Prozedur, Syntax Dr. Axel Schmolitzky 24.10.2012 2 - Grundlagen der Objektorientierung Dr. Axel Schmolitzky 17.10.2012 1 - Einführung Dr. Axel Schmolitzky
25 WiSe 12/13 Rechnerstrukturen Dr. Andreas Mäder Lehrveranstaltung Informatik 25.01.2013 26 - Computerarchitektur - Pipelining Dr. Andreas Mäder 18.01.2013 24 - Assemblerprogrammierung Dr. Andreas Mäder 16.01.2013 23 - Instruction Set Architecture Dr. Andreas Mäder 11.01.2013 22 - Befehlssatz Dr. Andreas Mäder 09.01.2013 21 - Rechnerarchitektur Dr. Andreas Mäder 21.12.2012 20 - Speicherbausteine Dr. Andreas Mäder 19.12.2012 19 - Schaltwerke Dr. Andreas Mäder 14.12.2012 18 - Schaltwerke (Fortsetzung) Dr. Andreas Mäder 12.12.2012 17 - Schaltwerke Dr. Andreas Mäder 07.12.2012 16 - Schaltnetze (Fortsetzung) Dr. Andreas Mäder 05.12.2012 15 - Schaltnetze Dr. Andreas Mäder 30.11.2012 14 - Schaltnetze Dr. Andreas Mäder 28.11.2012 13 - Schaltfunktionen Dr. Andreas Mäder 23.11.2012 12 - Schaltfunktionen Dr. Andreas Mäder 21.11.2012 11 - Codierung - Kanalcodierung Dr. Andreas Mäder 16.11.2012 10 - Codierung Dr. Andreas Mäder 14.11.2012 9 - Logische Operationen - Speicher Organisation Dr. Andreas Mäder 09.11.2012 8 - Logische Operatoren Dr. Andreas Mäder 07.11.2012 7 - Zeichen und Text Dr. Andreas Mäder 03.11.2012 6 - Arithmetik Dr. Andreas Mäder 31.10.2012 5 - Gleitkomma und IEEE 754 Dr. Andreas Mäder 26.10.2012 4 - Ziffern und Zahlen Dr. Andreas Mäder 24.10.2012 3 - Moore's law Dr. Andreas Mäder 19.10.2012 2 - Digitalrechner Dr. Andreas Mäder 17.10.2012 1 - Einführung Dr. Andreas Mäder
25 WiSe 12/13 Physik und Anwendungen von Laser-Plasma-Beschleunigern: Von medizinischer Bildgebung bis Hochenergiephysik Prof. Dr. Florian Grüner Lehrveranstaltung Physik 21.01.2013 Vorlesung 25 Prof. Dr. Florian Grüner 21.01.2013 Vorlesung 24 Prof. Dr. Florian Grüner 14.01.2013 Vorlesung 23 Prof. Dr. Florian Grüner 14.01.2013 Vorlesung 22 Prof. Dr. Florian Grüner 07.01.2013 Vorlesung 21 Prof. Dr. Florian Grüner 17.12.2012 Vorlesung 20 Prof. Dr. Florian Grüner 17.12.2012 Vorlesung 19 Prof. Dr. Florian Grüner 12.12.2012 Vorlesung 18 Prof. Dr. Florian Grüner 10.12.2012 Vorlesung 17 Prof. Dr. Florian Grüner 10.12.2012 Vorlesung 16 Prof. Dr. Florian Grüner 05.12.2012 Vorlesung 15 Prof. Dr. Florian Grüner 03.12.2012 Vorlesung 14 Prof. Dr. Florian Grüner 03.12.2012 Vorlesung 13 Prof. Dr. Florian Grüner 28.11.2012 Vorlesung 12 Prof. Dr. Florian Grüner 26.11.2012 Vorlesung 11 Prof. Dr. Florian Grüner 26.11.2012 Vorlesung 10 Prof. Dr. Florian Grüner 21.11.2012 Vorlesung 9 Prof. Dr. Florian Grüner 19.11.2012 Vorlesung 8 Prof. Dr. Florian Grüner 19.11.2012 Vorlesung 7 Prof. Dr. Florian Grüner 14.11.2012 Vorlesung 6 Prof. Dr. Florian Grüner 12.11.2012 Vorlesung 4 Prof. Dr. Florian Grüner 12.11.2012 Vorlesung 5 Prof. Dr. Florian Grüner 31.10.2012 Vorlesung 3 Prof. Dr. Florian Grüner 22.10.2012 Vorlesung 2 Prof. Dr. Florian Grüner 20.10.2012 Vorlesung 1 Prof. Dr. Florian Grüner
5 WiSe 12/13 Visuelle Gestaltung II Michael Heinecke, Jutta Werz Lehrveranstaltung Informatik 08.01.2013 Responsive Design Michael Heinecke, Jutta Werz 08.01.2013 Interface Design Michael Heinecke, Jutta Werz 23.10.2012 Visuelle Gestaltung II - Corporate Identity Michael Heinecke, Jutta Werz 16.10.2012 Einführungssitzung - Organisatorisches, ePortfolio Michael Heinecke, Jutta Werz 09.10.2012 Visuelle Gestaltung II - Begrüßung und Organisation Michael Heinecke, Jutta Werz
2 WiSe 12/13 Formale Grundlagen der Informatik II Prof. Dr. Rüdiger Valk Lehrveranstaltung Informatik 06.11.2012 3 - Model Checking Prof. Dr. Rüdiger Valk 01.11.2012 2 - CTL und LTL Formeln Prof. Dr. Rüdiger Valk
1 SoSe 08 Seereisen des IHF N. N. Lehrveranstaltung Biologie 13.07.2012 Seereisen des IHF N. N.
9 SoSe 12 E-Learning praktisch: Die Erkundung von Orten und Nicht-Orten Cosmia Berger, Fabian Wallasch, Marvin Ambrosi et al. Lehrveranstaltung Geowissenschaften 22.06.2012 Berger/Wallasch: Nicht-Ort: Schrebergartenruine am S-Bahnhof Mittlerer Landweg Cosmia Berger, Fabian Wallasch 22.06.2012 Die Erkundung von Orten und Nicht-Orten: Alter Altonaer Bahnhof Marvin Ambrosi, Michael Heppner 22.06.2012 Die Erkundung von Orten und Nicht-Orten: Öffentlicher Tiefbunker am Berlinertordamm - Vom Ort zum Nicht-Ort Kim David Amon, Thomas Kotte 22.06.2012 E-Learning praktisch: Die Erkundung von Orten und Nicht-Orten: Ein Vorwort Dr. Nils Franke 22.06.2012 Die Erkundung von Orten und Nicht-Orten: Diebsteich - Zugänge zum S-Bahnhof Diebsteich Frieder Beckmann, Franziska Palme 22.06.2012 Die Erkundung von Orten und Nicht-Orten: U2 - Rolltreppe am Jungferstieg Vera Glatzer, Lisa Steen 22.06.2012 Die Erkundung von Orten und Nicht-Orten: Die Ratsmühlendammbrücke Sylvia Sayah, Florian Severin 22.06.2012 Vom Nebeneingang zur Unterkunft:Die Geshichte eines Nicht-Ortes am Hamburger Audiomax Philipp Mante, Katrin Kosk 22.06.2012 Die Erkundung von Orten und Nicht-Orten: Bahnschienen zwischen Müssen und Büchen (Schleswig-Holstein) Julia Bogdahn, Henning Scholz
9 WiSe 11/12 Food & Health Academy public Prof. Dr. Mechthild Busch-Stockfisch, Prof. Dr. Peter Schieberle, PD Dr. Florian Barvencik et al. Lehrveranstaltung Chemie 12.07.2012 Schmeckt Süß immer nur Süß - der süße Geschmack und die neuen Süßungsmittel Prof. Dr. Mechthild Busch-Stockfisch 20.06.2012 Was riecht wenn's schmeckt? Prof. Dr. Peter Schieberle 24.05.2012 Vitamin-D-Mangel in Deutschland - Gesundheitliches Risiko oder Panikmache? PD Dr. Florian Barvencik 26.04.2012 Gutes gegen böses Fett: Möglicher Therapieansatz bei erhöhten Blutfetten und Übergewicht Prof. Dr. Jörg Heeren 24.01.2012 Gentechnik und Gesundheit - (K)ein Widerspruch? Dr. Susanne Stirn 12.01.2012 Biokraftstoffe und Nachhaltigkeit Prof. Dr. Michael Bröuninger 12.01.2012 Energie aus nachwachsenden Rohstoffen Prof. Dr. Michael Bockisch 10.11.2011 2 - Fett macht dick und Fernsehen dumm Prof. Dr. Markus Fischer, Dr. Ilka Haase, Prof. Dr. Sascha Rohn 27.10.2011 1 - Unser Wasser zwischen Wissenschaft und Hokuspokus Prof. Dr. Markus Fischer, Dr. Ilka Haase, Prof. Dr. Sascha Rohn
14 SoSe 12 Softwareentwicklung II Dr. Axel Schmolitzky, Dr. Guido Gryczan Lehrveranstaltung Informatik 11.07.2012 14 - Testen Dr. Axel Schmolitzky 04.07.2012 13 - Formalisierung von Programmiersprachen Dr. Axel Schmolitzky 27.06.2012 12 - Refactoring Dr. Axel Schmolitzky 20.06.2012 11 - Werte und Objekte, Fachwerte Dr. Axel Schmolitzky 11.06.2012 10 - Klassenentwurf Dr. Axel Schmolitzky 06.06.2012 9 - GUI-Programmierung Dr. Axel Schmolitzky 23.05.2012 8 - Entwurfsmuster Dr. Guido Gryczan 16.05.2012 7 - Strukturierung von Anwendungssystemen; Einstieg in GUI Programmierung Dr. Axel Schmolitzky 09.05.2012 6 - Objektorientierte Modellierung Dr. Guido Gryczan 02.05.2012 5 - Fehlerbehandlung, Exceptions; Module (Pakete) Dr. Axel Schmolitzky 25.04.2012 04 - Implementationsvererbung Dr. Axel Schmolitzky 18.04.2012 03 - Polymorphie, Vererbung Dr. Axel Schmolitzky 11.04.2012 02 - Objektorientierte Tests, Vertragsmodell Dr. Axel Schmolitzky 04.04.2012 1 - Einführung, Modellierung & Abstraktion Dr. Axel Schmolitzky
1 SoSe 12 Interaktionsdesign Julian Fietkau Lehrveranstaltung Informatik 02.07.2012 Gamification – Stand der Dinge Julian Fietkau
11 SoSe 13 Softwaretechnik Lasse Schneider, Jörn Koch, Dr. Guido Gryczan Lehrveranstaltung Informatik 29.06.2012 10 - Das delegs-Projekt - WAM in GWT- und iOS-Apps 2. Teil Lasse Schneider, Jörn Koch 29.06.2012 10 - Das delegs-Projekt - WAM in GWT- und iOS-Apps 1. Teil Lasse Schneider, Jörn Koch 22.06.2012 9 - Projektplanung ( nach WAM ) Dr. Guido Gryczan 11.06.2012 8 - Fachliche Services Dr. Guido Gryczan 08.06.2012 7 - Fachliche Dienstleister, Services, auf dem Weg zur Service-Orientierten-Architektur (Teil 2) Dr. Guido Gryczan 08.06.2012 7 - Fachliche Dienstleister, Services, auf dem Weg zur Service-Orientierten-Architektur (Teil 1) Dr. Guido Gryczan 25.05.2012 6 - Die Zuständigkeitskette Dr. Guido Gryczan 18.05.2012 5 - Kooperation und Koordination Dr. Guido Gryczan 11.05.2012 4 - Werkzeuge Dr. Guido Gryczan 27.04.2012 2 - Schablonentechnik Dr. Guido Gryczan 20.04.2012 1 - Anwendungssoftware, Leitbilder, Arbeitsplatztypen Dr. Guido Gryczan
18 SoSe 12 Workshop on "Dynamical Correlations in Quantum Matter: From Few- to Many-Body Systems" Stefan Kuhr, Artur Widera, Lorenz S. Cederbaum et al. Lehrveranstaltung Physik 30.05.2012 Probing strongly correlated quantum systems with single-atom resolution Stefan Kuhr 30.05.2012 Immersing single atomic impurities into quantum gases Artur Widera 30.05.2012 Exploring interatomic Coulombic decay by free electron lasers Lorenz S. Cederbaum 30.05.2012 Ultracold few-body processes in atomic waveguides Prof. Vladimir Melezhik 30.05.2012 New Avenues to explore ultra-fast dynamics at free-electron lasers Joachim Ullrich 30.05.2012 Dipolar Bose-Einstein condensates with weak disorder Axel Pelster 30.05.2012 Photoionization and fragmentation of small molecules by XUV light; Non-adiabatic pathways to Coulomb explosion Oriol Vendrell 30.05.2012 Electronic and structural dynamics using intense, tunable, short-pulse x-rays Steve Southworth 30.05.2012 Multiple ionization under strong XUV to x-ray radiation P. Lambropoulos 30.05.2012 Thermodynamics and quantum dynamics of ion Coulomb crystals Giovanna Morigi 30.05.2012 An atomic Mott insulator with strong attractive interactions Hanns-Christoph Nägerl 30.05.2012 Optimal control of quantum correlations in few- to many-body systems Tommaso Calarco 30.05.2012 Trapping and interfacing cold neutral atoms using optical nanofibers Arno Rauschenbeutel 30.05.2012 The R-matrix approach with time dependence for atoms in short light fields Prof. Hugo van der Hart 30.05.2012 Accessing correlated electron motion on the attosecond timescale Johannes Feist 30.05.2012 Deterministic few-fermion systems Selim Jochim 30.05.2012 The Bose-Hubbard model with tunable, three-body onsite interactions Seth Rittenhouse 30.05.2012 Universal physics of three, four or five identical bosons Prof. Chris Greene
1 SoSe 12 Kontextsensitive Anwendungen und Dienste Lars Kämpfer Lehrveranstaltung Informatik 09.05.2012 Kontextmodellierung Lars Kämpfer
11 WiSe 11/12 E-learning praktisch: social networking als Motor der Raumgestaltung C. Mählitz, M. Ehlebracht, Tabea Schulz et al. Lehrveranstaltung Geowissenschaften 28.01.2012 Ein Hamburger Stadtlandschaftselement: Der Flakbunker auf dem Heiligengeistfeld C. Mählitz, M. Ehlebracht 28.01.2012 Ein Hamburger Stadtlandschaftselement: Die Airbus-Werkserweiterung in Finkenwerder Tabea Schulz, Ramona Mey 28.01.2012 Ein Hamburger Stadtlandschaftselement: "Spielbundenplatz 5-13" Annika Hell, Anna Rüsch 28.01.2012 Ein Hamburger Stadtlandschaftselement: Der Park Fiction Jenny Misfeldt, Marjan Yassen 27.01.2012 Ein Hamburger Stadtlandschaftselement: Das Millerntor-Stadion Thorsten Wolgast, Ole Seiberlich 27.01.2012 Ein Hamburger Stadtlandschaftselement: Das Hotel Vier Jahreszeiten Silke von Gernet, Julia Holz 27.01.2012 Ein Hamburger Stadtlandschaftselement: Die Esso-Häuser M. Nolze, J.P. Ripke 27.01.2012 Ein Hamburger Stadtlandschaftselement: Der Schanzenturm Alessa Heß, Angela Stark 27.01.2012 Ein Hamburger Stadtlandschaftselement: Der Park Fiction M. Waßmuth, F. Hennig 27.01.2012 Der Park Fiction als Stadtlandschaftselement Daria Nehrhoff, Anne-Christin Hake 27.01.2012 Ein Hamburger Stadtlandschaftselement: Das Bergedorfer Schloss Philipp Mante, Vera Möller
14 WiSe 11/12 Softwareentwicklung I Dr. Axel Schmolitzky Lehrveranstaltung Informatik 01.02.2012 14 - Graphen Dr. Axel Schmolitzky 25.01.2012 13 - Stacks, Queues, Sortieren Dr. Axel Schmolitzky 18.01.2012 12 - Binäre Suchbäume, Hashing Dr. Axel Schmolitzky 11.01.2012 11 - Von Sammlungen zu dynamischen Datenstrukturen Dr. Axel Schmolitzky 21.12.2011 10 - Arrays Dr. Axel Schmolitzky 14.12.2011 9 - Objektsammlungen Dr. Axel Schmolitzky 07.12.2011 8 - Interfaces, systematisches Testen Dr. Axel Schmolitzky 30.11.2011 7 - Rekursion, Strings und Reguläre Ausdrücke Dr. Axel Schmolitzky 23.11.2011 6 - Strukturierte Programmierung Dr. Axel Schmolitzky 16.11.2011 5 - Referenztypen Dr. Axel Schmolitzky 03.11.2011 4- Zuweisungen, elementare Typen Dr. Axel Schmolitzky 02.11.2011 3 - Prozedur, Syntax Dr. Axel Schmolitzky 26.10.2011 2 - Grundlagen objektorientierter Programmierung Dr. Axel Schmolitzky 19.10.2011 1 - Organisatorisches Dr. Axel Schmolitzky
28 WiSe 11/12 Formale Grundlagen der Informatik II Dr. Daniel Moldt, Prof. Dr. Michael Köhler-Bußmeier Lehrveranstaltung Informatik 31.01.2012 27 - KKN, CPN, Datenbankmanager, Renew Dr. Daniel Moldt, Prof. Dr. Michael Köhler-Bußmeier 26.01.2012 26 - Parallele Algorithmen, Paralleles Suchen und Mischen Dr. Daniel Moldt 24.01.2012 25 - Parallele Maschinen Dr. Daniel Moldt 19.01.2012 24 - Workflow, Bankiersproblem Dr. Daniel Moldt, Prof. Dr. Michael Köhler-Bußmeier 17.01.2012 23 - Workflow, KKN Dr. Daniel Moldt, Prof. Dr. Michael Köhler-Bußmeier 12.01.2012 22 - Die Vorlesung konnte aufgrund technischer Problemen nicht aufgezeichnet werden. Dr. Daniel Moldt 10.01.2012 21 - Petrinetzprozesse, Zeitstempel in verteilten Systemen Teil 2 Dr. Daniel Moldt 10.01.2012 21 - Petrinetzprozesse, Zeitstempel in verteilten Systemen Teil 1 Dr. Daniel Moldt 22.12.2011 20 - Fairness, partial order semantics Dr. Daniel Moldt, Prof. Dr. Michael Köhler-Bußmeier 20.12.2011 19 - Verzweigungs-Bisimulation Prof. Dr. Michael Köhler-Bußmeier 15.12.2011 18 - Rekursion Prof. Dr. Michael Köhler-Bußmeier 13.12.2011 17 - Parallele Komposition Prof. Dr. Michael Köhler-Bußmeier 08.12.2011 16 - "Verträglichkeit" der Bisimulation mit BPA Prof. Dr. Michael Köhler-Bußmeier 06.12.2011 15 - Prozessalgebra Prof. Dr. Michael Köhler-Bußmeier 01.12.2011 14 - S-Inv-Vektor vs. S-Inv-Gleichung, Fairness Prof. Dr. Michael Köhler-Bußmeier 29.11.2011 13 - Zustandsraumexplosion Prof. Dr. Michael Köhler-Bußmeier 24.11.2011 12 - Algorithmus: Lebendigkeits-Invarianz Prof. Dr. Michael Köhler-Bußmeier 22.11.2011 11 - Unabhängigkeit von Beschränkheit, Lebendigkeit und Reversibilität Prof. Dr. Michael Köhler-Bußmeier 17.11.2011 10 - P/T Netze Prof. Dr. Michael Köhler-Bußmeier 15.11.2011 9 - Petrinetze Prof. Dr. Michael Köhler-Bußmeier 10.11.2011 8 - Komplexität: CTL-Model-Checking, Petrinetze, Entwicklung Prof. Dr. Michael Köhler-Bußmeier 08.11.2011 7 - Model Checking Prof. Dr. Michael Köhler-Bußmeier 03.11.2011 6 - CTL- Formeln, Fairness Prof. Dr. Michael Köhler-Bußmeier 01.11.2011 5 - Temporale Logik, LTL - Formeln Prof. Dr. Michael Köhler-Bußmeier 27.10.2011 4 - Kodierung von Kripkestrukturen, Mutual Exclusion, Temporale Logik Prof. Dr. Michael Köhler-Bußmeier 25.10.2011 3 - Äquivalenz von Systemen Dr. Daniel Moldt, Prof. Dr. Michael Köhler-Bußmeier 20.10.2011 2 - Büchi Automaten Dr. Daniel Moldt, Prof. Dr. Michael Köhler-Bußmeier 18.10.2011 1 - Organisatorisches Prof. Dr. Michael Köhler-Bußmeier
1 WiSe 11/12 Anatomie, Physiologie, Pathologie 1 Dr. Tanja Richter, Dr. Matthias Lenz, Susanne Buhse et al. Lehrveranstaltung Chemie 02.11.2011 Anatomie, Physiologie, Pathologie 1 Dr. Tanja Richter, Dr. Matthias Lenz, Susanne Buhse et al.
13 SoSe 11 Softwareentwicklung II Dr. Axel Schmolitzky, Prof. Dr. Heinz Züllighoven, Dr. Guido Gryczan et al. Lehrveranstaltung Informatik 13.07.2011 14 - Abschluss Dr. Axel Schmolitzky 06.07.2011 13 - Testen von objektorientierten Prof. Dr. Heinz Züllighoven 29.06.2011 12 - Refactoring Dr. Axel Schmolitzky 22.06.2011 11 - Klassenentwurf Dr. Axel Schmolitzky 01.06.2011 09 - Entwurfsmuster Dr. Guido Gryczan 25.05.2011 08 - Programmierung von Graphical User Interfaces Dr. Axel Schmolitzky 18.05.2011 07 - Strukturierung interaktiver Anwendungssysteme Dr. Axel Schmolitzky 11.05.2011 06 - Objektorientierte Modellierung Prof. Dr. Heinz Züllighoven 04.05.2011 05 - Fehlerbehandlung / Modularisierung Dr. Axel Schmolitzky 27.04.2011 04 - Implementationsvererbung Dr. Axel Schmolitzky 20.04.2011 03 - Polymorphie und Vererbung Dr. Axel Schmolitzky 13.04.2011 02 - Formale Korrektheit Prof. Dr. Heinz Züllighoven 06.04.2011 01- Softwareentwicklung II - Einleitung Dr. Axel Schmolitzky, Prof. Dr. Heinz Züllinghoven
26 SoSe 11 Formale Grundlagen der Informatik I Prof. Dr. Michael Köhler-Bußmeier, Dr. Carola Eschenbach Lehrveranstaltung Informatik 12.07.2011 27 - µ-rekursive Funktionen Prof. Dr. Michael Köhler-Bußmeier 11.07.2011 26 - Berechenbarkeitsdefinitionen Prof. Dr. Michael Köhler-Bußmeier 04.07.2011 24 - Komplexitätklassen Prof. Dr. Michael Köhler-Bußmeier 28.06.2011 23 - Turingmaschinen und kontextsensitive Grammatiken III Prof. Dr. Michael Köhler-Bußmeier, Dr. Carola Eschenbach 27.06.2011 22 - Turingmaschinen und kontextsensitive Grammatiken II Prof. Dr. Michael Köhler-Bußmeier, Dr. Carola Eschenbach 21.06.2011 21 - Turingmaschinen und kontextsensitive Grammatiken Prof. Dr. Michael Köhler-Bußmeier 20.06.2011 20 - Typ-0 Grammatik nach Chomsky Prof. Dr. Michael Köhler-Bußmeier 07.06.2011 19 - Deterministischer Kellerautomat, andere Chomsky Grammatiken Prof. Dr. Michael Köhler-Bußmeier 06.06.2011 18 - Prädikatenlogik V Dr. Carola Eschenbach 31.05.2011 17 - Prädikatenlogik IV Dr. Carola Eschenbach 30.05.2011 16 - Prädikatenlogik III Dr. Carola Eschenbach 24.05.2011 15 - Prädikatenlogik II Dr. Carola Eschenbach 23.05.2011 14 - Prädikatenlogik Dr. Carola Eschenbach 17.05.2011 13 - Aussagenlogik - Resolution Dr. Carola Eschenbach 16.05.2011 12 - Aussagenlogik - Hornformeln Dr. Carola Eschenbach 10.05.2011 11 - Aussagenlogik: Beweisbarkeit Dr. Carola Eschenbach 09.05.2011 10 - Aussagenlogik: Normalformen, Folgerung Dr. Carola Eschenbach 03.05.2011 09 - Aussagenlogik, Äquivalenz, Normalformen Dr. Carola Eschenbach 02.05.2011 08 - Ausagenlogik, Semantik Dr. Carola Eschenbach 26.04.2011 07 - Aussagenlogik, Syntax Dr. Carola Eschenbach 19.04.2011 06 - Pumping, Abschlusseigenschaften, Entscheidbarkeit und Kellerautomaten Prof. Dr. Michael Köhler-Bußmeier, Dr. Carola Eschenbach 18.04.2011 05 Normalformen kontextfreier Grammatiken Prof. Dr. Michael Köhler-Bußmeier, Dr. Carola Eschenbach 12.04.2011 04 - Automaten IV Prof. Dr. Michael Köhler-Bußmeier, Dr. Carola Eschenbach 11.04.2011 03 - Automaten III Prof. Dr. Michael Köhler-Bußmeier, Dr. Carola Eschenbach 05.04.2011 02 - Automaten II Prof. Dr. Michael Köhler-Bußmeier, Dr. Carola Eschenbach 04.04.2011 01 - Einführung, Automaten Prof. Dr. Michael Köhler-Bußmeier, Dr. Carola Eschenbach
2 SoSe 11 Sonderveranstaltungen "IT-Management und Consulting" Prof. Dr. Tilo Böhmann, Dr. Nelson M. Mattos Lehrveranstaltung Informatik 16.05.2011 Auf dem Weg zu offenen, modularen Dienstleistungssystemen: Lösungsansätze und Herausforderungen für das Service Engineering Prof. Dr. Tilo Böhmann 20.01.2011 The Future of the Web: Opportunities & Challenges Dr. Nelson M. Mattos
22 WiSe 10/11 Schnupperstudium Informatik 2010 N. N., Petra Nerge, Dr. Julian Kunkel et al. Lehrveranstaltung Informatik 23.03.2011 Forschungsdemonstration "Robotik" N. N. 23.03.2011 Projektdokumentation "Greenfoot" N. N. 31.01.2011 Projektdokumentation "fussballspielende Roboter" N. N. 07.01.2011 Projektdokumentation "POV-Ray" N. N. 07.01.2011 Projektdokumentation "Robotik" N. N. 07.01.2011 Projektdokumentation "Computersehen" N. N. 08.10.2010 Abschlusspräsentation Projekt "Fussballspielende Roboter" N. N. 08.10.2010 Abschlusspräsentation Projekt "Robotik" N. N. 08.10.2010 Abschlusspräsentation Projekt "3D-Grafik und -Animation mit POV-Ray" N. N. 08.10.2010 Abschlusspräsentation Projekt "Computersehen" N. N. 08.10.2010 Abschlusspräsentation Projekt "Greenfoor - Greeps" N. N. 06.10.2010 Vorstellung des Deutschen Klimarechenzentrums Petra Nerge, Dr. Julian Kunkel 06.10.2010 Das Informatikstudium aus Sicht der Studierenden N. N. 05.10.2010 Gespräche mit Berufstätigen N. N. 04.10.2010 Informatik und Gesellschaft (Teil II) Dr. Paul Drews 04.10.2010 Informatik und Gesellschaft (Teil I) Dr. Paul Drews 04.10.2010 Vorstellung Projekt "3D-Grafik und Animation mit POV-Ray" Detlef Rick 04.10.2010 Vorstellung Projekt "fußballspielende Roboter" Janis Schönefeld 04.10.2010 Vorstellung Projekt "Bau und Programmierung von Robotern" Bernd Schütz 04.10.2010 Vorstellung Projekt "Greenfoot - Greeps" Dr. Axel Schmolitzky 04.10.2010 Vorstellung Projekt "Computersehen" Christian Bähnisch 04.10.2010 Begrüßung zum Schnupperstudium 2010 Prof. Dr. Horst Oberquelle
9 WiSe 09/10 Natur planen und Umwelt managen Guido Teenck, Dr. Holger Kurz, Axel Jahn et al. Lehrveranstaltung Geowissenschaften 02.03.2011 JUG-Jugendumweltgipfel Guido Teenck 02.03.2011 BÜRO FÜR BIOLOGISCHE BESTANDSAUFNAHME Dr. Holger Kurz 02.03.2011 NAJU Guido Teenck 03.12.2010 Natur planen und Umwelt managen Axel Jahn 24.08.2010 Landschaft Bewerten Dr. Nils Franke 24.08.2010 Offshore- Windenergienutzung Andreas Kannen 20.05.2010 Natur planen und Umwelt managen Rita Lauter 12.11.2009 Das Planfeststellungsverfahren Helmut Eissing 12.11.2009 Die Eingriffsregelung Helmut Eissing
6 WiSe 10/11 Food and Health Academy Prof. Dr. Reiner Wittkowski, Prof. Dr. Andreas Stallmach, Prof. Dr. Dr. Hans-Georg Joost et al. Lehrveranstaltung Chemie 31.01.2011 Sichere Lebensmittel – aber sicher! Prof. Dr. Reiner Wittkowski 10.01.2011 Die Zöliakie – Das Chamäleon der Magen-Darm-Krankheiten Prof. Dr. Andreas Stallmach 13.12.2010 Potential der Ernährung in der Prävention von Krebserkrankungen und Typ-2-Diabetes Prof. Dr. Dr. Hans-Georg Joost 15.11.2010 Was haben Anorexia und Bulimia nervosa mit Ernährung zu tun? Prof. Dr. Martina de Zwaan 25.10.2010 Lipide und Herzinfarkt – genetische Prädisposition und Ernährung Prof. Dr. Dr. h.c. Ulrike Beisiegel 25.10.2010 Eröffnungsveranstaltung der Food and Health Academy Prof. Dr. Markus Fischer, Prof. Dr. Rosemarie Mielke, Prof. Dr. Heinrich Graener et al.
12 WiSe 09/10 Softwareentwicklung I Dr. Axel Schmolitzky Lehrveranstaltung Informatik 26.01.2011 SE1, Vorlesung 13- Mehr zu Sammlungen: Stacks, Queues, Sortieren (26.01.2011) Dr. Axel Schmolitzky 19.01.2011 SE1, Vorlesung 12- Sammlungen implementieren: Mengen(19.01.2011) Dr. Axel Schmolitzky 12.01.2011 SE1, Vorlesung 11- Von Sammlungen zu dynamischen Datenstrukturen (12.01.2011) Dr. Axel Schmolitzky 15.12.2010 SE1, Vorlesung 9- Objektsammlungen (15.12.2010) Dr. Axel Schmolitzky 08.12.2010 SE1, Vorlesung 8- Klassen, Typen und Interfaces / Einführung in systematisches Testen (08.12.2010) Dr. Axel Schmolitzky 01.12.2010 SE1, Vorlesung 7- Statische und dynamische Eigenschaften / Strings und Reguläre Ausdrücke (01.12.2010) Dr. Axel Schmolitzky 24.11.2010 SE1, Vorlesung 6- Strukturierte Programmierung und Rekursion (24.11.2010) Dr. Axel Schmolitzky 17.11.2010 SE1, Vorlesung 5- Das Typkonzept imperativer und objektorientierter Programmiersprachen (17.11.2010) Dr. Axel Schmolitzky 10.11.2010 SE1, Vorlesung 4- Imperative Grundkonzepte(10.11.2010) Dr. Axel Schmolitzky 03.11.2010 SE1, Vorlesung 3- Die Struktur von Klassendefinitionen (03.11.2010) Dr. Axel Schmolitzky 27.10.2010 SE1, Vorlesung 2- Einfache Klassen, einfache Objekte (27.10.2010) Dr. Axel Schmolitzky 05.01.2010 SE1, Vorlesung 10- Arrays (05.01.2010) Dr. Axel Schmolitzky
11 WiSe 10/11 Experimentalphysik für Studierende der Biologie und Zahnmedizin Dr. Hossein Salehi Lehrveranstaltung Physik 15.12.2010 Wärmelehre - Ausdehnung, Gase, Sonderfall Wasser Dr. Hossein Salehi 10.12.2010 Schwingungen - Überlagerung, Wellen, Schall Dr. Hossein Salehi 08.12.2010 Schwingungen - Pendel, Resonanz, Überlagerung Dr. Hossein Salehi 03.12.2010 Fluide III - Strömung, Oberflächenspannung Dr. Hossein Salehi 01.12.2010 Fluide II - Strömung, Volumenarbeit, Viskosität Dr. Hossein Salehi 26.11.2010 Fluide - Schweredruck, Auftrieb, Luftdruck Dr. Hossein Salehi 24.11.2010 Dynamik II - Impuls, Gleichgewicht, Druck Dr. Hossein Salehi 12.11.2010 Mechanik III - Kraft, Wurf, Reibung Dr. Hossein Salehi 10.11.2010 Mechanik II - Beschleunigung, Kraft Dr. Hossein Salehi 05.11.2010 Mechanik I - Bewegung, Beschleunigung Dr. Hossein Salehi 03.11.2010 Einführung - Physik als Wissenschaft Dr. Hossein Salehi
26 SoSe 10 Einführung in Dynamische Systeme Prof. Dr. Roland Gunesch Lehrveranstaltung Mathematik 12.07.2010 Einführung in Dynamische Systeme - Sitzung 26 - 12.07.2010 Prof. Dr. Roland Gunesch 08.07.2010 Einführung in Dynamische Systeme - Sitzung 25 - 08.07.2010 Prof. Dr. Roland Gunesch 05.07.2010 Einführung in Dynamische Systeme - Sitzung 24 - 05.07.2010 Prof. Dr. Roland Gunesch 01.07.2010 Einführung in Dynamische Systeme - Sitzung 23 - 01.07.2010 Prof. Dr. Roland Gunesch 28.06.2010 Einführung in Dynamische Systeme - Sitzung 22 - 28.06.2010 Prof. Dr. Roland Gunesch 24.06.2010 Einführung in Dynamische Systeme - Sitzung 21 - 24.06.2010 Prof. Dr. Roland Gunesch 21.06.2010 Einführung in Dynamische Systeme - Sitzung 20 - 21.06.2010 Prof. Dr. Roland Gunesch 17.06.2010 Einführung in Dynamische Systeme - Sitzung 19 - 17.06.2010 Prof. Dr. Roland Gunesch 14.06.2010 Einführung in Dynamische Systeme - Sitzung 18 - 14.06.2010 Prof. Dr. Roland Gunesch 10.06.2010 Einführung in Dynamische Systeme - Sitzung 17 - 10.06.2010 Prof. Dr. Roland Gunesch 07.06.2010 Einführung in Dynamische Systeme - Sitzung 16 - 07.06.2010 Prof. Dr. Roland Gunesch 03.06.2010 Einführung in Dynamische Systeme - Sitzung 15 - 03. Juni 2010 Prof. Dr. Roland Gunesch 31.05.2010 Einführung in Dynamische Systeme - Sitzung 14 - 31. Mai 2010 Prof. Dr. Roland Gunesch 20.05.2010 Einführung in Dynamische Systeme - Sitzung 13 - 20. Mai 2010 Prof. Dr. Roland Gunesch 17.05.2010 Einführung in Dynamische Systeme - Sitzung 12 - 17. Mai 2010 Prof. Dr. Roland Gunesch 10.05.2010 Einführung in Dynamische Systeme - Sitzung 11 - 10. Mai 2010 Prof. Dr. Roland Gunesch 06.05.2010 Einführung in Dynamische Systeme - Sitzung 10 - 06. Mai 2010 Prof. Dr. Roland Gunesch 03.05.2010 Einführung in Dynamische Systeme - Sitzung 9 - 03. Mai 2010 Prof. Dr. Roland Gunesch 29.04.2010 Einführung in Dynamische Systeme - Sitzung 8 - 29. April 2010 Prof. Dr. Roland Gunesch 26.04.2010 Einführung in Dynamische Systeme - Sitzung 7 - 26. April 2010 Prof. Dr. Roland Gunesch 22.04.2010 Einführung in Dynamische Systeme - Sitzung 6 - 22. April 2010 Prof. Dr. Roland Gunesch 19.04.2010 Einführung in Dynamische Systeme - Sitzung 5 - 19. April 2010 Prof. Dr. Roland Gunesch 15.04.2010 Einführung in Dynamische Systeme - Sitzung 4 - 15. April 2010 Prof. Dr. Roland Gunesch 12.04.2010 Einführung in Dynamische Systeme - Sitzung 3 - 12. April 2010 Prof. Dr. Roland Gunesch 08.04.2010 Einführung in Dynamische Systeme - Sitzung 2 - 08. April 2010 Prof. Dr. Roland Gunesch 01.04.2010 Einführung in Dynamische Systeme - Sitzung 1 - 01. April 2010 Prof. Dr. Roland Gunesch

Showing 1 - 75 of 83 results.