06: Digitaltechnik und Entwurfsverfahren, Vorlesung, SS 2017, 16.05.2017
MP4•Αρχική οθόνη επεισοδίου
Manage episode 200168317 series 2115026
Το περιεχόμενο παρέχεται από το Karlsruher Institut für Technologie (KIT). Όλο το περιεχόμενο podcast, συμπεριλαμβανομένων των επεισοδίων, των γραφικών και των περιγραφών podcast, μεταφορτώνεται και παρέχεται απευθείας από τον Karlsruher Institut für Technologie (KIT) ή τον συνεργάτη της πλατφόρμας podcast. Εάν πιστεύετε ότι κάποιος χρησιμοποιεί το έργο σας που προστατεύεται από πνευματικά δικαιώματα χωρίς την άδειά σας, μπορείτε να ακολουθήσετε τη διαδικασία που περιγράφεται εδώ https://el.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 επεισόδια