Theoretische Grundlagen der Informatik, Vorlesung, WS 2016/17, 12.01.2017, 14

1:06:23
 
แบ่งปัน
 

Manage episode 188073607 series 1569372
โดย Karlsruher Institut für Technologie (KIT) และถูกค้นพบโดย Player FM และชุมชนของเรา -- ลิขสิทธิ์นี้เป็นของผู้เผยแพร่ ไม่ใช่ Player FM โดยมีการสตรีมเสียงโดยตรงจากเซิร์ฟเวอร์ผู้เผยแพร่ กดปุ่มติดตามเพื่อติดตามการอัพเดทใน Player FM หรือวาง URL ฟีดนี้ไปยังแอพพอดคาสท์อื่น
14 | 0:00:00 Starten 0:00:07 Wiederholung 0:12:03 Ogden´s Lemma für kontextfreie Sprachen 0:14:31 Beweis 0:29:20 Beweis - Teil 1 0:30:23 Beweis - Teil 2 0:39:23 Beweis - Teil 3 0:41:58 Nutzlose Variablen 0:43:38 Schritt 1 0:47:24 Beispiel: Schritt 1 0:51:28 Schritt 2 0:53:16 Beispiel: Schritt 2 0:56:45 Korollar 0:59:27 Beispielgraph

18 ตอน