Boolean algebra and set theory | Math Foundations 259 | N J Wildberger скачать в хорошем качестве

Boolean algebra and set theory | Math Foundations 259 | N J Wildberger

After George Boole's introduction of an algebraic approach to logic, the subject morphed towards a more set theoretic formulation, with so called Boolean algebra initiated by John Venn and Charles Peirce. Venn diagrams (originally going back to Euler), give us a visual way of representing relations between subsets of a universal set. The operations of meet and join, or intersection and union, together with taking complements become replacements for the product and sum of the Algebra of Boole. In this set theoretic context, de Morgan's laws clarify how to compute complements of unions and intersections, and the two distributive laws involve 3 sets, and either a union of an intersection, or the intersection of a union. We illustrate how to verify these laws from, first of all a truth table perspective, and then with computations using the Algebra of Boole. There is a heretical message here: professors teaching circuit analysis to engineers might want to start thinking about revamping their subject, and replacing Boolean algebra with the original, more powerful and simpler Algebra of Boole! Video Content: 00:00 Introduction 3:52 Converting Boolean Algebra expressions into the algebra of Boole 6:23 Finite set theory and Venn diagrams 10:09 De Morgan's laws 13:15 Distributive laws 16:13 Proving the distributive laws Here are the Insights into Mathematics Playlists:    • Плейлист      • Плейлист      • Плейлист      • Плейлист      • Плейлист      • Плейлист      • Плейлист      • Плейлист      • Плейлист      • Плейлист      • Плейлист      • Плейлист      • Плейлист      • Плейлист      • Плейлист      • Плейлист      • Плейлист      • Плейлист      • Плейлист      • Плейлист      • Плейлист   Here are the Wild Egg Maths Playlists (some available only to Members!)    • Плейлист      • Плейлист      • Плейлист      • Плейлист      • Плейлист      • Плейлист      • Плейлист      • Плейлист      • Плейлист      • Плейлист      • Плейлист      • Плейлист      • Плейлист   ************************