Inhalt der Vorlesung sind die Grundlagen der Theoretischen Informatik: Berechnungsmodelle, Determinismus und Nichtdeterminismus, Fragen der Berechenbarkeit, Komplexitätstheorie, NP-Vollständigkeit, Grammatiken, formale Sprachen. Dozentin: Prof. Dr. Dorothea Wagner | Karlsruher Institut für Karlsruher Technologie (KIT), Institut für Theoretische Informatik Vorlesungsaufzeichnung: http://webcast.kit.edu
http://www.kit.edu/
18: Theoretische Grundlagen der Informatik, Vorlesung, WS 2018/19, 07.02.2019
18 | 0:00:00 Start 0:00:26 Werbung 0:01:14 Vorlesung ,,Algorithmen für planare Graphen"" 0:02:53 Proseminar ,,Algorithmen für NP-schwere Probleme"" 0:05:28 ICPC Praktikum 0:07:38 Kodierung zum Schutz gegen Übertragungsfehler 0:12:34 Paritätscodes - Einfach binär 0:18:38 Kreuzsicherung 0:25:26 Paritätscodes 0:28:05 Beweis 0:30:29 Paritätscodes gegen Vertauschungsfehler 0:36:17 Bsp:ISBN-10 0:40:51 Block-Codes 0:41:50 Hamming-Distanz und Fehlerkorrektur 0:46:58 Block-Codes 0:49:17 Beispiel