KIT-Bibliothek
Audio-/Videodatei publizieren

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

Autor

Anne Koziolek

Herausgeber

KIT | Webcast

Beteiligtes Institut

Institut für Programmstrukturen und Datenorganisation (IPD)

Genre

Vorlesung

Beschreibung

  • 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

Laufzeit (hh:mm:ss)

01:19:03

Serie

Programmieren, Vorlesung, WS 2017/18

Publiziert am

25.01.2018

Fachgebiet

Informatik

Lizenz

KITopen-Lizenz

Auflösung 1280 x 720 Pixel
Seitenverhältnis 16:9
Audiobitrate 128000 bps
Audio Kanäle 2
Audio Codec aac
Audio Abtastrate 48000 Hz
Gesamtbitrate 933925 bps
Farbraum yuv420p
Container mov,mp4,m4a,3gp,3g2,mj2
Medientyp video/mp4
Dauer 4743 s
Dateiname DIVA-2018-94_hd.mp4
Dateigröße 553.678.936 byte
Bildwiederholfrequenz 25
Videobitrate 799827 bps
Video Codec h264

Mediathek-URL

Embed-Code