05: Theoretische Grundlagen der Informatik, Vorlesung, WS 2017/18, 07.11.2017

Theoretische Grundlagen der Informatik, Vorlesung, WS17/18

Contenido proporcionado por Karlsruher Institut für Technologie (KIT). Todo el contenido del podcast, incluidos episodios, gráficos y descripciones de podcast, lo carga y proporciona directamente Karlsruher Institut für Technologie (KIT) o su socio de plataforma de podcast. Si cree que alguien está utilizando su trabajo protegido por derechos de autor sin su permiso, puede seguir el proceso descrito aquí https://es.player.fm/legal.

6+ y ago 1:23:01

MP4•Episodio en casa

Series guardadas ("Feed inactivo" status)

When? This feed was archived on April 24, 2022 14:32 (2y ago). Last successful fetch was on March 31, 2021 15:27 (3y ago)

Why? Feed inactivo status. Nuestros servidores no pudieron recuperar un podcast válido durante un período sostenido.

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.

05 | 0:00:00 Starten 0:00:21 Frage 0:04:24 Wiederholung Äquivalenzklassenautomat 0:09:44 Definitionen: Rechtsinvarianz und Index 0:17:24 Nerode- Relation 0:22:12 Satz von Nerode 0:25:40 Beweis zu Satz von Nerode: (1)-->(2) 0:31:49 Beweis zu Satz von Nerode: (2)-->(3) 0:37:57 Beweis zu Satz von Nerode: (3)-->(1) 0:46:16 Korollar 0:49:09 Minimalitäat des Äquivalenzklassenautomats 0:53:15 Zusammenfassung 0:56:04 Historisches 0:59:37 Turing-Maschinen und Berechenbarkeit 1:00:59 Die Registermaschine (RAM) 1:02:13 Befehle der Registermaschine (RAM) 1:03:12 Die Turing-Maschine (TM) 1:06:53 Formale Definition der Turing-Maschine 1:08:59 Bemerkung zur TM 1:12:15 Beispiel-Turing-Maschine 1:18:17 Definition zur TM

19 episodios

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