KIT | KIT-Bibliothek | Impressum | Datenschutz

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

Asfour, Tamim; KIT | Webcast [Hrsg.]

Abstract:
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

Open Access Logo


Zugehörige Institution(en) am KIT Institut für Anthropomatik und Robotik (IAR)
Publikationstyp Audio & Video
Publikationsdatum 22.05.2017
Erstellungsdatum 16.05.2017
DOI 10.5445/DIVA/2017-252
Identifikator KITopen-ID: 1000114656
Lizenz KITopen-Lizenz
Serie Digitaltechnik und Entwurfsverfahren, Vorlesung, SS 2017
Folge 6
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page