Sign up to save your podcasts
Or
Share 11: Programmieren, Vorlesung, WS 2017/18, 24.01.2018
Share to email
Share to Facebook
Share to X
Share to email
Share to Facebook
Share to X
Or
11: Programmieren, Vorlesung, WS 2017/18, 24.01.2018
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
View all episodes
By Karlsruher Institut für Technologie (KIT)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
More shows like Programmieren, WS17/18, Vorlesung
View all
KIT Campus – Studieren und mehr | 2013
0 Listeners
IEEE International Conference on Robotics and Automation, 2013
0 Listeners
CAD tutorial in Mechanical Design, WT13/14
0 Listeners
KIT Campus – Studieren und mehr | 2014
0 Listeners
Internationales Forum am ZAK
0 Listeners
Transport Phenomena in the Biosphere
0 Listeners
Einführung in die Geophysik 1, WS17/18, Vorlesung
0 Listeners
Theoretische Grundlagen der Informatik, Vorlesung, WS19/20
0 Listeners
Kulturwissenschaft gestern und morgen
0 Listeners