Skip to Content
Sign In
Sign In
en
|
de
Lecture2Go
Catalog
About
Recording
FAQ
Catalog
/
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 20/21
SoSe 20
WiSe 19/20
SoSe 19
WiSe 17/18
SoSe 17
WiSe 16/17
SoSe 16
WiSe 15/16
SoSe 15
WiSe 14/15
SoSe 14
WiSe 13/14
SoSe 13
WiSe 12/13
SoSe 12
WiSe 11/12
SoSe 11
WiSe 10/11
SoSe 10
WiSe 09/10
SoSe 09
Without term
More
Category
Lehrveranstaltung
Konferenz/Tagung
Lehrvideo/Tutorial
Einzelvortrag
Ringvorlesung
Informations-/Imagevideo
14
SoSe 15
Softwareentwicklung II - Objektorientierte Programmierung und Modellierung
Dr. Guido Gryczan
,
Fredrik Winkler
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
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.
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
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
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
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
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.
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
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.
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
Page 5 of 9
1
2
3
4
5
6
7
8
9
10 Items per Page
5
10
20
30
50
75
Showing 41 - 50 of 87 results.
← First
Previous
Next
Last →