Theoretische Grundlagen der Informatik, Vorlesung, WS18/19

04: Theoretische Grundlagen der Informatik, Vorlesung, WS 2018/19, 06.11.2018

Listen Later
04 |
0:00:00 Start
0:00:03 letzte Vorlesung - alternative Sicht
0:04:48 Alternative Sicht - Beispiel
0:13:20 Heutiges Thema (Frage, Antwort)
0:20:21 Definitionen: Rechtsinvarianz und Index
0:27:56 Nerode-Relation
0:31:10 Satz von Nerode
0:50:10 Korollar
0:52:20 Minimalität des Äquivalenzklassenautomats
0:59:19 Zusammenfassung
1:07:12 Turing-Maschinen und Berechenbarkeit
1:08:42 Die Registermaschine (RAM)
1:14:26 Die Turing-Maschine (TM)
...more
View all episodesView all episodes
Download on the App Store
Theoretische Grundlagen der Informatik, Vorlesung, WS18/19By Karlsruher Institut für Technologie (KIT)

More shows like Theoretische Grundlagen der Informatik, Vorlesung, WS18/19

View all
IEEE International Conference on Robotics and Automation, 2013 by Karlsruher Institut für Technologie (KIT)

IEEE International Conference on Robotics and Automation, 2013

0 Listeners

Einführung in die Stochastik für Studierende des gymnasialen Lehramts Mathematik, SS2014, Vorlesung by Karlsruher Institut für Technologie (KIT)

Einführung in die Stochastik für Studierende des gymnasialen Lehramts Mathematik, SS2014, Vorlesung

0 Listeners

Numerische Mathematik für die Fachrichtungen Informatik und Ingenieurwesen, Vorlesung, SS2014 by Karlsruher Institut für Technologie (KIT)

Numerische Mathematik für die Fachrichtungen Informatik und Ingenieurwesen, Vorlesung, SS2014

0 Listeners

Numerische Mathematik für die Fachrichtungen Informatik und Ingenieurwesen, Vorlesung, SS2015 by Karlsruher Institut für Technologie (KIT)

Numerische Mathematik für die Fachrichtungen Informatik und Ingenieurwesen, Vorlesung, SS2015

0 Listeners

Einführung in die Stochastik für Studierende des gymnasialen Lehramts Mathematik, SS2015, Vorlesung by Karlsruher Institut für Technologie (KIT)

Einführung in die Stochastik für Studierende des gymnasialen Lehramts Mathematik, SS2015, Vorlesung

0 Listeners

Internationales Forum am ZAK by Karlsruher Institut für Technologie (KIT)

Internationales Forum am ZAK

0 Listeners

Transport Phenomena in the Biosphere by Karlsruher Institut für Technologie (KIT)

Transport Phenomena in the Biosphere

0 Listeners

Einführung in die Geophysik 1, WS17/18, Vorlesung by Karlsruher Institut für Technologie (KIT)

Einführung in die Geophysik 1, WS17/18, Vorlesung

0 Listeners

Numerische Mathematik für die Fachrichtungen Informatik und Ingenieurwesen, Vorlesung, SS2019 by Karlsruher Institut für Technologie (KIT)

Numerische Mathematik für die Fachrichtungen Informatik und Ingenieurwesen, Vorlesung, SS2019

0 Listeners

Theoretische Grundlagen der Informatik, Vorlesung, WS19/20 by Karlsruher Institut für Technologie (KIT)

Theoretische Grundlagen der Informatik, Vorlesung, WS19/20

0 Listeners