06: Digitaltechnik und Entwurfsverfahren, Vorlesung, SS 2017, 16.05.2017
MP4•Episod hem
Manage episode 200168317 series 2115026
Innehåll tillhandahållet av Karlsruher Institut für Technologie (KIT). Allt poddinnehåll inklusive avsnitt, grafik och podcastbeskrivningar laddas upp och tillhandahålls direkt av Karlsruher Institut für Technologie (KIT) eller deras podcastplattformspartner. Om du tror att någon använder ditt upphovsrättsskyddade verk utan din tillåtelse kan du följa processen som beskrivs här https://sv.player.fm/legal.
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
…
continue reading
25 episoder