Skip to Content
Sign In
Sign In
en
|
de
Lecture2Go
Catalog
About
Recording
FAQ
Lecture2Go
Catalog
/
Catalog
Lecture2Go
Catalog
Universität Hamburg
F.6 - Mathematik, Informatik, Naturwissenschaften
Video Catalog
Institution
F.6 - Mathematik, Informatik, Naturwissenschaften
Sub institution
Informatik
Term
SoSe 16
Category
Lehrveranstaltung
14
SoSe 16
Softwareentwicklung II - Objektorientierte Programmierung und Modellierung
Dr. Guido Gryczan
,
Fredrik Winkler
,
Prof. Dr. Matthias Riebisch
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
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