(1) Theoretische Informatik: Was, warum, wozu?
Teil der Vorlesung “Theoretische Informatik”, Sommersemester 2021, Ulrike von Luxburg, Uni Tübingen Source of this “Tübingen Machine Learning” AI Video
(10) Weitere Automaten und Ausblick
Teil der Vorlesung “Theoretische Informatik”, Sommersemester 2021, Ulrike von Luxburg, Uni Tübingen Source of this “Tübingen Machine Learning” AI Video
(11) Die Turing-Maschine
Teil der Vorlesung “Theoretische Informatik”, Sommersemester 2021, Ulrike von Luxburg, Uni Tübingen Source of this “Tübingen Machine Learning” AI Video
(12) Nicht-deterministische Turing-Maschinen
Teil der Vorlesung “Theoretische Informatik”, Sommersemester 2021, Ulrike von Luxburg, Uni Tübingen Source of this “Tübingen Machine Learning” AI Video
(13) Entscheidbarkeit vs Berechenbarkeit
Teil der Vorlesung “Theoretische Informatik”, Sommersemester 2021, Ulrike von Luxburg, Uni Tübingen Source of this “Tübingen Machine Learning” AI Video
(14) Gödelnummer und universelle Turingmaschine
Teil der Vorlesung “Theoretische Informatik”, Sommersemester 2021, Ulrike von Luxburg, Uni Tübingen Source of this “Tübingen Machine Learning” AI Video
(15) Abzählbarkeit
Teil der Vorlesung “Theoretische Informatik”, Sommersemester 2021, Ulrike von Luxburg, Uni Tübingen Source of this “Tübingen Machine Learning” AI Video
(16) Überabzählbarkeit und Diagonalisierung
Teil der Vorlesung “Theoretische Informatik”, Sommersemester 2021, Ulrike von Luxburg, Uni Tübingen Source of this “Tübingen Machine Learning” AI Video
(17) Sprachen, die nicht rekursiv aufzählbar sind
Teil der Vorlesung “Theoretische Informatik”, Sommersemester 2021, Ulrike von Luxburg, Uni Tübingen Source of this “Tübingen Machine Learning” AI Video
(18) Sprachen, die rekursiv aufzählbar aber nicht entscheidbar sind
Teil der Vorlesung “Theoretische Informatik”, Sommersemester 2021, Ulrike von Luxburg, Uni Tübingen Source of this “Tübingen Machine Learning” AI Video
(19) Komplementbildung
Teil der Vorlesung “Theoretische Informatik”, Sommersemester 2021, Ulrike von Luxburg, Uni Tübingen Source of this “Tübingen Machine Learning” AI Video
(2) Alphabete, Wörter, Sprachen
Teil der Vorlesung “Theoretische Informatik”, Sommersemester 2021, Ulrike von Luxburg Source of this “Tübingen Machine Learning” AI Video
(20) Reduktionen: Definition und Eigenschaften
Teil der Vorlesung “Theoretische Informatik”, Sommersemester 2021, Ulrike von Luxburg, Uni Tübingen Source of this “Tübingen Machine Learning” AI Video
(21) Reduktionen: Beispiele und Halteproblem
Teil der Vorlesung “Theoretische Informatik”, Sommersemester 2021, Ulrike von Luxburg, Uni Tübingen Source of this “Tübingen Machine Learning” AI Video
(22) Satz von Rice
Teil der Vorlesung “Theoretische Informatik”, Sommersemester 2021, Ulrike von Luxburg, Uni Tübingen Source of this “Tübingen Machine Learning” AI Video
(23) Noch mehr nicht berechenbare Funktionen
Teil der Vorlesung “Theoretische Informatik”, Sommersemester 2021, Ulrike von Luxburg, Uni Tübingen Source of this “Tübingen Machine Learning” AI Video
(24) Turing-Vollständigkeit und -Äquivalenz
Teil der Vorlesung “Theoretische Informatik”, Sommersemester 2021, Ulrike von Luxburg, Uni Tübingen. Source of this “Tübingen Machine Learning” AI Video
(25) While-Programme
Teil der Vorlesung “Theoretische Informatik”, Sommersemester 2021, Ulrike von Luxburg, Uni Tübingen. Source of this “Tübingen Machine Learning” AI Video
(26) While vs For vs Goto-Programme
Teil der Vorlesung “Theoretische Informatik”, Sommersemester 2021, Ulrike von Luxburg, Uni Tübingen. Source of this “Tübingen Machine Learning” AI Video
(27) While-Programme sind Turing-äquivalent
Teil der Vorlesung “Theoretische Informatik”, Sommersemester 2021, Ulrike von Luxburg, Uni Tübingen. Source of this “Tübingen Machine Learning” AI Video
(28) Rekursive Funktionen und Turing-Äquivalenz
Teil der Vorlesung “Theoretische Informatik”, Sommersemester 2021, Ulrike von Luxburg, Uni Tübingen Source of this “Tübingen Machine Learning” AI Video
(29) Ackermann-Funktion
Teil der Vorlesung “Theoretische Informatik”, Sommersemester 2021, Ulrike von Luxburg, Uni Tübingen Source of this “Tübingen Machine Learning” AI Video
(3) Endliche Automaten
Teil der Vorlesung “Theoretische Informatik”, Sommersemester 2021, Ulrike von Luxburg Source of this “Tübingen Machine Learning” AI Video
(30) Church-Turing-These
Teil der Vorlesung “Theoretische Informatik”, Sommersemester 2021, Ulrike von Luxburg, Uni Tübingen Source of this “Tübingen Machine Learning” AI Video