Catalog

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

Video Catalog

Institution

F.6 - Mathematik, Informatik, Naturwissenschaften

Sub institution

Informatik

Term

Category

Showing 69 results.


22 WiSe 19/20 Rechnerstrukturen und Betriebssysteme Dr. Andreas Mäder Lehrveranstaltung Informatik 24.01.2020 Sitzung 26 - Betriebssysteme Dr. Andreas Mäder 22.01.2020 Sitzung 25 - Rechnerarchitektur II, Betriebssysteme Dr. Andreas Mäder 17.01.2020 Sitzung 24 - Rechnerarchitektur II (Parallelität, Speicherhierarchie) Dr. Andreas Mäder 15.01.2020 Sitzung 23 - Rechnerarchitektur II Dr. Andreas Mäder 10.01.2020 Sitzung 22 - Assembler-Programmierung Dr. Andreas Mäder 08.01.2020 Sitzung 21 - Assembler Programmierung Dr. Andreas Mäder 20.12.2019 Sitzung 20 - Instruction Set Architecture, Assembler Dr. Andreas Mäder 18.12.2019 Sitzung 19 - Instruction Set Architecture Dr. Andreas Mäder 13.12.2019 Sitzung 18 - Rechnerarchitektur I Dr. Andreas Mäder 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
34 Informatisches Kolloquium Dr Raphael Koning, Dr Jörg Daubert, Prof. Dr. Prof. h.c. Andreas Dengel et al. Ringvorlesung Informatik 20.01.2020 Signal processing in cochlear implants – From surgery to sound perception Dr Raphael Koning 13.01.2020 Privacy and/or Trust? Dr Jörg Daubert 09.12.2019 Künstliche Intelligenz zwischen Science und Fiction Prof. Dr. Prof. h.c. Andreas Dengel 02.12.2019 Technological development and application of Deep Learning in Biomedicine Dr. Stefan Bonn 18.11.2019 Blind multi-microphone noise reduction and dereverberation algorithms for speech communication applications Prof. Dr. Simon Doclo 20.05.2019 Deep Machines That Know When They Do not Know Prof. Dr. Kristian Kersting 06.05.2019 Opportunistic Networks - Challenges and Opportunities Prof. Dr. Anna Förster 15.04.2019 Known Operator Learning? A new Paradigm for Machine Learning in Signal Processing & Physics Prof. Dr.-Ing. habil. Andreas Maier 01.04.2019 Empirical Studies into Modelling in Software Development in the Age of Big Data and AI Prof. Dr. Michel Chaudron 28.01.2019 The innovations, industry problems, and research challenges open source has given us Prof. Dr. Dirk Riehle 10.12.2018 Exploring Server-side Blocking of Regions PhD Sadia Afroz 26.11.2018 Microarchitectural Attacks on modern CPUs Prof. Dr. Thomas Eisenbarth 22.10.2018 Language dynamics in social media Prof. Dr. Animesh Mukherjee 09.07.2018 Imitation learning, zero-shot learning and automated fact checking Prof. Dr. Andreas Vlachos 25.06.2018 An Integrative, Event-Predictive Perspective on Cognition: Behavioral Evidence and Artificial Neural Network Models Prof. Dr. Martin V. Butz 18.06.2018 Wem gehören die Daten? Zugangs- und Verfügungsmodelle in der Datenökonomie Prof. Dr. phil. Ingrid Schneider 07.05.2018 What is Embodiment, and How Does It Affect the Way We Function? Prof. Hedvig Kjellström 23.04.2018 Networking the IoT with RIOT Prof. Dr. Thomas Schmidt 20.11.2017 Analyzing Human Behavior in Video Sequences Prof. Dr. Jürgen Gall 06.11.2017 Jointly Representing Images and Text: Dependency Graphs, Word Senses, and Multimodal Embeddings Prof. Dr. Frank Keller 17.07.2017 Machine Learning and Knowledge Extraction Prof. Dr. Andreas Holzinger 19.06.2017 Adaptive Language Technologies Prof. Dr. Chris Biemann 29.05.2017 Visually Browsing Millions of Images using Image Graphs Kai Uwe Barthel 28.11.2016 Making Semantic Technology Intelligent Dr. Gerard de Melo 14.11.2016 Cognitive Computer Vision for Mobile Systems Prof. Dr. Simone Frintrop 04.07.2016 Graph-Mining zur Schwachstellensuche Prof. Dr. Konrad Rieck 03.05.2016 Embodied Affective Decision Making in Robots Dr. Robert Lowe 25.01.2016 The Challenges of Affect Detection Nicole Novielli 16.04.2015 Developmental robotics - From babies to Robots Angelo Cangelosi 27.10.2014 Fooling your Senses for (Super-) Natural User Interfaces Prof. Dr. Frank Steinicke 20.10.2014 Social media for developers: How tools shape the way we work Dr. Leif Singer 10.07.2014 Machine Learning of Motor Skills for Robotics Jan Peters 10.06.2014 Die Hamburg Bit-Bots: Aufbruch ins Unbekannte N. N. 17.03.2014 Logic for Design Science Research Theory Accumulation Tuure Tuunanen
5 WiSe 19/20 Taming the Machines - IT for a Good Society Prof. Dr. Barbara Prainsack, Prof. Dr. Linnet Taylor, Prof. Dr. Dan L. Burk et al. Ringvorlesung Öffentliche Vorlesungen 04.12.2019 The Value of Data in Healthcare: Beyond Nudging Prof. Dr. Barbara Prainsack 27.11.2019 Data Justice - The Case for a Social Justice Approach to Data Governance Prof. Dr. Linnet Taylor 14.11.2019 Market Discipline and the Algorithmic Rule of Law Prof. Dr. Dan L. Burk 30.10.2019 Corporate Surveillance of Everyday Life. How Companies Use Personal Data against People Wolfie Christl 17.10.2019 Ethics and Artificial Intelligence Prof. Dr. Mark Coeckelbergh
4 SoSe 19 Mensch und Computer 2019 - Neue digitale Realitäten Prof. Dr. Frank Steinicke, Katharina Fegebank, Prof. Dr.-Ing. Katrin Wolf et al. Konferenz/Tagung Informatik 09.09.2019 Eröffnung Prof. Dr. Frank Steinicke, Katharina Fegebank, Prof. Dr.-Ing. Katrin Wolf et al. 09.09.2019 Discreet Computing Aaron Quigley 10.09.2019 Conversation: The oldest new interface Margaret Urban 11.09.2019 Augmented Reality: The next 20 years Mark Billinghurst
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 Tutorium Softwareentwicklung 2 (SE2) Michael Straßberger Lehrvideo/Tutorial Informatik 29.05.2019 Funktionale Programmierung Michael Straßberger 10.04.2019 Vorbereitung Programmierdiktat Michael Straßberger 03.04.2019 Rückblick SE1 Michael Straßberger
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
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
11 SoSe 17 Die maschinelle Verarbeitung natürlicher Sprache Prof. Dr. Liviu Dinu, Prof. Dr. Susanne Jekat, Prof. Dr. Svetla Boytcheva et al. Ringvorlesung Informatik 10.07.2017 11 - Computational Approaches to Romanian Loan Words Prof. Dr. Liviu Dinu 03.07.2017 10 - Sprachtechnologie in der barrierefreien Kommunikation Prof. Dr. Susanne Jekat 26.06.2017 9 - Clinical Texts Mining Methods Based on Semantic Attributes Prof. Dr. Svetla Boytcheva 19.06.2017 8 - A Functional Computational Approach to Human Text Comprehension Prof. Dr. Gabor Prószéky 12.06.2017 7 - Extending the Knowledge Graph for the Task of Sense Disambiguation Prof. Dr. Petya Osenova, Dr. Kiril Simov 01.06.2017 6 - Multimodal Dialogue with Autonomous Systems Prof. Dr. Wolfgang Wahlster 29.05.2017 5 - The automatic generation of dialogue utterances, translations and reports Prof. Dr. Stephan Busemann 08.05.2017 4 - Computational linguistics, language technology and research infrastructures Prof. Dr. Gerhard Heyer 24.04.2017 3 - What we have learned from corpus annotation Prof. Dr. Eva Hajicová 20.04.2017 2 - A grammar checker for Czech Prof. Dr. Vladislav Kubon 20.04.2017 1 - Einführung und spatial cognitation in historical texts and maps Prof. Dr.-Ing. Wolfgang Menzel, Dr. Christina Vertan, Prof. Dr. Günther Görz
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
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
1 WiSe 13/14 Informatisches Kolloquium Ralf Herbrich Ringvorlesung Informatik 25.11.2013 Bayesian Learning in Online Services Ralf Herbrich
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
5 WiSe 15/16 Neurodiversität - autistengerechtes Studium jenseits der Nachteilsausgleiche Christian Frese, Friedrich Nolte, Stefanie Nennstiel et al. Ringvorlesung Informatik 12.01.2016 10 - Ideen und Empfehlungen des Deutschen Autismusinstituts des Bundesverbandes autismus Deutschland e.V. für ein autismusgerechtes Studium Christian Frese, Friedrich Nolte 24.11.2015 6 - Vertreter von IT-Unternehmen: Das Projekt „Autism at Work“ Stefanie Nennstiel 18.11.2015 5 - Was ist Autismus? Prof. Dr. André Frank Zimpel 10.11.2015 4 - Lebensphasen im Kontext des Autismusspektrums – Übergang von der Schule zum Studium Barbara Rittmann 27.10.2015 2 - Menschen aus dem Autismusspektrum berichten - erfolgreich auf dem ersten Arbeitsmarkt Hajo Seng
19 WiSe 14/15 IROS 2015 Keiji Nagatani, Russ Tedrake, Marc-Oliver Gewaltig et al. Konferenz/Tagung Informatik 01.10.2015 Day 3 - Research, Development and Field Test of Robotic Observation Systems for Sctive Volcanic Areas in Japan (Keynote) Keiji Nagatani 01.10.2015 Day 3 - Optimization for Robust Motion Planning and Control (Keynote) Russ Tedrake 01.10.2015 Day 3 - Reconstructed Brain Models for Virtual Bodies and Robots (Keynote) Marc-Oliver Gewaltig 01.10.2015 Day 3 - Supercomputing the Loop of Biomechanics and Neuroscience (Plenary Session) Yoshihiko Nakamura 01.10.2015 Day 3 - Award Ceremony N. N. 01.10.2015 Day 3 - From Mimicricy to Mastery: Creating Machines That Augment Human Skill (Plenary Session) Gregory D. Hager 30.09.2015 Day 2 - Robot Systems and Technologies for Natural Disaster Response and Infrastructure Maintenance in Japan (Keynote) Shin’ichi Yuta 30.09.2015 Day 2 - Robot Ethics in the Era of Self-Driving Automobiles (Keynote) George Bekey 30.09.2015 Day 2 - Micro/Nano Robotics Enabled Technology for Nano Device Assembly and Drug Discovery (Keynote) Lianqing Liu 30.09.2015 Day 2 - Robotic Governance: Paving the Way for Generation ’R’ (Plenary Session) Bernd Liepert 30.09.2015 Day 2 - From Geometry to Startups and to... Incubators (Plenary Session) Zexiang Li 29.09.2015 Day 1 - Opening N. N. 29.09.2015 Day 1 - Robots, Politics, and Ethics: How Autonomous Driving Transforms Our Way of Thinking About Machines Björn Giesler 29.09.2015 Day 1 - Enter Deep Learning (Keynote) Patrick van der Smagt 29.09.2015 Day 1 - What We Learned from Darpa Robotics Challenge (Keynote) Jun Ho Oh 29.09.2015 Day 1 - The New Robotics Age: The Challenge of Physical Tasks (Plenary Session) Oussama Khatib 29.09.2015 Day 1 - Government Forum Part 2 N. N. 29.09.2015 Day 1 - Government Forum Part 1 N. N. 29.09.2015 Day 1 - Practice makes Perfect? The Role of Place Dependent Expertise in Mobile Robotics (Plenary Session) Paul Newman
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
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
17 SoSe 13 MIN-Check Informatik Prof. Dr. Frank Steinicke, Uwe Debacher, Kai Rüstmann et al. Informations-/Imagevideo Informatik 24.06.2015 B.Sc. MCI (Mensch-Computer-Interaktion) Prof. Dr. Frank Steinicke 08.06.2015 IT im Beruf - Lehramt Informatik Uwe Debacher 08.06.2015 IT im Beruf - Software-Architekt Kai Rüstmann 08.06.2015 Interview Studierende B.Sc. Mensch-Computer-Interaktion Dorothee Geiser 08.06.2015 Experteninterview B.Sc. Informatik Prof. Dr.-Ing. Wolfgang Menzel 08.06.2015 Experteninterview - B.Sc. Computing in Science Prof. Dr. Matthias Rarey 08.06.2015 Experteninterview Lehramt Informatik Detlef Rick 08.06.2015 Experteninterview - B.Sc. Software-System-Entwicklung Dr. Axel Schmolitzky 08.06.2015 Interview Studierende - B.Sc. Computing in Science Yana Maslenko, Andreas Blaufelder, Christian Caesar 08.06.2015 Interview Studierende - M.Sc. Bio-Informatik Yana Maslenko, Andreas Blaufelder 08.06.2015 Experteninterview Studienfächer der Informatik Prof. Dr.-Ing. Wolfgang Menzel 08.06.2015 Projekt Helikopter Ben Adler 08.06.2015 Projekt Roboter Lasse Einig 05.06.2015 Projekt Sprachgesteuertes Spiel Maike Paetzel 05.06.2015 Projekt StuReSy Wolf Posdorfer 06.08.2013 Interview Studierende B.Sc. Mensch-Computer-Interaktion Dorothee Geiser 06.08.2013 Interview Studierende - B.Sc. Computing in Science Yana Maslenko, Andreas Blaufelder, Christian Casar
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
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
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
2 SoSe 13 HI Forum Prof. Dr. Jürgen Pfeffer, Prof. Dr. Thomas Seidl Ringvorlesung Informatik 03.06.2013 04 - Social Network Analysis: The Role of Computer Science Prof. Dr. Jürgen Pfeffer 06.05.2013 3 - Clustering Big Data mit Map Reduce Prof. Dr. Thomas Seidl
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
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
6 WiSe 12/13 Workshop on ICT and Robotics for Care and Service Rudolphe Gelin, Rüdiger Höfert, Raymond Cuijpers et al. Konferenz/Tagung Informatik 12.12.2012 6 - Your future carer? Humanoid robots for older people Rudolphe Gelin 12.12.2012 5 - Service robots ─ beyond service Rüdiger Höfert 11.12.2012 7 - Discussion Raymond Cuijpers 11.12.2012 4 - REEM navigation in crowded environments Oriol Torres 11.12.2012 3 - Novel ICT solutions for remote care of COPD Mikhail Simonov 11.12.2012 2 - An advanced care system Hadas Lewy
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 12 OE Wahlpflichtvorstellung Prof. Dr. Michael Köhler-Bußmeier Einzelvortrag Informatik 10.10.2012 OE-Vorlesung: Einführung in Petrinetze Prof. Dr. Michael Köhler-Bußmeier
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
1 SoSe 12 "PHP Sucks?!" Simon Neidhold, Stefan Wiegreffe Einzelvortrag Informatik 15.05.2012 "PHP Sucks?!" Simon Neidhold, Stefan Wiegreffe
1 SoSe 12 Kontextsensitive Anwendungen und Dienste Lars Kämpfer Lehrveranstaltung Informatik 09.05.2012 Kontextmodellierung Lars Kämpfer
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
6 SoSe 11 Schnupperstudium Computing in Science N. N., Prof. Dr. Andrew Torda, Prof. Dr. Stefan Kurz et al. Einzelvortrag Informatik 26.07.2011 Schnupperstudium Computing in Science N. N. 24.05.2011 Proteine, RNS, Hasen und Füchse Prof. Dr. Andrew Torda 24.05.2011 B.Sc. Computing in Science - Informatik in den modernen Naturwissenschaften Prof. Dr. Stefan Kurz 29.04.2011 Workshop Tamiflu und Co. - 2. Teil Christin Schärfer, Angela Henzler 29.04.2011 Workshop Tamiflu und Co. Christin Schärfer, Angela Henzler 29.04.2011 DNA-Sequenzanalyse - Eine Entdeckungsreise in die Welt der Gene Dirk Willrodt
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
1 SoSe 11 Computergestützte Kooperation Julian Fietkau Einzelvortrag Informatik 24.05.2011 Computergestützte Kooperation Julian Fietkau
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
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
13 SoSe 10 Objektorientierte Programmierung und Modellierung Prof. Dr. Heinz Züllighoven, Dr. Axel Schmolitzky, Dr. Guido Gryczan Lehrveranstaltung Informatik 07.07.2010 OOPM, Vorlesung 13- Testen von objektorientierten Programmen (07.07.2010) Prof. Dr. Heinz Züllighoven 30.06.2010 OOPM, Vorlesung 12- Refactoring (30.06.2010) Dr. Axel Schmolitzky 23.06.2010 OOPM, Vorlesung 11- Entwurfsmuster (23.06.2010) Dr. Guido Gryczan 09.06.2010 OOPM, Vorlesung 9- Werte und Objekte in Programmiersprachen (09.06.2010) Dr. Axel Schmolitzky 02.06.2010 OOPM, Vorlesung 8- Objektorientierte Modellierung - fachlich und technisch (02.06.2010) Prof. Dr. Heinz Züllighoven 21.05.2010 STE, Vorlesung 7 - Software im Kontext: Aufgabenbezogene Anforderungsermittlung(21.05.2010) Dr. Guido Gryczan 19.05.2010 OOPM, Vorlesung 7- Agile Softwareentwicklung (19.05.2010) Dr. Axel Schmolitzky 12.05.2010 OOPM, Vorlesung 6 - Programmierung von Graphical User Interfaces (12.05.2010) Dr. Guido Gryczan 05.05.2010 OOPM, Vorlesung 5 - Übersicht Implementationsvererbung (05.05.2010) Dr. Axel Schmolitzky 28.04.2010 OOPM, Vorlesung 4 - Fehlerbehandlung mit Exceptions / Namensräume und Modularisierung (28.04.2010) Dr. Axel Schmolitzky 21.04.2010 OOPM, Vorlesung 3 - Abstraktion: Polymorphie und Vererbung / Übersicht Subtyping (21.04.2010) Dr. Axel Schmolitzky 07.04.2010 OOPM, Vorlesung 1 - Einführung: Abstraktion und Modelle (07.04.2010) - Teil 2 Prof. Dr. Heinz Züllighoven 07.04.2010 OOPM, Vorlesung 1 - Einführung: Abstraktion und Modelle (07.04.2010) - Teil 1 Dr. Axel Schmolitzky
10 SoSe 10 Softwaretechnik und Software-Ergonomie Henning Schwentner, Dr. Carola Lilienthal, Hartmut Obendorf et al. Lehrveranstaltung Informatik 02.07.2010 STE, Vorlesung 12 - Gastvortrag: SAP (02.07.2010) Henning Schwentner 25.06.2010 STE, Vorlesung 11 - Integration von Softwaresystemen (25.06.2010) Dr. Carola Lilienthal 18.06.2010 STE, Vorlesung 10 - Gastvortrag (18.06.2010) Hartmut Obendorf 11.06.2010 STE, Vorlesung 9 - Qualitätssicherung - Architekturanalyse und Messung (11.06.2010) Dr. Carola Lilienthal 04.06.2010 STE, Vorlesung 8 - Software-Projekte und Prozesse (04.06.2010) Dr. Carola Lilienthal 14.05.2010 STE, Vorlesung 6 - Vorgehensmodelle der Software-Entwicklung(14.05.2010) Dr. Guido Gryczan 07.05.2010 STE, Vorlesung 5 - Vorgehensmodelle der Software-Entwicklung(07.05.2010) Dr. Guido Gryczan 30.04.2010 STE, Vorlesung 4 - Der Software-Architekt(30.04.2010) Dr. Carola Lilienthal 23.04.2010 STE, Vorlesung 3 - Entwurfs- und Architekturprinzipien(23.04.2010) Dr. Carola Lilienthal 16.04.2010 STE, Vorlesung 2 - Software-Architektur (16.04.2010) Dr. Carola Lilienthal
19 SoSe 09 Informatik im Kontext/ IKON 2: Informatiksysteme in Organisationen Prof. Dr. Arno Rolf Lehrveranstaltung Informatik 13.07.2009 Informatik im Kontext/ IKON 2: Informatiksysteme in Organisationen Prof. Dr. Arno Rolf 06.07.2009 Informatik im Kontext/ IKON 2: Informatiksysteme in Organisationen Prof. Dr. Arno Rolf 29.06.2009 Informatik im Kontext/ IKON 2: Informatiksysteme in Organisationen Prof. Dr. Arno Rolf 22.06.2009 Informatik im Kontext/ IKON 2: Informatiksysteme in Organisationen Prof. Dr. Arno Rolf 15.06.2009 Informatik im Kontext/ IKON 2: Informatiksysteme in Organisationen Prof. Dr. Arno Rolf 08.06.2009 Informatik im Kontext/ IKON 2: Informatiksysteme in Organisationen Prof. Dr. Arno Rolf 25.05.2009 Informatik im Kontext/ IKON 2: Informatiksysteme in Organisationen Prof. Dr. Arno Rolf 18.05.2009 Informatik im Kontext/ IKON 2: Informatiksysteme in Organisationen Prof. Dr. Arno Rolf 18.05.2009 Informatik im Kontext/ IKON 2: Informatiksysteme in Organisationen Prof. Dr. Arno Rolf 11.05.2009 Informatik im Kontext/ IKON 2: Informatiksysteme in Organisationen Prof. Dr. Arno Rolf 27.04.2009 Informatik im Kontext/ IKON 2: Informatiksysteme in Organisationen Prof. Dr. Arno Rolf 20.04.2009 Informatik im Kontext/ IKON 2: Informatiksysteme in Organisationen Prof. Dr. Arno Rolf 14.04.2009 Informatik im Kontext/ IKON 2: Informatiksysteme in Organisationen Prof. Dr. Arno Rolf 14.04.2009 Informatik im Kontext/ IKON 2: Informatiksysteme in Organisationen Prof. Dr. Arno Rolf 28.01.2009 Informatik im Kontext/ IKON 2: Informatiksysteme in Organisationen Prof. Dr. Arno Rolf 21.01.2009 Informatik im Kontext/ IKON 2: Informatiksysteme in Organisationen Prof. Dr. Arno Rolf 14.01.2009 Informatik im Kontext/ IKON 2: Informatiksysteme in Organisationen Prof. Dr. Arno Rolf 17.12.2008 Informatik im Kontext/ IKON 2: Informatiksysteme in Organisationen Prof. Dr. Arno Rolf 10.12.2008 Informatik im Kontext/ IKON 2: Informatiksysteme in Organisationen Prof. Dr. Arno Rolf
1 SoSe 09 Informatisches Kolloquium Peter Schaar Lehrveranstaltung Informatik 08.06.2009 Webciety - virtuelle Welt ohne Datenschutz Peter Schaar
31 WiSe 09/10 Informatik im Kontext/ IKON 2: Informatiksysteme in Organisationen Prof. Dr. Arno Rolf Lehrveranstaltung Informatik 01.02.2010 IKON 2, WS09/10 - Stoffstromnetze Prof. Dr. Arno Rolf 01.02.2010 IKON 2, WS09/10 - Entsorgung von IT Prof. Dr. Arno Rolf 01.02.2010 IKON 2, WS09/10 - Ökologische Folgen der IT im Mikropolis-Modell Prof. Dr. Arno Rolf 01.02.2010 IKON 2, WS09/10 - Systematisierung von ökologischen IT-Auswirkungen Prof. Dr. Arno Rolf 01.02.2010 IKON 2, WS09/10 - Ökologische Innovationsfallen - Irrtümer und Kurzschlüsse Prof. Dr. Arno Rolf 01.02.2010 IKON 2, WS09/10 - Reboundeffekte, ökologische Innovationsfallen, Green Networking Prof. Dr. Arno Rolf 01.02.2010 IKON 2, WS09/10 - Green IT Prof. Dr. Arno Rolf 01.02.2010 IKON 2, WS09/10 - Umweltkultur Prof. Dr. Arno Rolf 01.02.2010 IKON 2, WS09/10 - Kap. 6 - Green@Society Prof. Dr. Arno Rolf 08.01.2010 IKON 2, WS09/10 - Gesellschaftliche Labilität durch Wachstum Prof. Dr. Arno Rolf 08.01.2010 IKON 2, WS09/10 - Verteilung, Finanzkrise & IT Prof. Dr. Arno Rolf 08.01.2010 IKON 2, WS09/10 - Wachstum & Informationstechnik Prof. Dr. Arno Rolf 14.12.2009 IKON 2, WS09/10 - Plattformorganisationen im Mikropolis-Modell Prof. Dr. Arno Rolf 14.12.2009 IKON 2, WS09/10 - Der Makrokontext Prof. Dr. Arno Rolf 14.12.2009 IKON 2, WS09/10 - Der Mikrokontext Prof. Dr. Arno Rolf 14.12.2009 IKON 2, WS09/10 - Das Mikropolis-Modell Prof. Dr. Arno Rolf 14.12.2009 IKON 2, WS09/10 - Urheberrecht und Digital Rights Management Prof. Dr. Arno Rolf 14.12.2009 IKON 2, WS09/10 - Arbeit und Gewinn im Medien- und Wissensbereich Prof. Dr. Arno Rolf 23.11.2009 IKON 2, WS09/10 - Neuverteilung von Arbeit und Gewinn? Prof. Dr. Arno Rolf 23.11.2009 IKON 2, WS09/10 - Open Source Softwareentwicklung Prof. Dr. Arno Rolf 23.11.2009 IKON 2, WS09/10 - Profit- oder Common Goods-Society? Prof. Dr. Arno Rolf 26.10.2009 IKON 2, WS09/10 - Warum gibt es überhaupt Organisationen und Netzwerke? Prof. Dr. Arno Rolf 26.10.2009 IKON 2, WS09/10 - IT-Entwicklung - Sachzwang oder soziale Gestaltung? Prof. Dr. Arno Rolf 26.10.2009 IKON 2, WS09/10 - Netzökonomie Prof. Dr. Arno Rolf 26.10.2009 IKON 2, WS09/10 - Der Quantensprung RFID - RFID & Ubiquitous Computing Prof. Dr. Arno Rolf 26.10.2009 IKON 2, WS09/10 - Schwarmintelligenz - Open Innovation, Crowdsourcing, interaktive Wertschöpfung Prof. Dr. Arno Rolf 26.10.2009 IKON 2, WS09/10 - Geschäftsprozesse als Leitbild der globalen Ökonomie Prof. Dr. Arno Rolf 26.10.2009 IKON 2, WS09/10 - Techniknutzungspfad "Vom Kontor zum Callcenter" Prof. Dr. Arno Rolf 26.10.2009 IKON 2, WS09/10 - Techniknutzungspfad "Vom Kontor zu Netzökonomie" Prof. Dr. Arno Rolf 26.10.2009 IKON 2, WS09/10 - Dijkstras Brandmauer Prof. Dr. Arno Rolf 26.10.2009 IKON 2, WS09/10 - Der arbeitende Kunde Prof. Dr. Arno Rolf

Showing 69 results.