Education
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