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


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

Showing 51 - 60 of 89 results.