KIT-Bibliothek
Audio-/Videodatei publizieren
Anleitung zum Publizieren

23: Grundbegriffe der Informatik, Vorlesung und Übung, WS 2018/19, 25.01.2019

Autor

Thomas Worsch

Herausgeber

KIT | Webcast

Beteiligtes Institut

Institut für Anthropomatik und Robotik (IAR)

Genre

Vorlesung

Beschreibung

23 |
0:00:00 Start
0:00:05 Turingmaschinen
0:04:32 Unentscheidbare Probleme
0:04:59 Beispielcodierung
0:16:51 Das Halteproblem
0:19:24 Beweis mit Diagonalisierung
0:30:28 Weitere unentscheidbare Probleme
0:34:48 Erinnerung: BB3
0:36:22 Fleißige Biber und die Busy-Beaver-Funktion
0:43:20 Steam-Powered Turing Machine ;-)
0:44:04 Zusammenfassung
0:44:25 Beginn der Übung
0:44:56 Endlicher Akzeptor
0:48:28 Beispiele regulärer Sprachen
0:52:19 Akzeptoren: Komplement
0:54:53 Akzeptoren: Schnitt
0:59:54 Akzeptoren: Vereinigung
1:03:32 Reguläre Sprachen und kontextfreie Grammatiken
1:07:38 Turing-Maschinen (TMs)
1:17:10 Analyse: Zeit- und Platzbedarf
1:18:56 TM: Akzeptor, Entscheider
1:25:34 TMs und endliche Akzeptoren
1:27:35 Church-Turing-These

Laufzeit (hh:mm:ss)

01:29:05

Serie

Grundbegriffe der Informatik, Vorlesung, WS 2018/19

Publiziert am

29.01.2019

Fachgebiet

Informatik

Lizenz

KITopen-Lizenz

Auflösung 1280 x 720 Pixel
Seitenverhältnis 16:9
Audiobitrate 128000 bps
Audio Kanäle 2
Audio Codec aac
Audio Abtastrate 48000 Hz
Gesamtbitrate 934048 kbps
Farbraum yuv420p
Container mov,mp4,m4a,3gp,3g2,mj2
Medientyp video/mp4
Dauer 5345 s
Dateiname DIVA-2019-97_hd.mp4
Dateigröße 624.034.130 byte
Bildwiederholfrequenz 25
Videobitrate 799948 kbps
Video Codec h264

Embed-Code

Grundbegriffe der Informatik, Vorlesung, WS 2018/19 Folgen 1-26 von 26