06: Grundlagen der Informatik I, Vorlesung, SS 2019, 28.05.2019
Autor
York Sure-Vetter, Michael Färber
Beteiligtes Institut
Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Genre
Beschreibung
- 0:00:00 Start
- 0:00:19 Vorbemerkung
- 0:09:30 Entwurfsprinzipien
- 0:10:04 Schrittweise Verfeinerung
- 0:19:43 Modularisierung
- 0:28:55 Backtracking
- 0:45:26 Divide and Conquer
- 0:54:36 Problemtransformation
- 0:58:52 Testmethoden für Algorithmen
- 1:01:30 Verifikation
- 1:10:49 Einteilung der Eingabedaten in Klassen
- 1:14:56 Black-Box-Test
- 1:15:41 White-Box-Test
- 1:19:56 Robustheit von Algorithmen
Laufzeit (hh:mm:ss)
01:21:51
Serie
Grundlagen der Informatik I, Vorlesung, SS 2019
Publiziert am
31.05.2019
Fachgebiet
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 | 934083 bps |
| Farbraum | yuv420p |
| Container | mov,mp4,m4a,3gp,3g2,mj2 |
| Medientyp | video/mp4 |
| Dauer | 4911 s |
| Dateiname | DIVA-2019-492_hd.mp4 |
| Dateigröße | 573.374.393 byte |
| Bildwiederholfrequenz | 25 |
| Videobitrate | 799988 bps |
| Video Codec | h264 |
Embed-Code
Grundlagen der Informatik I, Vorlesung, SS 2019
Folgen 1-12
von 12
