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

Theoretische Grundlagen der Informatik, Vorlesung, WS17/18

เนื้อหาจัดทำโดย Karlsruher Institut für Technologie (KIT) เนื้อหาพอดแคสต์ทั้งหมด รวมถึงตอน กราฟิก และคำอธิบายพอดแคสต์ได้รับการอัปโหลดและจัดหาให้โดยตรงจาก Karlsruher Institut für Technologie (KIT) หรือพันธมิตรแพลตฟอร์มพอดแคสต์ของพวกเขา หากคุณเชื่อว่ามีบุคคลอื่นใช้งานที่มีลิขสิทธิ์ของคุณโดยไม่ได้รับอนุญาต คุณสามารถปฏิบัติตามขั้นตอนที่แสดงไว้ที่นี่ https://th.player.fm/legal

6+ y ago 1:23:01

MP4•หน้าโฮมของตอน

ซีรีส์ที่ถูกเก็บถาวร ("ฟีดที่ไม่ได้ใช้งาน" 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? ฟีดที่ไม่ได้ใช้งาน status. เซิร์ฟเวอร์ของเราไม่สามารถดึงฟีดพอดคาสท์ที่ใช้งานได้สักระยะหนึ่ง

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 ตอน