KIT-Bibliothek
Audio-/Videodatei publizieren
Anleitung zum Publizieren

05: Grundbegriffe der Informatik,Vorlesung, WS 2017/18, 03.11.2017

Autor

Sebastian Stüker

Herausgeber

KIT | Webcast

Beteiligtes Institut

Institut für Anthropomatik und Robotik (IAR)

Genre

Vorlesung

Beschreibung

05 |
0:00:00 Starten
0:01:26 Aussagen - "objektiv" wahr oder falsch
0:04:10 Komplizierte Aussagen - aus einfacheren zusammengesetzt
0:08:18 Alphabet der Aussagenlogik
0:11:21 Konstruktionsabbildungen
0:14:16 Lesearten
0:18:29 Konstruktion - ein Beispiel
0:22:26 Boolesche Funktionen
0:29:21 Ziel: Bedeutung einer aussagenlogischen Formel - eine boolesche Funktion
0:35:02 Äquivalente Formeln
0:44:00 Modelle
0:45:40 Wichtige Spezialfälle aussagenlogischer Formeln
0:51:26 Tautolgien - viele Beispiele auf ein Mal
0:55:57 Tautologien - konkrete Beispiele
0:57:47 Kalkül - ein System für Beweise
1:03:18 Ableitungen - formal gefasst
1:05:57 Beweis - formal gefasst
1:11:46 Modus Ponens "erhält Allgemeingültigkeit"

Laufzeit (hh:mm:ss)

01:16:29

Serie

Grundbegriffe der Informatik, Vorlesung, WS 2017/18

Publiziert am

06.11.2017

Fachgebiet

Informatik

Lizenz

KITopen-Lizenz

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

Embed-Code

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