Binärbäume

Natürliche Zahlen

Listen

Nicht-rekursive Datentypen

Theoreme zu Gleichheit, Lambda-Ausdrücke, Suchen

Prädikatenlogik mit Gleichheit in Coq

Prädikatenlogische Regeln mit Gleichheit

Aussagenlogik in Coq Teil 2 und Formalisierung durch Prädikatenlogik

Aussagenlogik in Coq Teil 1

Aussagenlogische Regeln Teil 2 und Kurzeinführung in Coq

Aussagenlogische Regeln Teil 1

Mathematisches Argumentieren

Bayesian Learning in Online Services

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

14 - Zusammenfassung

13 - Programmieren mit Zuständen, GPS

12 - Prolog in Racket, Metaprogrammierung, stromorientierte Programmierung

11 - Relationale Programmierung

10 - ereignisorientierte Simulationssysteme, objektorientierte Verarbeitungsmodelle

9 - Objekte und generische Funktionen

8 - Pattern Matching, Eliza, GPS

7 - Backtracking

6 - Funktionen höherer Ordnung, modularer Entwurf, funktionale Abschlüsse und Graphische Bedienoberflächen

5 - Rekursion und Induktion

14 - Zusammenfassung

13 - Sammlungen implementieren II: Mengen

12 - Dynamische Datenstrukturen

11 - Arrays

10 - Objektsammlungen

9 - Klassen, Typen, Interfaces

8 - Rekursion

7 - Strukturierte Programmierung

6 - Das Typkonzept imperativer und objektorientierter Programmiersprachen

5 - Elementare Typen

4 - Prozedur/Methode

3 - Klassendefinitionen / Exemplarerzeugungen

2 - Karel the robot

1 - Einführung

13 - Wiederholung

12 - Zusammenfassung

11 - Flüsse

10 - Minimale Spannbäume und kürzeste Pfade (Fortsetzung)

9 - Minimale Spannbäume und kürzeste Pfade

8 - Graphen

7 - Dynamische Mengen, das Suchproblem & Binäre Suchbäume

6 - Komplexitätstheorie: P, NP und NPC

5 - Sortieren - (k?) eine untere Schranke

4 - Neue Datenstrukturen, besseres (?) Sortieren

3 - Divide & Conquer

2 - Korrektheit von Algorithmen und Laufzeitanalyse rekursiver Algorithmen (mittels Rekurrenzgleichungen)

1 - Einführung

10 - Ideen und Empfehlungen des Deutschen Autismusinstituts des Bundesverbandes autismus Deutschland e.V. für ein autismusgerechtes Studium

6 - Vertreter von IT-Unternehmen: Das Projekt „Autism at Work“

5 - Was ist Autismus?

4 - Lebensphasen im Kontext des Autismusspektrums – Übergang von der Schule zum Studium

2 - Menschen aus dem Autismusspektrum berichten - erfolgreich auf dem ersten Arbeitsmarkt

Day 3 - Research, Development and Field Test of Robotic Observation Systems for Sctive Volcanic Areas in Japan (Keynote)

Day 3 - Optimization for Robust Motion Planning and Control (Keynote)

Day 3 - Reconstructed Brain Models for Virtual Bodies and Robots (Keynote)

Day 3 - Supercomputing the Loop of Biomechanics and Neuroscience (Plenary Session)

Day 3 - Award Ceremony

Day 3 - From Mimicricy to Mastery: Creating Machines That Augment Human Skill (Plenary Session)

Day 2 - Robot Systems and Technologies for Natural Disaster Response and Infrastructure Maintenance in Japan (Keynote)

Day 2 - Robot Ethics in the Era of Self-Driving Automobiles (Keynote)

Day 2 - Micro/Nano Robotics Enabled Technology for Nano Device Assembly and Drug Discovery (Keynote)

Day 2 - Robotic Governance: Paving the Way for Generation ’R’ (Plenary Session)

Day 2 - From Geometry to Startups and to... Incubators (Plenary Session)

Day 1 - Opening

Day 1 - Robots, Politics, and Ethics: How Autonomous Driving Transforms Our Way of Thinking About Machines

Day 1 - Enter Deep Learning (Keynote)

Day 1 - What We Learned from Darpa Robotics Challenge (Keynote)

Day 1 - The New Robotics Age: The Challenge of Physical Tasks (Plenary Session)

Day 1 - Government Forum Part 2

Day 1 - Government Forum Part 1

Day 1 - Practice makes Perfect? The Role of Place Dependent Expertise in Mobile Robotics (Plenary Session)

14 - Lehreevaluation

13 - Refactoring

12 - Werte und Objekte in Programmiersprachen

11 - Klassenentwurf

10 - Programmierung von Graphical User Interfaces (GUI)

9 - Entwurfsmuster (Fortsetzung)

8 - Entwurfmuster

7 - Reguläre Ausdrücke

6 - Entwurfsregeln

5 -Fehlerbehandlung mit Exceptions / Namensräume und Modularisierung

4 - Motivation: Wiederverwendung

3 - Motivation: Vererbung

2.1 - Motivation des Vertragsmodells

1 - Eröffnungsveranstaltung