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 - 20 of 69 results.


34 Informatisches Kolloquium Prof Bjoern Eskofier, Dr Jörg Daubert, Prof. Dr. Prof. h.c. Andreas Dengel et al. Ringvorlesung Informatik 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
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
10 SoSe 19 Statistical Methods of Language Technology Prof. Dr. Chris Biemann Lehrveranstaltung Informatik 19.06.2019 10 - dense vector representations part 3 and Graph-based methods for NLP Prof. Dr. Chris Biemann 05.06.2019 09 -dense vector representations part 2 Prof. Dr. Chris Biemann 29.05.2019 08 - statistical parsing part 2 and dense vector representations Prof. Dr. Chris Biemann 22.05.2019 07 - statistical parsing Prof. Dr. Chris Biemann 15.05.2019 06 - POS Tagging, Syntax Processing Prof. Dr. Chris Biemann 08.05.2019 05 - Hidden Markov Models part 2 and Sequence Tagging Prof. Dr. Chris Biemann 24.04.2019 04 - Language Models part 3 and Hidden Markov Models Prof. Dr. Chris Biemann 17.04.2019 03 - Language Models part 2 Prof. Dr. Chris Biemann 10.04.2019 02 - Search Trees and Language Models Prof. Dr. Chris Biemann 03.04.2019 01 - Chomsky Hierarchy of formal languages and Finite State Morphology Prof. Dr. Chris Biemann
3 SoSe 19 Tutorium Softwareentwicklung 2 (SE2) Michael Straßberger Lehrvideo/Tutorial Informatik 29.05.2019 Funktionale Programmierung Michael Straßberger 10.04.2019 Vorbereitung Programmierdiktat Michael Straßberger 03.04.2019 Rückblick SE1 Michael Straßberger
3 SoSe 19 Weltmacht Vereinigte Daten: Eine Chronik der digitalen Transformation Prof. Dr. Arno Rolf Lehrveranstaltung Informatik 16.04.2019 Chronik Teil 4: Antworten, Optionen, Innovationen Prof. Dr. Arno Rolf 09.04.2019 Chronik Teil 2: Von der SAP-Welt zu den Bausteinen der digitalen Transformation Prof. Dr. Arno Rolf 02.04.2019 Chronik Teil 1: Von F.W. Taylor und Henry Ford zur SAP-Welt Prof. Dr. Arno Rolf
24 WiSe 17/18 Grundlagen der Wissensverarbeitung Prof. Dr.-Ing. Wolfgang Menzel Lehrveranstaltung Informatik 30.01.2018 26 - Klausurhinweise und Constraint Satisfaction in der Sprachverarbeitung Prof. Dr.-Ing. Wolfgang Menzel 29.01.2018 25 - Planning with relational actions Prof. Dr.-Ing. Wolfgang Menzel 23.01.2018 24 - Reasoning about Individuals and Relations Teil 2 Prof. Dr.-Ing. Wolfgang Menzel 22.01.2018 23 - Korrektur zum Whack-the-Mole Beispiel und Reasoning about Individuals and Relations Prof. Dr.-Ing. Wolfgang Menzel 16.01.2018 22 - Rational vs Human Behavior Prof. Dr.-Ing. Wolfgang Menzel 15.01.2018 21 - Decisions Networks, Policies und Properties of Preferences Prof. Dr.-Ing. Wolfgang Menzel 09.01.2018 20 - Planning Teil 2 und Decisions under Uncertainty Prof. Dr.-Ing. Wolfgang Menzel 08.01.2018 19 - Dynamic Bayesian Networks und Planning Prof. Dr.-Ing. Wolfgang Menzel 19.12.2017 18 - Bayesian Networks: Whack-the-Mole Example Prof. Dr.-Ing. Wolfgang Menzel 18.12.2017 17 - Multimodal Human-Computer Interaction Prof. Dr.-Ing. Wolfgang Menzel 12.12.2017 16 - Hidden Markov Models Teil 2 und Sensor Data Fusion Prof. Dr.-Ing. Wolfgang Menzel 11.12.2017 15 - Hidden Markov Models Prof. Dr.-Ing. Wolfgang Menzel 05.12.2017 14 - Belief Networks Teil 2 Prof. Dr.-Ing. Wolfgang Menzel 04.12.2017 13 - Belief Networks Prof. Dr.-Ing. Wolfgang Menzel 28.11.2017 12 - Reasoning under Uncertainty Prof. Dr.-Ing. Wolfgang Menzel 27.11.2017 11 - Reasoning und Causal Networks Prof. Dr.-Ing. Wolfgang Menzel 21.11.2017 10 - Propositions and Inference Teil 2 Prof. Dr.-Ing. Wolfgang Menzel 20.11.2017 09 - Propositions and Inference Prof. Dr.-Ing. Wolfgang Menzel 14.11.2017 08 - Constraint Satisfaction Problems Teil 2 Prof. Dr.-Ing. Wolfgang Menzel 13.11.2017 07 - Constraint Satisfaction Problems Prof. Dr.-Ing. Wolfgang Menzel 07.11.2017 06 - Isolated Word Recognition, Summary Search und scheduling activities Prof. Dr.-Ing. Wolfgang Menzel 06.11.2017 05 - Iterative Deepening, Dynamic Programming und String-to-String Mapping Prof. Dr.-Ing. Wolfgang Menzel 30.10.2017 04 - heuristische Suche Teil 2, cycle checking und multiple path pruning Prof. Dr.-Ing. Wolfgang Menzel 23.10.2017 03 - künstliche Intelligenz und heuristische Suche Prof. Dr.-Ing. Wolfgang Menzel
11 SoSe 17 Die maschinelle Verarbeitung natürlicher Sprache Prof. Dr. Liviu Dinu, Prof. Dr. Susanne Jekat, Prof. Dr. Svetla Boytcheva et al. Ringvorlesung Informatik 10.07.2017 11 - Computational Approaches to Romanian Loan Words Prof. Dr. Liviu Dinu 03.07.2017 10 - Sprachtechnologie in der barrierefreien Kommunikation Prof. Dr. Susanne Jekat 26.06.2017 9 - Clinical Texts Mining Methods Based on Semantic Attributes Prof. Dr. Svetla Boytcheva 19.06.2017 8 - A Functional Computational Approach to Human Text Comprehension Prof. Dr. Gabor Prószéky 12.06.2017 7 - Extending the Knowledge Graph for the Task of Sense Disambiguation Prof. Dr. Petya Osenova, Dr. Kiril Simov 01.06.2017 6 - Multimodal Dialogue with Autonomous Systems Prof. Dr. Wolfgang Wahlster 29.05.2017 5 - The automatic generation of dialogue utterances, translations and reports Prof. Dr. Stephan Busemann 08.05.2017 4 - Computational linguistics, language technology and research infrastructures Prof. Dr. Gerhard Heyer 24.04.2017 3 - What we have learned from corpus annotation Prof. Dr. Eva Hajicová 20.04.2017 2 - A grammar checker for Czech Prof. Dr. Vladislav Kubon 20.04.2017 1 - Einführung und spatial cognitation in historical texts and maps Prof. Dr.-Ing. Wolfgang Menzel, Dr. Christina Vertan, Prof. Dr. Günther Görz
22 SoSe 17 Mathematik II für Studierende der Informatik (Diskrete Mathematik) Prof. Dr. Mathias Schacht, PD Prof. Stefan Geschke Lehrveranstaltung Informatik 10.07.2017 Analysis 10.07.2017 Mathias Schacht Prof. Dr. Mathias Schacht 06.07.2017 Analysis 06.07.2017 Mathias Schacht Prof. Dr. Mathias Schacht 03.07.2017 Analysis 03.07.2017 Mathias Schacht Prof. Dr. Mathias Schacht 29.06.2017 Analysis 29.06.2017 Mathias Schacht Prof. Dr. Mathias Schacht 22.06.2017 Analysis 22.06.2017 Mathias Schacht Prof. Dr. Mathias Schacht 19.06.2017 Analysis 19.06.2017 Mathias Schacht Prof. Dr. Mathias Schacht 15.06.2017 Analysis 15.06.2017 Mathias Schacht Prof. Dr. Mathias Schacht 12.06.2017 Analysis 12.06.2017 Mathias Schacht Prof. Dr. Mathias Schacht 01.06.2017 Analysis - Informatik 2. Semester 01.06.2017 Prof. Dr. Mathias Schacht 29.05.2017 Analysis - Informatik 2. Semester 29.05.2017 Prof. Dr. Mathias Schacht 18.05.2017 Analysis - Informatik 2. Semester 18.05.2017 PD Prof. Stefan Geschke 15.05.2017 Diskrete Mathematik - Informatik 2. Semester 15.05.2017 Prof. Dr. Mathias Schacht 11.05.2017 Diskrete Mathematik - Informatik 2. Semester 11.05.2017 Prof. Dr. Mathias Schacht 08.05.2017 Diskrete Mathematik - Informatik 2. Semester 08.05.2017 Prof. Dr. Mathias Schacht 04.05.2017 Diskrete Mathematik - Informatik 2. Semester 04.05.2017 Prof. Dr. Mathias Schacht 27.04.2017 Diskrete Mathematik - Informatik 2. Semester 27.04.2017 Prof. Dr. Mathias Schacht 24.04.2017 Diskrete Mathematik - Informatik 2. Semester 24.04.2017 Prof. Dr. Mathias Schacht 20.04.2017 Diskrete Mathematik - Informatik 2. Semester 20.04.2017 Prof. Dr. Mathias Schacht 13.04.2017 Diskrete Mathematik - Informatik 2. Semester 13.04.2017 Prof. Dr. Mathias Schacht 10.04.2017 Diskrete Mathematik - Informatik 2. Semester 10.04.2017 Prof. Dr. Mathias Schacht 06.04.2017 Diskrete Mathematik - Informatik 2. Semester 06.04.2017 Prof. Dr. Mathias Schacht 03.04.2017 Diskrete Mathematik - Informatik 2. Semester 03.04.2017 Prof. Dr. Mathias Schacht
3 SoSe 17 Des Googles Kern und andere Spinnennetze Prof. Dr. Arno Rolf Lehrveranstaltung Informatik 02.05.2017 3 - Folgen der Digitalen Transformation sowie Verankerung der digitalen Transformation in der Hochschullehre Prof. Dr. Arno Rolf 25.04.2017 2 - Bausteine, Muster und Folgen der Digitalen Transformation Prof. Dr. Arno Rolf 11.04.2017 1 - Bausteine der digitalen Transformation Prof. Dr. Arno Rolf
27 WiSe 16/17 Rechnerstrukturen Dr. Andreas Mäder, Dr. Norman Hendrich Lehrveranstaltung Informatik 03.02.2017 28 - Speicherhierarchie Teil 2 Dr. Andreas Mäder 01.02.2017 27 - Parallelarchitekturen und Speicherhierarchie Dr. Norman Hendrich 27.01.2017 26 - Pipelining und Parallelarchitekturen Dr. Norman Hendrich 25.01.2017 25 - Dynamische Speicherverwaltung Dr. Norman Hendrich 20.01.2017 24 - Assembler Programmierung Teil 3 Dr. Norman Hendrich 18.01.2017 23 - Assembler Programmierung Teil 2 Dr. Norman Hendrich 13.01.2017 22 - Assembler Progammierung Dr. Norman Hendrich 11.01.2017 21 - Warum Assembler? Dr. Andreas Mäder 23.12.2016 20 - Instruction Set Architecture Teil 2 Dr. Andreas Mäder 21.12.2016 19 - Instruction Set Architecture Teil 2 - Befehlsformate Dr. Andreas Mäder 16.12.2016 18 - Rechnerarchitektur Teil 3 und Instruction Set Architecture Dr. Andreas Mäder 14.12.2016 17 - Rechnerachitektur Teil 2 Dr. Andreas Mäder 09.12.2016 16 - Schaltwerke Teil 2 sowie Rechnerarchitektur Dr. Andreas Mäder 07.12.2016 15 - Schaltwerke Dr. Andreas Mäder 02.12.2016 14 - Schaltnetze Teil 2 Dr. Andreas Mäder 30.11.2016 13 - Schaltnetze Dr. Andreas Mäder 25.11.2016 12 - Schaltfunktionen und HADES Editior Dr. Andreas Mäder 23.11.2016 11 - Codierung - Hamming Code Dr. Andreas Mäder 18.11.2016 10 - Fehlererkennende Codes Dr. Andreas Mäder 16.11.2016 9 - Codierung - Symbolhäufigkeiten Dr. Andreas Mäder 11.11.2016 8 - Logische Operationen und Codierung Dr. Andreas Mäder 09.11.2016 7 - Zeichen und Text Dr. Andreas Mäder 02.11.2016 5 - Gleitkommazahlen Dr. Andreas Mäder 28.10.2016 4 - Ziffern und Zahlen Dr. Andreas Mäder 26.10.2016 3 - Moores Law Dr. Andreas Mäder 21.10.2016 2 - Digitalrechner Dr. Andreas Mäder 19.10.2016 1 - Einführung Dr. Andreas Mäder
17 WiSe 16/17 Mathematik I für Studierende der Informatik (Diskrete Mathematik) Prof. Dr. Mathias Schacht Lehrveranstaltung Informatik 23.12.2017 Diskrete Mathematik - Informatik 1. Semester 23.12.2016 Prof. Dr. Mathias Schacht 03.02.2017 Diskrete Mathematik - Informatik 1. Semester 03.02.2017 Prof. Dr. Mathias Schacht 02.02.2017 Diskrete Mathematik - Informatik 1. Semester 02.02.2017 Prof. Dr. Mathias Schacht 27.01.2017 Diskrete Mathematik - Informatik 1. Semester 27.01.2017 Prof. Dr. Mathias Schacht 20.01.2017 Diskrete Mathematik - Informatik 1. Semester 20.01.2017 Prof. Dr. Mathias Schacht 13.01.2017 Diskrete Mathematik - Informatik 1. Semester 13.01.2017 Prof. Dr. Mathias Schacht 12.01.2017 Diskrete Mathematik - Informatik 1. Semester 12.01.2017 Prof. Dr. Mathias Schacht 22.12.2016 Diskrete Mathematik - Informatik 1. Semester 22.12.2016 Prof. Dr. Mathias Schacht 16.12.2016 Diskrete Mathematik - Informatik 1. Semester 16.12.2016 Prof. Dr. Mathias Schacht 15.12.2016 Diskrete Mathematik - Informatik 1. Semester 15.12.2016 Prof. Dr. Mathias Schacht 09.12.2016 Diskrete Mathematik - Informatik 1. Semester 09.12.2016 Prof. Dr. Mathias Schacht 08.12.2016 Diskrete Mathematik - Informatik 1. Semester 08.12.2016 Prof. Dr. Mathias Schacht 02.12.2016 Diskrete Mathematik - Informatik 1. Semester 02.12.2016 Prof. Dr. Mathias Schacht 01.12.2016 Diskrete Mathematik - Informatik 1. Semester 01.12.2016 Prof. Dr. Mathias Schacht 25.11.2016 Diskrete Mathematik - Informatik 1. Semester 25.11.2016 Prof. Dr. Mathias Schacht 18.11.2016 Diskrete Mathematik - Informatik Prof. Dr. Mathias Schacht 17.11.2016 Diskrete Mathematik - Informatik 1. Semester 17.11.2016 Prof. Dr. Mathias Schacht
12 WiSe 16/17 Mathematisch Argumentieren und Beweisen Sebastian Böhne, Prof. Dr. Maria Knobelsdorf Lehrveranstaltung Informatik 13.10.2016 Binärbäume Sebastian Böhne, Prof. Dr. Maria Knobelsdorf 12.10.2016 Natürliche Zahlen Sebastian Böhne, Prof. Dr. Maria Knobelsdorf 11.10.2016 Listen Sebastian Böhne, Prof. Dr. Maria Knobelsdorf 10.10.2016 Nicht-rekursive Datentypen Sebastian Böhne, Prof. Dr. Maria Knobelsdorf 08.10.2016 Theoreme zu Gleichheit, Lambda-Ausdrücke, Suchen Sebastian Böhne, Prof. Dr. Maria Knobelsdorf 07.10.2016 Prädikatenlogik mit Gleichheit in Coq Sebastian Böhne, Prof. Dr. Maria Knobelsdorf 07.10.2016 Prädikatenlogische Regeln mit Gleichheit Sebastian Böhne, Prof. Dr. Maria Knobelsdorf 06.10.2016 Aussagenlogik in Coq Teil 2 und Formalisierung durch Prädikatenlogik Sebastian Böhne, Prof. Dr. Maria Knobelsdorf 06.10.2016 Aussagenlogik in Coq Teil 1 Sebastian Böhne, Prof. Dr. Maria Knobelsdorf 06.10.2016 Aussagenlogische Regeln Teil 2 und Kurzeinführung in Coq Sebastian Böhne, Prof. Dr. Maria Knobelsdorf 06.10.2016 Aussagenlogische Regeln Teil 1 Sebastian Böhne, Prof. Dr. Maria Knobelsdorf 06.10.2016 Mathematisches Argumentieren Sebastian Böhne, Prof. Dr. Maria Knobelsdorf
1 WiSe 13/14 Informatisches Kolloquium Ralf Herbrich Ringvorlesung Informatik 25.11.2013 Bayesian Learning in Online Services Ralf Herbrich
14 SoSe 16 Softwareentwicklung II - Objektorientierte Programmierung und Modellierung Dr. Guido Gryczan, Fredrik Winkler, Prof. Dr. Matthias Riebisch Lehrveranstaltung Informatik 13.07.2016 14 - Klausurvorbereitung Dr. Guido Gryczan, Fredrik Winkler 11.07.2016 13 - Nachholprogramm equals Fredrik Winkler 29.06.2016 12 - Refactoring Fredrik Winkler, Prof. Dr. Matthias Riebisch 22.06.2016 11 - Fachwerte Fredrik Winkler, Prof. Dr. Matthias Riebisch 15.06.2016 10 - Objektorientierter Entwurf Prof. Dr. Matthias Riebisch 08.06.2016 9 - Programmierung von GUIs Fredrik Winkler, Prof. Dr. Matthias Riebisch 01.06.2016 8 - Entwurfsmuster Dr. Guido Gryczan, Fredrik Winkler 25.05.2016 7 - Entwurfsregeln Fredrik Winkler, Prof. Dr. Matthias Riebisch 11.05.2016 6 - Strukturierung interaktiver Anwendungssysteme Fredrik Winkler, Prof. Dr. Matthias Riebisch 04.05.2016 5 - Fehlerbehandlung Dr. Guido Gryczan, Fredrik Winkler 27.04.2016 4 - Vererbung Dr. Guido Gryczan, Fredrik Winkler 20.04.2016 3 - Polymorphie und Vererbung Dr. Guido Gryczan, Fredrik Winkler, Prof. Dr. Matthias Riebisch 13.04.2016 2 - Formale Korrektheit, Abstrakte Datentypen und Vertragsmodell Dr. Guido Gryczan, Fredrik Winkler, Prof. Dr. Matthias Riebisch 06.04.2016 Softwareentwicklung II - Eröffnungsveranstaltung Dr. Guido Gryczan, Fredrik Winkler, Prof. Dr. Matthias Riebisch
26 SoSe 16 Formale Grundlagen der Informatik I Dr. Frank Heitmann Lehrveranstaltung Informatik 11.07.2016 26 - Zusammenfassung Dr. Frank Heitmann 05.07.2016 25 - NP-Vollständigkeit Teil 2 Dr. Frank Heitmann 04.07.2016 24 - NP-Vollständigkeit Dr. Frank Heitmann 28.06.2016 23 - P un NP Dr. Frank Heitmann 27.06.2016 22 - Zeit- und Platzkomplexität Dr. Frank Heitmann 20.06.2016 21 - Unentscheidbarkeit, Herbrand-Theorie, Resolution Dr. Frank Heitmann 14.06.2016 20 - Prädikatenlogische Normalformen Teil 2 und Prädikatenlogische Resolution Dr. Frank Heitmann 13.06.2016 19 - Prädikatenlogische Normalformen Dr. Frank Heitmann 07.06.2016 18 - Prädikatenlogik Syntax & Semantik Teil 2 Dr. Frank Heitmann 06.06.2016 17 - Prädikatenlogik Syntax & Semantik Dr. Frank Heitmann 31.05.2016 16 - Resolution Dr. Frank Heitmann 30.05.2016 15 - Normalformen und Hornformeln Dr. Frank Heitmann 24.05.2016 14 - Folgerbarkeit, Äquivalenzen und Normalformen Dr. Frank Heitmann 23.05.2016 13 - Aussagenlogik Syntax & Semantik Dr. Frank Heitmann 10.05.2016 12 - Aufzählbarkeit und (Un-)Entscheidbarkeit Teil 2 und Wiederholung der ersten 12 Vorlesungen Dr. Frank Heitmann 09.05.2016 11 - Aufzählbarkeit und (Un-)Entscheidbarkeit Dr. Frank Heitmann 03.05.2016 10 - Turing Maschinen Teil 2 Dr. Frank Heitmann 02.05.2016 9 - Turing Maschinen Dr. Frank Heitmann 26.04.2016 8 - Eigensch. & Grenzen kontexfreier Sprachen Dr. Frank Heitmann 25.04.2016 7 - Kontextfreie Sprachen Dr. Frank Heitmann 19.04.2016 6 - Abschlusseigenschaften & Grenzen regulärer Sprachen Dr. Frank Heitmann 18.04.2016 5 - Abschlusseigenschaften Dr. Frank Heitmann 12.04.2016 4 - DFAs und NFAs Teil 2 Dr. Frank Heitmann 11.04.2016 3 - DFAs und NFAs Dr. Frank Heitmann 05.04.2016 2 - Endl. Automaten und reguläre Sprachen Dr. Frank Heitmann 04.04.2016 1 - Endliche Automaten Dr. Frank Heitmann
10 WiSe 15/16 Softwareentwicklung III - Funktionale Programmierung Prof. Dr. Leonie Dreschler-Fischer Lehrveranstaltung Informatik 29.01.2016 14 - Zusammenfassung Prof. Dr. Leonie Dreschler-Fischer 22.01.2016 13 - Programmieren mit Zuständen, GPS Prof. Dr. Leonie Dreschler-Fischer 15.01.2016 12 - Prolog in Racket, Metaprogrammierung, stromorientierte Programmierung Prof. Dr. Leonie Dreschler-Fischer 08.01.2016 11 - Relationale Programmierung Prof. Dr. Leonie Dreschler-Fischer 18.12.2015 10 - ereignisorientierte Simulationssysteme, objektorientierte Verarbeitungsmodelle Prof. Dr. Leonie Dreschler-Fischer 11.12.2015 9 - Objekte und generische Funktionen Prof. Dr. Leonie Dreschler-Fischer 04.12.2015 8 - Pattern Matching, Eliza, GPS Prof. Dr. Leonie Dreschler-Fischer 27.11.2015 7 - Backtracking Prof. Dr. Leonie Dreschler-Fischer 20.11.2015 6 - Funktionen höherer Ordnung, modularer Entwurf, funktionale Abschlüsse und Graphische Bedienoberflächen Prof. Dr. Leonie Dreschler-Fischer 13.11.2015 5 - Rekursion und Induktion Prof. Dr. Leonie Dreschler-Fischer
14 WiSe 15/16 Softwareentwicklung I Dr. Guido Gryczan, Fredrik Winkler, Prof. Dr. Matthias Riebisch et al. Lehrveranstaltung Informatik 27.01.2016 14 - Zusammenfassung Dr. Guido Gryczan, Fredrik Winkler 20.01.2016 13 - Sammlungen implementieren II: Mengen Dr. Guido Gryczan, Fredrik Winkler 13.01.2016 12 - Dynamische Datenstrukturen Dr. Guido Gryczan, Fredrik Winkler 06.01.2016 11 - Arrays Dr. Guido Gryczan, Fredrik Winkler 16.12.2015 10 - Objektsammlungen Prof. Dr. Matthias Riebisch, Sandra Schröder 09.12.2015 9 - Klassen, Typen, Interfaces Fredrik Winkler, Prof. Dr. Matthias Riebisch 02.12.2015 8 - Rekursion Dr. Guido Gryczan, Fredrik Winkler 25.11.2015 7 - Strukturierte Programmierung Dr. Guido Gryczan, Fredrik Winkler 18.11.2015 6 - Das Typkonzept imperativer und objektorientierter Programmiersprachen Dr. Guido Gryczan, Fredrik Winkler 11.11.2015 5 - Elementare Typen Dr. Guido Gryczan, Fredrik Winkler 04.11.2015 4 - Prozedur/Methode Dr. Guido Gryczan, Fredrik Winkler 28.10.2015 3 - Klassendefinitionen / Exemplarerzeugungen Dr. Guido Gryczan, Fredrik Winkler 21.10.2015 2 - Karel the robot Fredrik Winkler 14.10.2015 1 - Einführung Dr. Guido Gryczan, Fredrik Winkler
13 WiSe 15/16 Algorithmen und Datenstrukturen Dr. Frank Heitmann Lehrveranstaltung Informatik 27.01.2016 13 - Wiederholung Dr. Frank Heitmann 20.01.2016 12 - Zusammenfassung Dr. Frank Heitmann 06.01.2016 11 - Flüsse Dr. Frank Heitmann 16.12.2015 10 - Minimale Spannbäume und kürzeste Pfade (Fortsetzung) Dr. Frank Heitmann 09.12.2015 9 - Minimale Spannbäume und kürzeste Pfade Dr. Frank Heitmann 02.12.2015 8 - Graphen Dr. Frank Heitmann 25.11.2015 7 - Dynamische Mengen, das Suchproblem & Binäre Suchbäume Dr. Frank Heitmann 18.11.2015 6 - Komplexitätstheorie: P, NP und NPC Dr. Frank Heitmann 11.11.2015 5 - Sortieren - (k?) eine untere Schranke Dr. Frank Heitmann 04.11.2015 4 - Neue Datenstrukturen, besseres (?) Sortieren Dr. Frank Heitmann 28.10.2015 3 - Divide & Conquer Dr. Frank Heitmann 21.10.2015 2 - Korrektheit von Algorithmen und Laufzeitanalyse rekursiver Algorithmen (mittels Rekurrenzgleichungen) Dr. Frank Heitmann 14.10.2015 1 - Einführung Dr. Frank Heitmann

Showing 1 - 20 of 69 results.