14 - Klausurvorbereitung

13 - Nachholprogramm equals

12 - Refactoring

11 - Fachwerte

10 - Objektorientierter Entwurf

9 - Programmierung von GUIs

8 - Entwurfsmuster

7 - Entwurfsregeln

6 - Strukturierung interaktiver Anwendungssysteme

5 - Fehlerbehandlung

4 - Vererbung

3 - Polymorphie und Vererbung

2 - Formale Korrektheit, Abstrakte Datentypen und Vertragsmodell

Softwareentwicklung II - Eröffnungsveranstaltung

26 - Zusammenfassung

25 - NP-Vollständigkeit Teil 2

24 - NP-Vollständigkeit

23 - P un NP

22 - Zeit- und Platzkomplexität

21 - Unentscheidbarkeit, Herbrand-Theorie, Resolution

20 - Prädikatenlogische Normalformen Teil 2 und Prädikatenlogische Resolution

19 - Prädikatenlogische Normalformen

18 - Prädikatenlogik Syntax & Semantik Teil 2

17 - Prädikatenlogik Syntax & Semantik

16 - Resolution

15 - Normalformen und Hornformeln

14 - Folgerbarkeit, Äquivalenzen und Normalformen

13 - Aussagenlogik Syntax & Semantik

12 - Aufzählbarkeit und (Un-)Entscheidbarkeit Teil 2 und Wiederholung der ersten 12 Vorlesungen

11 - Aufzählbarkeit und (Un-)Entscheidbarkeit

10 - Turing Maschinen Teil 2

9 - Turing Maschinen

8 - Eigensch. & Grenzen kontexfreier Sprachen

7 - Kontextfreie Sprachen

6 - Abschlusseigenschaften & Grenzen regulärer Sprachen

5 - Abschlusseigenschaften

4 - DFAs und NFAs Teil 2

3 - DFAs und NFAs

2 - Endl. Automaten und reguläre Sprachen

1 - Endliche Automaten