Catalog

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

Video Catalog

Institution

F.6 - Mathematik, Informatik, Naturwissenschaften

Sub institution

Informatik

Term

WiSe 13/14

Category


1 WiSe 13/14 Informatisches Kolloquium Ralf Herbrich Ringvorlesung Informatik 25.11.2013 Bayesian Learning in Online Services Ralf Herbrich
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

Showing 7 results.