Artwork

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

11: Programmieren, Vorlesung, WS 2017/18, 24.01.2018

1:19:03
 
แบ่งปัน
 

Manage episode 196903646 series 1947204
เนื้อหาจัดทำโดย Karlsruher Institut für Technologie (KIT) เนื้อหาพอดแคสต์ทั้งหมด รวมถึงตอน กราฟิก และคำอธิบายพอดแคสต์ได้รับการอัปโหลดและจัดเตรียมโดย Karlsruher Institut für Technologie (KIT) หรือพันธมิตรแพลตฟอร์มพอดแคสต์โดยตรง หากคุณเชื่อว่ามีบุคคลอื่นใช้งานที่มีลิขสิทธิ์ของคุณโดยไม่ได้รับอนุญาต คุณสามารถปฏิบัติตามขั้นตอนที่อธิบายไว้ที่นี่ https://th.player.fm/legal
11 | 0:00:00 Starten 0:00:58 Lernziele Heute 0:05:28 Assertions 0:07:58 Zusicherungen 0:14:25 Assertions in Java 0:19:48 Vor- und Nachbedingungen, Invarianten 0:22:04 Beispiel Invarianten 0:27:06 assert oder if-Abfrage 0:29:49 Statische Analyse 0:32:43 Zusammenfassung 0:37:28 14 Zerteilen, Suchen und Sortieren 0:39:55 Überblick 0:40:22 Zerteilen 0:45:56 Beispiel: Taschenrechner 0:57:17 Top-Down Parsing 1:02:18 Rekursive Descent Parser: Hilfsfunktionen 1:06:27 Rekursiver Abstieg: Umsetzung Regeln 1:09:59 Zusammenfassung Parsen 1:11:28 Suchen 1:11:56 Lineare Suche 1:13:14 Lineare Suche - Implementierung 1:14:00 Lineare Suche - Visualisierung 1:15:20 Binäre Suche 1:16:42 Binäre Suche - Implementierung
  continue reading

14 ตอน

Artwork
iconแบ่งปัน
 
Manage episode 196903646 series 1947204
เนื้อหาจัดทำโดย Karlsruher Institut für Technologie (KIT) เนื้อหาพอดแคสต์ทั้งหมด รวมถึงตอน กราฟิก และคำอธิบายพอดแคสต์ได้รับการอัปโหลดและจัดเตรียมโดย Karlsruher Institut für Technologie (KIT) หรือพันธมิตรแพลตฟอร์มพอดแคสต์โดยตรง หากคุณเชื่อว่ามีบุคคลอื่นใช้งานที่มีลิขสิทธิ์ของคุณโดยไม่ได้รับอนุญาต คุณสามารถปฏิบัติตามขั้นตอนที่อธิบายไว้ที่นี่ https://th.player.fm/legal
11 | 0:00:00 Starten 0:00:58 Lernziele Heute 0:05:28 Assertions 0:07:58 Zusicherungen 0:14:25 Assertions in Java 0:19:48 Vor- und Nachbedingungen, Invarianten 0:22:04 Beispiel Invarianten 0:27:06 assert oder if-Abfrage 0:29:49 Statische Analyse 0:32:43 Zusammenfassung 0:37:28 14 Zerteilen, Suchen und Sortieren 0:39:55 Überblick 0:40:22 Zerteilen 0:45:56 Beispiel: Taschenrechner 0:57:17 Top-Down Parsing 1:02:18 Rekursive Descent Parser: Hilfsfunktionen 1:06:27 Rekursiver Abstieg: Umsetzung Regeln 1:09:59 Zusammenfassung Parsen 1:11:28 Suchen 1:11:56 Lineare Suche 1:13:14 Lineare Suche - Implementierung 1:14:00 Lineare Suche - Visualisierung 1:15:20 Binäre Suche 1:16:42 Binäre Suche - Implementierung
  continue reading

14 ตอน

ทุกตอน

×
 
Loading …

ขอต้อนรับสู่ Player FM!

Player FM กำลังหาเว็บ

 

คู่มืออ้างอิงด่วน