KIT-Bibliothek

06: Digitaltechnik und Entwurfsverfahren, Vorlesung, SS 2017, 16.05.2017

Author

Tamim Asfour

Editor

KIT | Webcast

Participating institute

Institut für Anthropomatik und Robotik (IAR)

Genre

Vorlesung

Description

0:00:00 Starten
0:00:47 Einleitung
0:01:47 George Boole
0:03:12 Boolesche Algebra: Definition
0:05:01 Huntingtonsche Axiome
0:07:41 ,,Minimalistische"" Boolesche Algebra
0:12:48 Eindeutigkeit des Einselements
0:18:43 Eindeutigkeit der inversen Elemente
0:26:04 Mengenalgebra
0:29:53 Schaltalgebra
0:35:09 Dualitätsprinzip
0:37:12 Schaltalgebra(4)
0:39:06 Beweis
0:45:56 Schaltalgebra
0:54:17 2-wertige ,,binäre"" algebraische Strukturen
0:55:23 Zusammenfassung: Boolesche Algebra
0:56:01 Boolescher Ausdruck
0:59:21 Boolesche Funktionen
1:03:39 EInstellige boolsche Funktion
1:04:33 zweistellige Boolsche Funktion
1:07:49 Auswertung
1:08:44 Vollständige Operationsysteme
1:11:03 Motivierende Beispiele
1:22:26 Vollständige Operationsysteme (2)
1:23:20 Tautologie

Duration (hh:mm:ss)

01:25:25

Series

Digitaltechnik und Entwurfsverfahren, Vorlesung, SS 2017

Published on

22.05.2017

Subject area

Computer science

License

KITopen Licence

Resolution 1280 x 720 Pixel
Aspect ratio 16:9
Audio bitrate 127726 bps
Audio channels 2
Audio Codec aac
Audio Sample Rate 48000 Hz
Total Bitrate 933257 bps
Color Space yuv420p
Container mov,mp4,m4a,3gp,3g2,mj2
Media Type video/mp4
Duration 5125 s
Filename DIVA-2017-252_hd.mp4
File Size 4.096 byte
Frame Rate 25
Video Bitrate 799437 bps
Video Codec h264

Media URL

Embed Code

Digitaltechnik und Entwurfsverfahren, Vorlesung, SS 2017 Episodes 1-26 of 26