Catalog

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

Video Catalog

Institution

F.6 - Mathematik, Informatik, Naturwissenschaften

Sub institution

Informatik

Term

SoSe 15

Category

Lehrveranstaltung


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