KIT-Bibliothek
Audio-/Videodatei publizieren

Grundbegriffe der Informatik, Vorlesung, WS 2016/17, 14.12.2016, 16

Autor

Sebastian Stüker

Herausgeber

KIT | Webcast

Beteiligtes Institut

Institut für Anthropomatik und Robotik (IAR)

Genre

Vorlesung

Beschreibung

16 |
0:00:00 Starten
0:00:52 Logisch äquivalente Formeln
0:07:01 Weitere allgemeingültige Formeln
0:10:02 Deduktionstheorem
0:13:22 Skizze eines Beispiels
0:24:55 Großzügige Benutzung von Prädikatenlogik
0:27:04 Zusammenfassung
0:27:58 Kapitel 14
0:29:57 Eine Zeitreise...wohin?...
0:30:29 ...da wären wir...
0:32:35 Zwei wichtige Schriften von al-Kharizmi
0:40:00 Algorithmusbegriff informell
0:48:49 Korrektheit eines Algorithmus
0:50:02 Beweis von al_Khwarizmi
0:53:51 Beweis durch Nachrechnen
0:55:31 Eine einfache ""Programmiersprache""
0:59:31 Hoare-Tripel
1:04:59 Hoare-Kalkül

Laufzeit (hh:mm:ss)

01:09:14

Serie

Grundbegriffe der Informatik, Vorlesung, WS 2016/17

Publiziert am

22.12.2016

Fachgebiet

Informatik

Lizenz

KITopen-Lizenz

Auflösung 1280 x 720 Pixel
Seitenverhältnis 16:9
Audiobitrate 99322 bps
Audio Kanäle 2
Audio Codec aac
Audio Abtastrate 48000 Hz
Gesamtbitrate 906133 bps
Farbraum yuv420p
Container mov,mp4,m4a,3gp,3g2,mj2
Medientyp video/mp4
Dauer 4154 s
Dateiname DIVA-2016-838_hd.mp4
Dateigröße 4.096 byte
Bildwiederholfrequenz 25
Videobitrate 800720 bps
Video Codec h264

Embed-Code

Grundbegriffe der Informatik, Vorlesung, WS 2016/17 Folgen 1-27 von 27