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 1 - 75 of 78 results.


79 SoSe 20 Vorlesung Softwareentwicklung II - Objektorientierte Programmierung und Modellierung Detlef Litterst, Prof. Dr. Matthias Riebisch Lehrveranstaltung Informatik 28.07.2020 SE2-2020 HandsOn Typzusicherung Detlef Litterst 15.07.2020 SE2-2020-HandsOn4 Detlef Litterst 15.07.2020 SE2-2020-14-7-HandsOn Detlef Litterst 15.07.2020 SE2-2020-14-6-HandsOn Detlef Litterst 15.07.2020 SE2-2020-14-5-HandsOn Detlef Litterst 15.07.2020 SE2-2020-14-4-Racket-Umgebung Prof. Dr. Matthias Riebisch 15.07.2020 SE2-2020 14.4 Racket Umgebungen, Weiterführendes Prof. Dr. Matthias Riebisch 15.07.2020 SE2-2020 14.3 Racket Syntax und Variablen Prof. Dr. Matthias Riebisch 09.07.2020 SE2-2020 14.1 PureFunctions Prof. Dr. Matthias Riebisch 08.07.2020 SE2-2020 13.3 Abstrakte Datentypen Prof. Dr. Matthias Riebisch 08.07.2020 SE2-2020 13.2 Formale Spezifikation von Semantik Prof. Dr. Matthias Riebisch 08.07.2020 SE2-2020 14.2 Unveränderliche Funktionen Prof. Dr. Matthias Riebisch 08.07.2020 SE2-2020 13.1 Korrektheit von Interfaces Prof. Dr. Matthias Riebisch 01.07.2020 SE2-2020-11-9-HandsOn-Ergaenzung Detlef Litterst 01.07.2020 SE2-2020 11.7 HandsOn2 Detlef Litterst 01.07.2020 SE2-2020 12. Refactoring Prof. Dr. Matthias Riebisch 01.07.2020 SE2-2020 11.5 Werttypen in OO Sprachen Prof. Dr. Matthias Riebisch 01.07.2020 SE2-2020 11.4 Gleichheit von Objekten Prof. Dr. Matthias Riebisch 01.07.2020 SE2-2020 11.3 Werte und Objektorientierung Prof. Dr. Matthias Riebisch 01.07.2020 SE2-2020 11.6 HandsOn 1 Detlef Litterst 01.07.2020 SE2-2020 11.2 Wert versus Objekt Prof. Dr. Matthias Riebisch 01.07.2020 SE2-2020 11.1 Fachliche Werte Prof. Dr. Matthias Riebisch 24.06.2020 SE2-2020 10.7 HandsOn 2 Detlef Litterst 24.06.2020 SE2-2020 10.7 HandsOn 1 Detlef Litterst 24.06.2020 SE2-2020 10.4 Bezeichner Prof. Dr. Matthias Riebisch 24.06.2020 SE2-2020 10.3 SOLID-Prinzipien Prof. Dr. Matthias Riebisch 24.06.2020 SE2-2020 10.2 Zuständigkeiten Prof. Dr. Matthias Riebisch 24.06.2020 SE2-2020 10.1 Kopplung, Kohäsion, LoDemeter Prof. Dr. Matthias Riebisch 17.06.2020 SE2-2020 9.7 HandsOn 2 Detlef Litterst 17.06.2020 SE2-2020 9.6 HandsOn 1 Detlef Litterst 17.06.2020 SE2-2020 9.5 Layoutmanager Prof. Dr. Matthias Riebisch 17.06.2020 SE2-2020 9.4 Lambdas,Events Prof. Dr. Matthias Riebisch 17.06.2020 SE2-2020 9.3 Listener Prof. Dr. Matthias Riebisch 17.06.2020 SE2-2020 9.2 Container Prof. Dr. Matthias Riebisch 17.06.2020 SE2-2020 9.1 Swing Prof. Dr. Matthias Riebisch 10.06.2020 SE2-2020 7.4 Entwurfsmuster Prof. Dr. Matthias Riebisch 10.06.2020 SE2-2020 7.3 Entwurf Prof. Dr. Matthias Riebisch 10.06.2020 SE2-2020 7.2 Modelle Struktur Verhalten Prof. Dr. Matthias Riebisch 10.06.2020 SE2-2020 7.1 Problemraum-Lösungsraum Prof. Dr. Matthias Riebisch 27.05.2020 SE2-2020 6.5 HandsOn 2 Detlef Litterst 27.05.2020 SE2-2020 6.4 HandsOn1 Detlef Litterst 27.05.2020 SE2-2020 6.3 Beobachtermuster Prof. Dr. Matthias Riebisch 27.05.2020 SE2-2020 6.2 Entwurfsregeln Prof. Dr. Matthias Riebisch 27.05.2020 SE2-2020 6.1 Fachliche Gegenstände Prof. Dr. Matthias Riebisch 20.05.2020 SE2-2020 5.8 HandsOn 2 Detlef Litterst 20.05.2020 SE2-2020 5.7 HandsOn1 Detlef Litterst 20.05.2020 SE2-2020 5.6 Fehler, Exceptions Prof. Dr. Matthias Riebisch 20.05.2020 SE2-2020 5.5 Modularität - Java Module Prof. Dr. Matthias Riebisch 20.05.2020 SE2-2020 5.4 Zugriffsquiz Prof. Dr. Matthias Riebisch 20.05.2020 SE2-2020 5.3 Zugriffsschutz Prof. Dr. Matthias Riebisch 20.05.2020 SE2-2020 5.2 Modularität: Pakete Prof. Dr. Matthias Riebisch 20.05.2020 SE2-2020 5.1 Modularität: Klassen Prof. Dr. Matthias Riebisch 13.05.2020 SE2-2020 4.8 HandsOn2 Detlef Litterst 13.05.2020 SE2-2020 4.7 HandsOn 1 Detlef Litterst 13.05.2020 SE2-2020 4.6 Vererbung und Konstruktoren Prof. Dr. Matthias Riebisch 13.05.2020 SE2-2020 4.5 Schablonen- und Einschubmethode Prof. Dr. Matthias Riebisch 13.05.2020 SE2-2020 4.3 Abstrakte Klassen und Methoden Prof. Dr. Matthias Riebisch 13.05.2020 SE2-2020 4.3 Redefinieren Prof. Dr. Matthias Riebisch 13.05.2020 SE2-2020 4.2 Besonderheiten Java Prof. Dr. Matthias Riebisch 13.05.2020 SE2 2020 4.1 Implementationsvererbung - Ziele Prof. Dr. Matthias Riebisch 06.05.2020 SE2-2020 3.7 HandsOn Teil2 Implementationsvererbung Redefinieren Vertragsmodell Detlef Litterst 06.05.2020 SE2-2020-3-6 HandsOn Typvererbung Polymorphie Detlef Litterst 06.05.2020 SE2-2020 3-5 Polymorphie und Vererbung Prof. Dr. Matthias Riebisch 06.05.2020 SE2-2020 3-4 Vererbung und Typhierarchien Prof. Dr. Matthias Riebisch 06.05.2020 SE2-2020 3-3 Polymorphie und Subtyping Prof. Dr. Matthias Riebisch 06.05.2020 SE2-2020 3.2 Dynamisches Binden Prof. Dr. Matthias Riebisch 06.05.2020 SE2-2020 3.1 Vererbung Prof. Dr. Matthias Riebisch 29.04.2020 SE2-2020 2.7 HandsOn Teil2 Detlef Litterst 29.04.2020 SE2-2020 2.6 HandsOn Teil 1 Detlef Litterst 29.04.2020 SE2-2020 2.5 Testen Prof. Dr. Matthias Riebisch 29.04.2020 SE2-2020 2.4 Reviews Prof. Dr. Matthias Riebisch 29.04.2020 SE2-2020 2.3 Vertragsmodell in Java Prof. Dr. Matthias Riebisch 29.04.2020 SE2-2020 2.2 Vertragsmodell Prof. Dr. Matthias Riebisch 29.04.2020 SE2-2020 2.1 Fehler und Korrektheit Prof. Dr. Matthias Riebisch 22.04.2020 SE2-2020 1. HandsOn2: UML Detlef Litterst 22.04.2020 SE2-2020 1. HandsOn1: Eclipse Detlef Litterst 22.04.2020 SE2-2020 1. Ziele - Modelle Prof. Dr. Matthias Riebisch 22.04.2020 SE2-2020 1. Ziele - Komplexität Prof. Dr. Matthias Riebisch 22.04.2020 SE2 2020 - Willkommen und Organisatorisches Prof. Dr. Matthias Riebisch
SoSe 20 Software Entwicklung 2 - Repetitorium 2020 1. Klausur Michael Straßberger Lehrvideo/Tutorial Informatik
4 SoSe 20 Modelling Vagueness and Uncertainty in Digital Humanities Dr. Davor Lauc, Prof. Dr. Michael Piotrowski, Dr. Fairouz Zendaoui et al. Konferenz/Tagung MIN-Fakultät 09.07.2020 DavorLauc_ReasoningInexactTemporalExpressions Dr. Davor Lauc 10.07.2020 MichaelPiotrovski_WhatAreWeUncertainAbout Prof. Dr. Michael Piotrowski 10.07.2020 FairouzZendaoui_UncertaintyHistoricalInformation Dr. Fairouz Zendaoui 10.07.2020 FernandoBobillo_FuzzyOntologyReasoning Prof. Dr. Fernando Bobillo
12 SoSe 20 Old Scripts in New Digital Age Hermeneutics versus Artificial Intelligence Dr. Elie Dannaoui, Dr. Mateusz Fafinski, Dr. Hithem Sidky et al. Ringvorlesung Informatik 13.07.2020 ElieDannaoui_OldArabicTranslationsGospels Dr. Elie Dannaoui 13.07.2020 Fafinski_UncertaintyManuscripts Dr. Mateusz Fafinski 13.07.2020 HythemSidky_ReconstructingQuaranicTransmissions Dr. Hithem Sidky 13.07.2020 vHahnVertan_UncertainGeoNames Dr. Christina Vertan, Prof. Dr. Walther von Hahn 06.07.2020 GeorgesKiraz_FromParchment2DigitalTablets Dr George Kiraz 06.07.2020 VirginioCantoni_TechnlogicalInnovationAccessibility Prof. Dr. Virginio Cantoni 06.07.2020 ChristianPrager_MayaHyerogliphicWritting Dr Christian Prager 06.07.2020 TaraAndrews_ComputationalModelsEditingMedieval Texts Univ. Prof. Dr. Tara Andrews 29.06.2020 AliciaGonzalez_CrossscriptsearchHistoricalTexts Dr. Alicia Gonzalez Martinez 29.06.2020 DavidGarcia_ComputationalAffectiveScience Dr. David Garcia 29.06.2020 MarcoBüchler_HistoricalTextReuse Dr Marco Büchler 29.06.2020 DinoBuzzetti_HumanitiesComputingDH Dino Buzzetti
30 SoSe 20 Eingebettete Systeme - Vl Dr. Andreas Mäder Lehrveranstaltung Informatik 13.07.2020 ES Optimizations 7.3/7.4 Dr. Andreas Mäder 08.07.2020 ES Optimizations 7.2 Dr. Andreas Mäder 06.07.2020 ES Optimizations 7.1 Dr. Andreas Mäder 06.07.2020 ES Mapping 6.5 Dr. Andreas Mäder 03.07.2020 ES Mapping 6.4 Dr. Andreas Mäder 02.07.2020 ES Mapping 6.3 Dr. Andreas Mäder 29.06.2020 ES Mapping 6.2 Dr. Andreas Mäder 29.06.2020 ES Mapping 6.1 Dr. Andreas Mäder 22.06.2020 ES Evaluation 5.3 Dr. Andreas Mäder 15.06.2020 ES Evaluation 5.2 Dr. Andreas Mäder 10.06.2020 ES Evaluation 5.1b Dr. Andreas Mäder 10.06.2020 ES Optimierung 9 Dr. Andreas Mäder 10.06.2020 ES Evaluation 5.1a Dr. Andreas Mäder 05.06.2020 ES Embedded OS 4.2 Dr. Andreas Mäder 28.05.2020 ES Embedded OS 4.1 Dr. Andreas Mäder 25.05.2020 ES Hardware 3.4 Dr. Andreas Mäder 19.05.2020 ES Hardware 3.3 Dr. Andreas Mäder 13.05.2020 ES Hardware 3.2 Dr. Andreas Mäder 11.05.2020 ES Hardware 3.1 Dr. Andreas Mäder 06.05.2020 ES MOC 2.7 Dr. Andreas Mäder 04.05.2020 ES MOC 2.6b Dr. Andreas Mäder 04.05.2020 ES MOC 2.6a Dr. Andreas Mäder 28.04.2020 ES MOC 2.5 Dr. Andreas Mäder 27.04.2020 ES MOC 2.4 Dr. Andreas Mäder 26.04.2020 ES MOC 2.3 Dr. Andreas Mäder 24.04.2020 ES MOC 2.2 Dr. Andreas Mäder 23.04.2020 ES MOC 2.1 Dr. Andreas Mäder 21.04.2020 ES Intro 1.2 Dr. Andreas Mäder 20.04.2020 ES Intro 1.1 Dr. Andreas Mäder 17.04.2020 ES Organisation Dr. Andreas Mäder
38 SoSe 20 Vorlesung Softwaretechnik - Teil 1 donnerstags Prof. Dr. Matthias Riebisch Lehrveranstaltung Informatik 09.07.2020 SWT2020 5.4 OO-Vorgehensmodelle 5.5 CMM Prof. Dr. Matthias Riebisch 09.07.2020 SWT2020 5.3 Agile Vorgehensmodelle Scrum Prof. Dr. Matthias Riebisch 09.07.2020 SWT2020 5.1 Vorgehensmodelle 5.2 V-Modell Prof. Dr. Matthias Riebisch 02.07.2020 SWT2020 4.2.3 Refactoring-Beispiel Prof. Dr. Matthias Riebisch 02.07.2020 SWT2020 4.2.2 Bad Smells Prof. Dr. Matthias Riebisch 02.07.2020 SWT2020 4.2.1 Refactoring Prof. Dr. Matthias Riebisch 02.07.2020 SWT2020 4.1.4 Reverse-Reengineering Prof. Dr. Matthias Riebisch 25.06.2020 SWT2020 4.1.3 Staged Model Prof. Dr. Matthias Riebisch 25.06.2020 SWT2020 4.1.2 TechnicalDebt Prof. Dr. Matthias Riebisch 25.06.2020 SWT2020 4.1 Geschäftskritische SW und Änderungen Prof. Dr. Matthias Riebisch 18.06.2020 SWT2020 3.6.2 Reviewkriterien Prof. Dr. Matthias Riebisch 18.06.2020 SWT2020 3.6.1 Reviews Prof. Dr. Matthias Riebisch 18.06.2020 SWT2020 3.5.5 OO Testen Prof. Dr. Matthias Riebisch 18.06.2020 SWT2020 3.5.4 Zustands- und UseCase-basiertes Testen Prof. Dr. Matthias Riebisch 18.06.2020 SWT2020 3.5.3 Grenzwerte Entscheidungstabellen Prof. Dr. Matthias Riebisch 11.06.2020 SWT2020 3.5.2 Äquivalenzklassen Prof. Dr. Matthias Riebisch 11.06.2020 SWT2020 3.5 Tests 1 Prof. Dr. Matthias Riebisch 11.06.2020 SWT2020 3.4 Analytische Maßnahmen Prof. Dr. Matthias Riebisch 11.06.2020 SWT2020 3.3 Qualitätsmanagement-Maßnahmen Überblick Prof. Dr. Matthias Riebisch 11.06.2020 SWT2020 3.2 Fehlerfortpflanzung Prof. Dr. Matthias Riebisch 28.05.2020 SWT2020 3.1.2 Prozess-Produktqualität Prof. Dr. Matthias Riebisch 28.05.2020 SWT2020 3.1.1 Qualitätsmerkmale ISO Prof. Dr. Matthias Riebisch 28.05.2020 SWT2020 2.5 Sequenzdiagramm Prof. Dr. Matthias Riebisch 28.05.2020 SWT2020 2.4 Kommunikationsdiagramm Prof. Dr. Matthias Riebisch 28.05.2020 SWT2020 2.3 Zerlegungskriterien II SOA Prof. Dr. Matthias Riebisch 14.05.2020 SWT2020 2.3 Zerlegungskriterien 1 Prof. Dr. Matthias Riebisch 13.05.2020 SWT2020 2.1 Entwurf - Ziele, 2.2 Entwurfsmethoden Prof. Dr. Matthias Riebisch 07.05.2020 SWT2020 1.6 Zustandsdiagrmm Prof. Dr. Matthias Riebisch 07.05.2020 SWT2020 1.5 Klassendiagramm Prof. Dr. Matthias Riebisch 07.05.2020 SWT2020 1.4 Problembereichsmodell Prof. Dr. Matthias Riebisch 30.04.2020 SWT2020 1.3.4 UML-Aktivitätsdiagramm Prof. Dr. Matthias Riebisch 30.04.2020 SWT2020 1.3.3 Änderungsmanagement Prof. Dr. Matthias Riebisch 30.04.2020 SWT2020 1.3.2 UML Stereotype Prof. Dr. Matthias Riebisch 30.04.2020 SWR 1.3.1 UML-Pakete Prof. Dr. Matthias Riebisch 23.04.2020 SWT2020 1.2 UseCase-Modellierung mit UML Prof. Dr. Matthias Riebisch 23.04.2020 SWT2020 1.1.2 Anforderungsbeschreibung Prof. Dr. Matthias Riebisch 23.04.2020 SWT2020 1.1 Frühe Phasen im Vorgehensmodell Prof. Dr. Matthias Riebisch 23.04.2020 SWT2020 0 Organisatorisches Prof. Dr. Matthias Riebisch
35 Informatisches Kolloquium Prof. Dr. Peter Schmelcher, Prof Bjoern Eskofier, Dr Jörg Daubert et al. Ringvorlesung Informatik 15.06.2020 From Quantum Dynamics to Quantum Networks Prof. Dr. Peter Schmelcher 17.02.2020 Ubiquitous Health: Wearable Computing Systems that Increase Quality of Life and Transform Health Care Prof Bjoern Eskofier 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
39 SoSe 20 Vorlesung Software-Reengineering Prof. Dr. Matthias Riebisch Lehrveranstaltung Informatik 23.06.2020 SWRE2020 7. Tools Prof. Dr. Matthias Riebisch 23.06.2020 SWRE2020 6.4 Einbindung in Prozessmodelle Prof. Dr. Matthias Riebisch 23.06.2020 SWRE2020 6.3 Teststrategien Prof. Dr. Matthias Riebisch 23.06.2020 SWRE2020-Migrationsstrategien Prof. Dr. Matthias Riebisch 16.06.2020 SWRE2020 5.2 Wrapping-Beispiel Prof. Dr. Matthias Riebisch 16.06.2020 SWRE2020 6.1 Bezug Projektmanagement Prof. Dr. Matthias Riebisch 16.06.2020 SWRE2020 5.2 Wrapping Prof. Dr. Matthias Riebisch 16.06.2020 SWRE2020 5.1 Traceability Prof. Dr. Matthias Riebisch 09.06.2020 SWRE2020 4.4.6 Seams Prof. Dr. Matthias Riebisch 09.06.2020 SWRE2020 4.4.5 Fake-Mock-Objekte Prof. Dr. Matthias Riebisch 09.06.2020 SWRE2020 4.4.4 Charakterisierungstests Prof. Dr. Matthias Riebisch 26.05.2020 SWRE2020 4.4.3 Ummanteln Prof. Dr. Matthias Riebisch 26.05.2020 SWRE2020 4.4.1 Kleine Tests Prof. Dr. Matthias Riebisch 26.05.2020 SWRE2020 4.4.1 Herausforderungen Prof. Dr. Matthias Riebisch 26.05.2020 SWRE2020 4.3 Refactoring II Prof. Dr. Matthias Riebisch 19.05.2020 SWRE2020 4.3 Refactoring I Prof. Dr. Matthias Riebisch 19.05.2020 SWRE2020 4.2 DatenReengineering Prof. Dr. Matthias Riebisch 19.05.2020 SWRE2020 4.1 Modularisierung und Restrukturierung Prof. Dr. Matthias Riebisch 19.05.2020 SWRE2020 3.4.4 Program Slicing Prof. Dr. Matthias Riebisch 19.05.2020 SWRE2020 3.4.3 Code-Clones Prof. Dr. Matthias Riebisch 19.05.2020 SWRE2020 3.4.2 Compiler-Techniken Prof. Dr. Matthias Riebisch 19.05.2020 SWRE2020 3.4.1 Bad Smells Prof. Dr. Matthias Riebisch 12.05.2020 SWRE2020 3.3.3 Architektur-Rekonstruktion Prof. Dr. Matthias Riebisch 12.05.2020 SWRE2020 3.3.2 Programmverstehen Prof. Dr. Matthias Riebisch 12.05.2020 SWRE2020 3.3 Analyse auf EntwurfsArchitekturebene Prof. Dr. Matthias Riebisch 12.05.2020 SWRE2020 3.2.3-2 Visualisierung Dynamisch Prof. Dr. Matthias Riebisch 12.05.2020 SWRE2020 3.2.2 Abdeckungsanalyse Prof. Dr. Matthias Riebisch 11.05.2020 SWRE2020 3.2.3-1 Visualisierung Statisch Prof. Dr. Matthias Riebisch 05.05.2020 SWRE2020 3.2.1 Metriken Prof. Dr. Matthias Riebisch 05.05.2020 SWRE2020 3.1 Ziele Analyse und Assessment Prof. Dr. Matthias Riebisch 28.04.2020 SWRE2020 2.3 Bewertung von Legacy-Systemen Prof. Dr. Matthias Riebisch 28.04.2020 SWRE2020 2.2 Strukturen von Legacy-Systemen Prof. Dr. Matthias Riebisch 28.04.2020 SWRE2020 2.1 Legacy-Systeme und Änderungen Prof. Dr. Matthias Riebisch 21.04.2020 SWRE2020 Willkommen & Organisation Prof. Dr. Matthias Riebisch 21.04.2020 SWRE2020 1.5 Reengineering Prof. Dr. Matthias Riebisch 21.04.2020 SWRE2020 1.4 Wartbarkeit Prof. Dr. Matthias Riebisch 21.04.2020 SWRE2020 1.3 Software-Wartung und Software-Evolution Prof. Dr. Matthias Riebisch 21.04.2020 SWRE2020 1.2 Änderungen und langfristige Nutzbarkeit Prof. Dr. Matthias Riebisch 21.04.2020 SWRE2020 1.1 Geschäftskritische Systeme Prof. Dr. Matthias Riebisch
7 SoSe 20 Übungen zu Softwaretechnik Leif Bonorden Lehrveranstaltung Informatik 01.06.2020 Thema 3: Werkzeug diagrams.net Leif Bonorden 01.06.2020 Thema 3: Werkzeug Adobe XD Leif Bonorden 01.06.2020 Thema 3: Werkzeug Figma Leif Bonorden 18.05.2020 Thema 2: Zustandsdiagramme erstellen Leif Bonorden 18.05.2020 Thema 2: Aktivitätsdiagramme erstellen Leif Bonorden 04.05.2020 Thema 1: Use-Case-Diagramme und -Beschreibungen erstellen Leif Bonorden 23.04.2020 Ablauf der Übungen Leif Bonorden
3 SoSe 20 VHDL Schaltungs- und Systementwurf Dr. Andreas Mäder Lehrveranstaltung Informatik 24.04.2020 HDL Übersicht Dr. Andreas Mäder 20.04.2020 VHDL Einführung 2 Dr. Andreas Mäder 19.04.2020 VHDL Einführung 1 Dr. Andreas Mäder
7 WiSe 19/20 Taming the Machines - IT for a Good Society Dr. Pak-Hang Wong, Prof. Dr. Bernhard Rieder, Prof. Dr. Barbara Prainsack et al. Ringvorlesung Informatik 29.01.2020 Three Arguments for “Responsible Users”. AI Ethics for Ordinary People Dr. Pak-Hang Wong 16.01.2020 Beyond Ethics in Data Mining. For a Political Discussion of a Political Issue Prof. Dr. Bernhard Rieder 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
24 WiSe 19/20 Rechnerstrukturen und Betriebssysteme Dr. Andreas Mäder Lehrveranstaltung Informatik 31.01.2020 Sitzung 28 - Betriebssysteme Dr. Andreas Mäder 29.01.2020 Sitzung 27 - Betriebsysteme Dr. Andreas Mäder 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
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
12 SoSe 19 Statistical Methods of Language Technology Prof. Dr. Chris Biemann, Dr. Meriem Beloucif Lehrveranstaltung Informatik 10.07.2019 13- statistical machine translation part 2 and finishing up other topics Prof. Dr. Chris Biemann 03.07.2019 12 - statistical machine translation Prof. Dr. Chris Biemann, Dr. Meriem Beloucif 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.