11: Programmieren, Vorlesung, WS 2017/18, 24.01.2018
Koziolek, Anne
; KIT | Webcast [Hrsg.]
; KIT | Webcast [Hrsg.]- 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
| Zugehörige Institution(en) am KIT | Institut für Programmstrukturen und Datenorganisation (IPD) |
| Publikationstyp | Audio & Video |
| Publikationsdatum | 25.01.2018 |
| Erstellungsdatum | 24.01.2018 |
| Sprache | Deutsch |
| DOI | 10.5445/DIVA/2018-94 |
| Identifikator | KITopen-ID: 1000115310 |
| Lizenz | KITopen-Lizenz |
| Serie | Programmieren, Vorlesung, WS 2017/18 |
| Folge | 12 |