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 - 30 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