KIT | KIT-Bibliothek | Impressum | Datenschutz

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

Koziolek, Anne; 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
Open Access Logo


Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Audio & Video
Publikationsdatum 25.01.2018
Erstellungsdatum 24.01.2018
DOI 10.5445/DIVA/2018-94
Identifikator KITopen-ID: 1000115310
Serie Programmieren, Vorlesung, WS 2017/18
Lizenz KITopen-Lizenz
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page