Catalog

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

Video Catalog

Institution

F.6 - Mathematik, Informatik, Naturwissenschaften

Sub institution

Informatik

Term

More

Category


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