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


14 SoSe 15 Softwareentwicklung II - Objektorientierte Programmierung und Modellierung Dr. Guido Gryczan, Fredrik Winkler Lehrveranstaltung Informatik 10.07.2015 14 - Lehreevaluation Dr. Guido Gryczan, Fredrik Winkler 02.07.2015 13 - Refactoring Dr. Guido Gryczan, Fredrik Winkler 25.06.2015 12 - Werte und Objekte in Programmiersprachen Dr. Guido Gryczan 18.06.2015 11 - Klassenentwurf Dr. Guido Gryczan, Fredrik Winkler 11.06.2015 10 - Programmierung von Graphical User Interfaces (GUI) Dr. Guido Gryczan, Fredrik Winkler 05.06.2015 9 - Entwurfsmuster (Fortsetzung) Fredrik Winkler 21.05.2015 8 - Entwurfmuster Dr. Guido Gryczan 13.05.2015 7 - Reguläre Ausdrücke Fredrik Winkler 07.05.2015 6 - Entwurfsregeln Dr. Guido Gryczan 29.04.2015 5 -Fehlerbehandlung mit Exceptions / Namensräume und Modularisierung Dr. Guido Gryczan, Fredrik Winkler 23.04.2015 4 - Motivation: Wiederverwendung Dr. Guido Gryczan, Fredrik Winkler 16.04.2015 3 - Motivation: Vererbung Dr. Guido Gryczan 08.04.2015 2.1 - Motivation des Vertragsmodells Dr. Guido Gryczan 01.04.2015 1 - Eröffnungsveranstaltung Dr. Guido Gryczan
23 SoSe 15 FGI 1 Dr. Frank Heitmann Lehrveranstaltung Informatik 06.07.2015 23 - Zusammenfassung Dr. Frank Heitmann 30.06.2015 22 - Äquivalente Normalformen und Prädikatenlogische Resolution Dr. Frank Heitmann 30.06.2015 21 - Prädikatenlogische Normalform Dr. Frank Heitmann 25.06.2015 20 - Prädikatenlogik, Syntax und Semantik Dr. Frank Heitmann 22.06.2015 19 - Resolution Dr. Frank Heitmann 16.06.2015 18 - Ableitungen und Resolution Dr. Frank Heitmann 15.06.2015 17 - Ableitungen Dr. Frank Heitmann 09.06.2015 16 - Normalformen und Hornformeln Dr. Frank Heitmann 08.06.2015 15 - Folgerbarkeit, Äquivalenzen und Normalformen Dr. Frank Heitmann 02.06.2015 14 - Aussagenlogik / Syntax & Semantik Dr. Frank Heitmann 19.05.2015 13 - NP-Vollständigkeit Dr. Frank Heitmann 18.05.2015 12 - Zeit- und Platzkomplexität Dr. Frank Heitmann 12.05.2015 11 - Aufzählbarkeit und (Un-) Entscheidbarkeit (Teil 2) und Wiederholung Dr. Frank Heitmann 11.05.2015 10 - Aufzählbarkeit und (Un-) Entscheidbarkeit Dr. Frank Heitmann 05.05.2015 9 - Turing-Maschinen (Teil 2) Dr. Frank Heitmann 04.05.2015 8 - Turing-Maschinen Dr. Frank Heitmann 28.04.2015 7 - Eigenschaften kontextfreier Sprachen Dr. Frank Heitmann 27.04.2015 6 - Kontextfreie Sprachen Dr. Frank Heitmann 21.04.2015 5. - Über reguläre Sprachen hinaus - Kellerautomaten und Pumping Lemma (Teil 2) Dr. Frank Heitmann 20.04.2015 4 - Über reguläre Sprachen hinaus - Kellerautomaten und Pumping Lemma Dr. Frank Heitmann 14.04.2015 3 - Mehr zu regulären Sprachen Dr. Frank Heitmann 13.04.2015 2 - Endliche Automaten und reguläre Sprachen Dr. Frank Heitmann 07.04.2015 1 - Grundlagen Dr. Frank Heitmann
17 SoSe 13 MIN-Check Informatik Prof. Dr. Frank Steinicke, Uwe Debacher, Kai Rüstmann et al. Informations-/Imagevideo Informatik 24.06.2015 B.Sc. MCI (Mensch-Computer-Interaktion) Prof. Dr. Frank Steinicke 08.06.2015 IT im Beruf - Lehramt Informatik Uwe Debacher 08.06.2015 IT im Beruf - Software-Architekt Kai Rüstmann 08.06.2015 Interview Studierende B.Sc. Mensch-Computer-Interaktion Dorothee Geiser 08.06.2015 Experteninterview B.Sc. Informatik Prof. Dr.-Ing. Wolfgang Menzel 08.06.2015 Experteninterview - B.Sc. Computing in Science Prof. Dr. Matthias Rarey 08.06.2015 Experteninterview Lehramt Informatik Detlef Rick 08.06.2015 Experteninterview - B.Sc. Software-System-Entwicklung Dr. Axel Schmolitzky 08.06.2015 Interview Studierende - B.Sc. Computing in Science Yana Maslenko, Andreas Blaufelder, Christian Caesar 08.06.2015 Interview Studierende - M.Sc. Bio-Informatik Yana Maslenko, Andreas Blaufelder 08.06.2015 Experteninterview Studienfächer der Informatik Prof. Dr.-Ing. Wolfgang Menzel 08.06.2015 Projekt Helikopter Ben Adler 08.06.2015 Projekt Roboter Lasse Einig 05.06.2015 Projekt Sprachgesteuertes Spiel Maike Paetzel 05.06.2015 Projekt StuReSy Wolf Posdorfer 06.08.2013 Interview Studierende B.Sc. Mensch-Computer-Interaktion Dorothee Geiser 06.08.2013 Interview Studierende - B.Sc. Computing in Science Yana Maslenko, Andreas Blaufelder, Christian Casar
30 WiSe 14/15 Rechnerstrukturen Dr. Andreas Mäder Lehrveranstaltung Informatik 05.02.2015 29 - Fragestunde (Teil 2) Dr. Andreas Mäder 05.02.2015 28.2 - Fragestunde (Teil 1) Dr. Andreas Mäder 05.02.2015 28.1 - Klausurvorbereitung Dr. Andreas Mäder 30.01.2015 27 - SMP: Symmetric Multiproccessing Dr. Andreas Mäder 23.01.2015 26 - Motivation Dr. Andreas Mäder 23.01.2015 25 - Pipelining Dr. Andreas Mäder 16.01.2015 24 - Array Dr. Andreas Mäder 16.01.2015 23 - Stack Dr. Andreas Mäder 09.01.2015 22 - Assembler Dr. Andreas Mäder 08.01.2015 21 - Adressierungsarten Dr. Andreas Mäder 22.12.2014 20 - Byte-Order Dr. Andreas Mäder 18.12.2014 19 - Busse Dr. Andreas Mäder 15.12.2014 18 - Rechnerarchitektur Dr. Andreas Mäder 11.12.2014 17 - Beschreibung von Schaltwerken Dr. Andreas Mäder 08.12.2014 16 - Mealy-Modell und Moore-Modell/ Flipflops Dr. Andreas Mäder 05.12.2014 15 - Multiplizierer Dr. Andreas Mäder 01.12.2014 14 - Schaltnetze Dr. Andreas Mäder 28.11.2014 13 - Grafische Minimierungsverfahren Dr. Andreas Mäder 24.11.2014 12 - Schaltfuntionen Dr. Andreas Mäder 21.11.2014 11 - Strukturbeschreibung Dr. Andreas Mäder 14.11.2014 10 - Informationsbegriff Dr. Andreas Mäder 14.11.2014 9 - Codierung von Texten Dr. Andreas Mäder 10.11.2014 8 - Rechenregeln: Ring/Algebra Dr. Andreas Mäder 05.11.2014 7 - ISO 8859 Familie Dr. Andreas Mäder 03.11.2014 6 - Addition und Subtraktion Dr. Andreas Mäder 31.10.2014 5 - Gleitkommaformat Dr. Andreas Mäder 24.10.2014 4 - Ziffern und Zahlen Dr. Andreas Mäder 23.10.2014 3 - Moore's Law Dr. Andreas Mäder 20.10.2014 2 - Digitalrechner Dr. Andreas Mäder 16.10.2014 1 - Einführung Dr. Andreas Mäder
13 WiSe 14/15 Softwareentwicklung III - Funktionale Programmierung Prof. Dr. Leonie Dreschler-Fischer Lehrveranstaltung Informatik 30.01.2015 14 - Fallstudien Prof. Dr. Leonie Dreschler-Fischer 23.01.2015 13 - Metaprogrammierung und Programmierstile Prof. Dr. Leonie Dreschler-Fischer 16.01.2015 12 - Relationale Programmierung Prof. Dr. Leonie Dreschler-Fischer 09.01.2015 11 - Ereignisorientierte Simulation Prof. Dr. Leonie Dreschler-Fischer 12.12.2014 9 - Backtracking Prof. Dr. Leonie Dreschler-Fischer 05.12.2014 8 - Funktionale Abschlüsse Prof. Dr. Leonie Dreschler-Fischer 28.11.2014 7 - Der Entwurf von Funktionen Prof. Dr. Leonie Dreschler-Fischer 21.11.2014 6 - Rekursion und Induktion Prof. Dr. Leonie Dreschler-Fischer 07.11.2014 4- Datenabstraktion in Racket Prof. Dr. Leonie Dreschler-Fischer 03.11.2014 3 - Mehrdeutigkeit von Zahlen (Teil 1) Prof. Dr. Leonie Dreschler-Fischer 31.10.2014 3 - Mehrdeutigkeit von Zahlen (Teil 2) Prof. Dr. Leonie Dreschler-Fischer 27.10.2014 2 - Die Arbeitsumgebung Prof. Dr. Leonie Dreschler-Fischer 20.10.2014 1 - Einführung Prof. Dr. Leonie Dreschler-Fischer
14 WiSe 14/15 Softwareentwicklung I Dr. Guido Gryczan, Fredrik Winkler, Prof. Dr. Heinz Züllighoven Lehrveranstaltung Informatik 29.01.2015 14 - Mehr zu Sammlungen Dr. Guido Gryczan, Fredrik Winkler 21.01.2015 13 - Bäume und das Hash-Verfahren als Realisierung für Mengen Dr. Guido Gryczan, Fredrik Winkler 15.01.2015 12 - Testen/Listen Dr. Guido Gryczan, Fredrik Winkler 08.01.2015 11 - Array Dr. Guido Gryczan, Fredrik Winkler 19.12.2014 10 - Objektsammlungen Dr. Guido Gryczan, Fredrik Winkler 11.12.2014 9 - Klassen, Typen und Interfaces Dr. Guido Gryczan, Fredrik Winkler 05.12.2014 8 - Rekursion Dr. Guido Gryczan, Fredrik Winkler 27.11.2014 7 - Strukturierte Programmierung Dr. Guido Gryczan, Fredrik Winkler 19.11.2014 6 - Werttypen/ Referenztypen Dr. Guido Gryczan, Fredrik Winkler 14.11.2014 5 - Zuweisung Dr. Guido Gryczan, Fredrik Winkler 07.11.2014 4 - Imperative Grundkonzepte Fredrik Winkler 29.10.2014 3 - Karel the Robot - Lektion 2 1/2 Dr. Guido Gryczan, Fredrik Winkler 23.10.2014 2 - Robot - Lektion II Fredrik Winkler 15.10.2014 1 - Grundlagen objektorientierter Programmierung: Einführung Fredrik Winkler, Prof. Dr. Heinz Züllighoven
26 WiSe 14/15 Formale Grundlagen der Informatik 2 Dr. Daniel Moldt, Prof. Dr. Rüdiger Valk Lehrveranstaltung Informatik 28.01.2015 26 - Parallele Algorithmen Dr. Daniel Moldt 22.01.2015 25 - Parallele Maschinen Prof. Dr. Rüdiger Valk 21.01.2015 24- Fairness/Parallele Maschinen Prof. Dr. Rüdiger Valk 16.01.2015 23 - Geschützte Rekursion Prof. Dr. Rüdiger Valk 14.01.2015 22 - Parallele Komposition/Rekursion Prof. Dr. Rüdiger Valk 09.01.2015 21 - Prozessalgebra Prof. Dr. Rüdiger Valk 07.01.2015 20 - Prozessalgebra und Bisimulation Prof. Dr. Rüdiger Valk 19.12.2014 19 - Bankiersproblem Dr. Daniel Moldt 17.12.2014 18 - Bankiersproblem/ Renew Dr. Daniel Moldt 12.12.2014 17 - Höhere Petrinetze Dr. Daniel Moldt 10.12.2014 16 - CPN / Workflow Dr. Daniel Moldt 05.12.2014 15 - Systemverifikation durch Petrinetze Dr. Daniel Moldt 03.12.2014 14 - Zustandsraumexplosion Dr. Daniel Moldt 28.11.2014 13 - Analyse endlicher Erreichbarkeitsgraphen Dr. Daniel Moldt 26.11.2014 12 - Entscheidbarkeitsproblem Dr. Daniel Moldt 21.11.2014 11 - Kantenkonstante Netze (KKN) Dr. Daniel Moldt 18.11.2014 10 - Verfeinerung/Vergröberung Dr. Daniel Moldt 14.11.2014 9 - Partial order semantics Dr. Daniel Moldt 12.11.2014 8 - Synchrone Produkte (Wdh.)/ Partial order semantics Dr. Daniel Moldt 07.11.2014 7 - Computational Tree Logic (CTL) Prof. Dr. Rüdiger Valk 31.10.2014 6 - Temporale Logik Prof. Dr. Rüdiger Valk 29.10.2014 5 - Kripkestrukturen von Programmen Prof. Dr. Rüdiger Valk 23.10.2014 4 - Synchrone Produkte Prof. Dr. Rüdiger Valk 21.10.2014 3 - Büchi-Automaten Prof. Dr. Rüdiger Valk 16.10.2014 2 - Model-Checking Prof. Dr. Rüdiger Valk 14.10.2014 1 - Modellierung und Analyse von Informatiksystemen Prof. Dr. Rüdiger Valk
15 SoSe 14 Softwareentwicklung II - Objektorientierte Programmierung und Modellierung Fredrik Winkler, Prof. Dr. Heinz Züllighoven, Dr. Axel Schmolitzky et al. Lehrveranstaltung Informatik 10.07.2014 14 - Funktionalen Stack komplettieren; Lehreevaluation Fredrik Winkler, Prof. Dr. Heinz Züllighoven 03.07.2014 13 - Formale Korrektheit, Abstrakte Datentypen Fredrik Winkler, Prof. Dr. Heinz Züllighoven 26.06.2014 12 - Refactoring Dr. Axel Schmolitzky 19.06.2014 11 - Wert und Objekt Dr. Axel Schmolitzky 05.06.2014 10 - Klassenentwurf Dr. Axel Schmolitzky 30.05.2014 9b - Vorstellung von Livecode Dr. Guido Gryczan, Fredrik Winkler 30.05.2014 9a - Programmierung von GUIs Dr. Guido Gryczan 21.05.2014 8 - Entwurfsmuster Dr. Guido Gryczan 19.05.2014 7 - Strukturierung interaktiver Anwendungssysteme Dr. Guido Gryczan 08.05.2014 6 - Objektorientierte Modellierung - fachlich und technisch Prof. Dr. Heinz Züllighoven 05.05.2014 5 - Fehlerbehandlung mit Exceptions Dr. Axel Schmolitzky 24.04.2014 4 - Implementationsvererbung Dr. Axel Schmolitzky 17.04.2014 3 - Polymorphie und Vererbung Dr. Axel Schmolitzky 09.04.2014 2 - Testing Prof. Dr. Heinz Züllighoven 03.04.2014 1 - Einführung: Abstraktion und Modelle Prof. Dr. Heinz Züllighoven
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

Showing 41 - 50 of 87 results.