KIT-Bibliothek
Audio-/Videodatei publizieren

17: Grundbegriffe der Informatik, Vorlesung, WS 2017/18, 20.12.2017

Autor

Sebastian Stüker

Herausgeber

KIT | Webcast

Beteiligtes Institut

Institut für Theoretische Informatik (ITI)

Genre

Vorlesung

Beschreibung

17 |
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

Informatik

Lizenz

KITopen-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

Embed-Code

Grundbegriffe der Informatik, Vorlesung, WS 2017/18 Folgen 1-26 von 26