Theoretische Grundlagen der Informatik, WS 2015/2016, gehalten am 10.12.2015, Vorlesung und Übung - 14

Theoretische Grundlagen der Informatik, Vorlesung, WS15/16

Inhalt bereitgestellt von Karlsruher Institut für Technologie (KIT). Alle Podcast-Inhalte, einschließlich Episoden, Grafiken und Podcast-Beschreibungen, werden direkt von Karlsruher Institut für Technologie (KIT) oder seinem Podcast-Plattformpartner hochgeladen und bereitgestellt. Wenn Sie glauben, dass jemand Ihr urheberrechtlich geschütztes Werk ohne Ihre Erlaubnis nutzt, können Sie dem hier beschriebenen Verfahren folgen https://de.player.fm/legal.

8+ y ago 59:17

MP4•Episode-Home

Archivierte Serien ("Inaktiver Feed" status)

When? This feed was archived on March 08, 2022 09:49 (2y ago). Last successful fetch was on August 21, 2021 22:08 (2+ y ago)

Why? Inaktiver Feed status. Unsere Server waren nicht in der Lage einen gültigen Podcast-Feed für einen längeren Zeitraum zu erhalten.

What now? You might be able to find a more up-to-date version using the search function. This series will no longer be checked for updates. If you believe this to be in error, please check if the publisher's feed link below is valid and contact support to request the feed be restored or if you have any other concerns about this.

14: Vorlesung und Übung| 0:00:00 Starten 0:00:10 2.6 Halteproblem, Unentscheidbarkeit, Reduzierbarkeit 0:00:44 Paradoxien und Selbstbezüglichkeit 0:01:28 Entscheidbarkeit 0:01:47 Äquivalente Aussagen 0:02:37 2.7 Nicht-entscheidbare Probleme 0:03:04 Normierung von Turing-Maschinen 0:04:24 Gödelnummer (M) einer Turingmaschine M 0:09:01 Gödelnummer 0:09:59 Beispiel 0:10:39 Diagonalsprache 0:12:09 Kapitel 12 0:12:33 Satz: Diagonalsprache ist unentscheidbar 0:15:53 Korollar 0:16:20 Universelle Turingmaschine 0:25:00 Universelle Turingmaschine: 3Band - 1Band 0:28:18 Halteproblem 0:34:09 Das beschränkte Halteproblem 0:35:10 Mehr unentscheidbare Probleme 0:36:42 Unentscheidbarkeit von Leerheit 0:39:44 7. Übung 0:39:44 Universelle Turingmaschinen 0:41:18 Quines 0:43:17 Unentscheidbarkeit 0:44:24 Der Satz von Rice 0:47:14 Es gibt keine perfekten Virenscanner 0:48:11 Beweis über das Halteproblem 0:52:15 Einschub: Rekursionssatz 0:53:26 Beweis mit Rekursionssatz

27 Episoden

#Hochschulbildung #Bildung #Vorlesung #Informatik #Berechnungsmodelle #Determinismus #Nichtdeterminismus #Berechenbarkeit #Komplexitätstheorie #Grammatiken #Karlsruher Instituts Für Technologie KIT #Video #KIT #Theorie