06: Grundlagen der Informatik I, Vorlesung, SS 2019, 28.05.2019
Author
York Sure-Vetter, Michael Färber
Participating institute
Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Genre
Description
- 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
Duration (hh:mm:ss)
01:21:51
Series
Grundlagen der Informatik I, Vorlesung, SS 2019
Published on
31.05.2019
Subject area
License
| Resolution | 1280 x 720 Pixel |
| Aspect ratio | 16:9 |
| Audio bitrate | 128000 bps |
| Audio channels | 2 |
| Audio Codec | aac |
| Audio Sample Rate | 48000 Hz |
| Total Bitrate | 934083 bps |
| Color Space | yuv420p |
| Container | mov,mp4,m4a,3gp,3g2,mj2 |
| Media Type | video/mp4 |
| Duration | 4911 s |
| Filename | DIVA-2019-492_hd.mp4 |
| File Size | 573.374.393 byte |
| Frame Rate | 25 |
| Video Bitrate | 799988 bps |
| Video Codec | h264 |
Embed Code
Grundlagen der Informatik I, Vorlesung, SS 2019
Episodes 1-12
of 12
