17: Grundbegriffe der Informatik, Vorlesung, WS 2017/18, 20.12.2017
Autor
Herausgeber
Beteiligtes Institut
Institut für Theoretische Informatik (ITI)
Genre
Beschreibung
- 0:00:00 Starten
- 0:14:00 Wo sind wir?
- 0:18:18 Zwei wichtige Schriften von al-Kharizmi
- 0:21:43 Lösen einer Sorte quadratischer Gleichung nach al-Kharazmi
- 0:24:11 Algorithmusbegriff informal
- 0:26:20 Diskussion des informellen Algorithmusbegriffs
- 0:35:21 Korrektheit eines Algorithmus
- 0:35:50 Beweis von al-Khwaraizmi
- 0:40:51 Beweis durch Nachrechnen
- 0:43:36 Eine einfache ,,Programmiersprache''
- 0:46:12 Hoare-Tripel
- 0:47:47 mZusicherungen in Hoare-Tripeln
- 0:50:50 Bedeutung von Programmen
- 0:51:59 Gültigkeit von Hoare-Tripeln
- 0:56:20 Axiome für Hoare-Kalkül
- 0:59:59 Ableitungsregeln
- 1:03:35 Beispiel
- 1:15:27 Regel H T-I
- 1:17:17 Beispiel für H T-I
- 1:23:46 Erinnerung
- 1:25:06 Algorithmus für die Multiplikation
Laufzeit (hh:mm:ss)
01:26:30
Serie
Grundbegriffe der Informatik, Vorlesung, WS 2017/18
Publiziert am
22.12.2017
Fachgebiet
Lizenz
| Auflösung | 1280 x 720 Pixel |
| Seitenverhältnis | 16:9 |
| Audiobitrate | 99733 bps |
| Audio Kanäle | 2 |
| Audio Codec | aac |
| Audio Abtastrate | 48000 Hz |
| Gesamtbitrate | 905653 bps |
| Farbraum | yuv420p |
| Container | mov,mp4,m4a,3gp,3g2,mj2 |
| Medientyp | video/mp4 |
| Dauer | 5190 s |
| Dateiname | DIVA-2017-828_hd.mp4 |
| Dateigröße | 4.096 byte |
| Bildwiederholfrequenz | 25 |
| Videobitrate | 799825 bps |
| Video Codec | h264 |
Mediathek-URL
Embed-Code
Grundbegriffe der Informatik, Vorlesung, WS 2017/18
Folgen 1-26
von 26
