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

23 - Zusammenfassung

22 - Äquivalente Normalformen und Prädikatenlogische Resolution

21 - Prädikatenlogische Normalform

20 - Prädikatenlogik, Syntax und Semantik

19 - Resolution

18 - Ableitungen und Resolution

17 - Ableitungen

16 - Normalformen und Hornformeln

15 - Folgerbarkeit, Äquivalenzen und Normalformen

14 - Aussagenlogik / Syntax & Semantik

13 - NP-Vollständigkeit

12 - Zeit- und Platzkomplexität

11 - Aufzählbarkeit und (Un-) Entscheidbarkeit (Teil 2) und Wiederholung

10 - Aufzählbarkeit und (Un-) Entscheidbarkeit

9 - Turing-Maschinen (Teil 2)

8 - Turing-Maschinen

7 - Eigenschaften kontextfreier Sprachen

6 - Kontextfreie Sprachen

5. - Über reguläre Sprachen hinaus - Kellerautomaten und Pumping Lemma (Teil 2)

4 - Über reguläre Sprachen hinaus - Kellerautomaten und Pumping Lemma

3 - Mehr zu regulären Sprachen

2 - Endliche Automaten und reguläre Sprachen

1 - Grundlagen

B.Sc. MCI (Mensch-Computer-Interaktion)

IT im Beruf - Lehramt Informatik

IT im Beruf - Software-Architekt

Interview Studierende B.Sc. Mensch-Computer-Interaktion

Experteninterview B.Sc. Informatik

Experteninterview - B.Sc. Computing in Science

Experteninterview Lehramt Informatik

Experteninterview - B.Sc. Software-System-Entwicklung

Interview Studierende - B.Sc. Computing in Science

Interview Studierende - M.Sc. Bio-Informatik

Experteninterview Studienfächer der Informatik

Projekt Helikopter

Projekt Roboter

Projekt Sprachgesteuertes Spiel

Projekt StuReSy

Interview Studierende B.Sc. Mensch-Computer-Interaktion

Interview Studierende - B.Sc. Computing in Science

29 - Fragestunde (Teil 2)

28.2 - Fragestunde (Teil 1)

28.1 - Klausurvorbereitung

27 - SMP: Symmetric Multiproccessing

26 - Motivation

25 - Pipelining

24 - Array

23 - Stack

22 - Assembler

21 - Adressierungsarten

20 - Byte-Order

19 - Busse

18 - Rechnerarchitektur

17 - Beschreibung von Schaltwerken

16 - Mealy-Modell und Moore-Modell/ Flipflops

15 - Multiplizierer

14 - Schaltnetze

13 - Grafische Minimierungsverfahren

12 - Schaltfuntionen

11 - Strukturbeschreibung

10 - Informationsbegriff

9 - Codierung von Texten

8 - Rechenregeln: Ring/Algebra

7 - ISO 8859 Familie

6 - Addition und Subtraktion

5 - Gleitkommaformat

4 - Ziffern und Zahlen

3 - Moore's Law

2 - Digitalrechner

1 - Einführung