Главная
Study mode:
on
You
History
Saved
In progress 0 courses
compleat 0 courses
#Art & Design #Adobe #ChatGPT #GitHub

#Boolean Algebra

#Boolean Circuits
Showing: 53 courses
NPTEL

Basic Electronics

2 rewiews
The course is about basic electronic circuits, both analog and digital. In the analog part, diode circuits, BJT amplifiers, Op-Amp circuits will be covered. In the digital part, combinatorial and sequential circuits will be covered.
Add to list
72 Lesons
1 day 9 hours
On-Demand
Free-Video
NPTEL

Digital Electronic Circuits

1 rewiews
Digital systems represent and manipulate digital signals. Such signals represent only finite number of discreet values. A signal can be discreet by nature whereas, a continuous signal can be discretized for digital processing and then converted back.
Add to list
61 Lesons
1 day 7 hours
On-Demand
Free-Video
NPTEL

Digital Circuits

0 rewiews
Comprehensive exploration of digital circuits, covering number systems, Boolean algebra, logic gates, arithmetic circuits, sequential circuits, finite state machines, data converters, memory, FPGA, VHDL, and microprocessors.
Add to list
66 Lesons
1 day 7 hours
On-Demand
Free-Video
The Organic Chemistry Tutor

Logic Gates, Truth Tables, Boolean Algebra - AND, OR, NOT, NAND & NOR

0 rewiews
Comprehensive introduction to digital logic fundamentals, covering gates, truth tables, and Boolean algebra. Ideal for electronics beginners and college students in logic design.
Add to list
15 Lesons
54 minutes
On-Demand
Free-Video
Institute for Advanced Study

Lower Bounds in Complexity Theory, Communication Complexity, and Sunflowers - Toniann Pitassi

0 rewiews
Explore lower bounds in complexity theory, communication complexity, and sunflowers. Delve into Boolean circuits, formulas, and key lemmas with expert insights from Toniann Pitassi.
Add to list
11 Lesons
1 hour
On-Demand
Free-Video
Institute for Advanced Study

Proof and Circuit Complexity - Robert Robere

0 rewiews
Explore proof and circuit complexity with Robert Robere, delving into Boolean circuits, monotone circuits, slice functions, and the Click function to understand computational limitations.
Add to list
8 Lesons
24 minutes
On-Demand
Free-Video
NPTEL-NOC IITM

Iterative Circuits: Comparator Design and Parity Generation - Part 1

0 rewiews
Design comparators and generate parity with iterative circuits, exploring fundamental concepts for efficient digital system implementation.
Add to list
1 Lesons
26 minutes
On-Demand
Free-Video
Simons Institute

Algebraic Structures in Logic and Query Evaluation - Part 2

0 rewiews
Explore advanced algebraic structures in logic and their applications to database query evaluation, building on fundamental concepts.
Add to list
1 Lesons
1 hour 5 minutes
On-Demand
Free-Video
Simons Institute

Algebraic Structures in Logic and Query Evaluation - Part 1

0 rewiews
Explore algebraic structures' role in logic and query evaluation, focusing on their applications in database theory and AI algorithms.
Add to list
1 Lesons
1 hour 6 minutes
On-Demand
Free-Video
Insights into Mathematics

Inference Rules via the Algebra of Boole - MathFoundations 275

0 rewiews
Explore propositional logic inference rules using Boolean algebra, simplifying complex logical concepts and eliminating the need for memorization. Includes application to a Lewis Carroll puzzle.
Add to list
1 Lesons
27 minutes
On-Demand
Free-Video
ACM SIGPLAN

Orthologic with Axioms - Proof Theory and Algorithms

0 rewiews
Explore orthologic with axioms, its proof theory, and algorithms. Discover generalized ortholattice reasoning and its applications in verification condition simplification and normalization.
Add to list
1 Lesons
20 minutes
On-Demand
Free-Video
Colin O'Flynn

Digital Circuits Boolean Algebra

0 rewiews
Learn Boolean algebra fundamentals and digital circuit simplification techniques, including key rules and operations for efficient logic design and analysis.
Add to list
14 Lesons
44 minutes
On-Demand
Free-Video
Insights into Mathematics

Boole Reduction - A Challenge for Programmers - MathFoundations - N J Wildberger

0 rewiews
Exploring challenges in implementing Boole reduction for circuit analysis, including programming strategies and SAT solver development in the Algebra of Boole context.
Add to list
5 Lesons
26 minutes
On-Demand
Free-Video
Insights into Mathematics

Trying to Sidestep the SAT Problem - N J Wildberger

0 rewiews
Explores the SAT problem in Boolean algebra and logic circuits, introducing the Algebra of Boole approach as an alternative for analyzing smaller circuits and potentially addressing larger-scale issues in integrated circuit design.
Add to list
6 Lesons
28 minutes
On-Demand
Free-Video
Insights into Mathematics

Boole Polynumbers and Equivalent Circuits - Math Foundations - N J Wildberger

0 rewiews
Explore Boolean functions and logic circuits through polynumbers, focusing on Boole polynumbers as invariants for equivalent circuits. Learn evaluation techniques and their applications.
Add to list
5 Lesons
38 minutes
On-Demand
Free-Video
Insights into Mathematics

Canonical Forms for Logic Circuits - Math Foundations

0 rewiews
Explore canonical forms for logic circuits, Boolean functions, and their geometric interpretations. Learn to express Boolean functions algebraically using Boolean algebra and Boole's original algebra.
Add to list
8 Lesons
37 minutes
On-Demand
Free-Video
Insights into Mathematics

How the Algebra of Boole Simplifies Circuit Analysis - Math Foundations - N J Wildberger

0 rewiews
Explore how the Algebra of Boole simplifies circuit analysis, comparing it with traditional Boolean algebra for encoding logic gates and solving engineering problems.
Add to list
5 Lesons
29 minutes
On-Demand
Free-Video
Insights into Mathematics

Boolean Algebra and Shannon's Circuit Analysis - Math Foundations - N J Wildberger

0 rewiews
Explores Boolean algebra's connection to circuit analysis, focusing on Huntington's formulation and Shannon's groundbreaking 1938 paper linking the two fields.
Add to list
7 Lesons
25 minutes
On-Demand
Free-Video
Insights into Mathematics

Boolean Algebra and Set Theory - Math Foundations - N J Wildberger

0 rewiews
Explore Boolean algebra, set theory, and Venn diagrams. Learn about De Morgan's laws, distributive properties, and their proofs using truth tables and Boole's algebra.
Add to list
6 Lesons
28 minutes
On-Demand
Free-Video
Insights into Mathematics

Implication and Logical Operations - Math Foundations - N J Wildberger

0 rewiews
Explore 16 logical operations, including AND, OR, XOR, and implication, with applications to Boolean algebra and circuit analysis. Gain insights into Modus Ponens and Boole's algebra for solving electrical engineering problems.
Add to list
7 Lesons
37 minutes
On-Demand
Free-Video
Insights into Mathematics

The Algebra of Boole is Not Boolean Algebra - Math Foundations - N J Wildberger

0 rewiews
Exploring the Algebra of Boole, its relation to Boolean algebra, and its role in logic and circuit analysis. Discusses syllogisms, the Square of Opposition, and Boole's proofs of Aristotle's arguments.
Add to list
6 Lesons
30 minutes
On-Demand
Free-Video
Hausdorff Center for Mathematics

Notions of Booleanization in Pointfree Topology

0 rewiews
Explores overlap algebras as a potential solution to retain features of Boolean locales while recovering classical properties in intuitionistic pointfree topology.
Add to list
1 Lesons
34 minutes
On-Demand
Free-Video
NIOS

Discrete Mathematics

0 rewiews
Explore logic, probability, graph theory, relations, and combinatorics in this comprehensive mathematics course, enhancing problem-solving skills and mathematical reasoning abilities.
Add to list
33 Lesons
1 day 4 hours
On-Demand
Free-Video
Simons Institute

The Intensional-Extensional Problem in Probabilistic Databases

0 rewiews
Explores probabilistic query evaluation in databases, discussing safe queries, knowledge compilation methods, and a combinatorial conjecture for solving complex cases efficiently.
Add to list
1 Lesons
38 minutes
On-Demand
Free-Video
Insights into Mathematics

Aristotle's Syllogisms Revisited with the Algebra of Boole - MathFoundations 280

0 rewiews
Explore Aristotle's syllogisms through modern propositional logic and Boolean algebra, offering new insights into classical reasoning and its contemporary applications.
Add to list
1 Lesons
25 minutes
On-Demand
Free-Video
Insights into Mathematics

Partial Orders, Maxels, and Möbius Functions in Posets

0 rewiews
Explores partial orders, maxels, and Möbius functions in advanced mathematics, connecting Boolean algebra to circuit analysis and introducing novel notation for negative numbers.
Add to list
7 Lesons
34 minutes
On-Demand
Free-Video
Insights into Mathematics

How the Algebra of Boole Simplifies Circuit Analysis - Part 3

0 rewiews
Explore Boolean algebra's role in simplifying circuit analysis, covering logic gates, algebraic expressions, and symmetry considerations for efficient circuit equivalence determination.
Add to list
1 Lesons
28 minutes
On-Demand
Free-Video
Insights into Mathematics

The Algebra of Boole and Boolean Algebra - Key Differences - Part 1

0 rewiews
Introduction to the Algebra of Boole, focusing on the bifield of two elements and n-tuples. Explores its role in circuit analysis and contrasts it with Boolean algebra, highlighting implications for 20th-century mathematics.
Add to list
1 Lesons
38 minutes
On-Demand
Free-Video
Hausdorff Center for Mathematics

Structure Theorems in Boolean Harmonic Analysis - Lecture 4

0 rewiews
Explore classical and modern structure theorems in Boolean Function Analysis, focusing on biased hypercube and symmetric group applications.
Add to list
1 Lesons
1 hour 12 minutes
On-Demand
Free-Video
Hausdorff Center for Mathematics

Structure Theorems in Boolean Harmonic Analysis - Part 3

0 rewiews
Explore structure theorems in Boolean Function Analysis, including FKN theorem, Friedgut's junta theorem, and sharp threshold theorems, with focus on biased hypercube and symmetric group.
Add to list
1 Lesons
1 hour 7 minutes
On-Demand
Free-Video
Confreaks

The Math Every Programmer Needs - Practical Applications of Discrete Math in Ruby

0 rewiews
Discover practical discrete math concepts to enhance your programming skills, from Boolean algebra to graph theory, without complex equations.
Add to list
1 Lesons
38 minutes
On-Demand
Free-Video
NPTEL-NOC IITM

QM Method: Boolean Minimization Techniques

0 rewiews
Explore Boolean minimization techniques through worked examples using the QM method for efficient logic circuit design.
Add to list
1 Lesons
44 minutes
On-Demand
Free-Video
NPTEL-NOC IITM

K-maps: Implicants, Prime Implicants, and Essential Prime Implicants

0 rewiews
Explore implicants, prime implicants, and essential prime implicants in Boolean algebra. Learn to simplify 5-variable functions using Karnaugh maps for efficient logic circuit design.
Add to list
1 Lesons
44 minutes
On-Demand
Free-Video
Hausdorff Center for Mathematics

Structure Theorems in Boolean Harmonic Analysis - Part II

0 rewiews
Explore classical and modern structure theorems in Boolean Function Analysis, focusing on biased hypercube and symmetric group applications.
Add to list
1 Lesons
1 hour 1 minute
On-Demand
Free-Video
Sebastian Lague

Visualizing Data with 7-Segment Displays

0 rewiews
Explore data visualization using 7-segment displays, covering binary-to-decimal conversion, Boolean algebra, and the double dabble algorithm for efficient number representation in digital systems.
Add to list
20 Lesons
34 minutes
On-Demand
Free-Video
Association for Computing Machinery (ACM)

Improved Non-Interactive Zero Knowledge with Applications to Post-Quantum Signatures

0 rewiews
Explores advanced non-interactive zero-knowledge proofs, enhancing efficiency and security for post-quantum signatures using MPC protocols in the preprocessing model.
Add to list
14 Lesons
23 minutes
On-Demand
Free-Video
Ryan O'Donnell

Undergrad Complexity at CMU - SAT

0 rewiews
Explore the intricacies of SAT in computational complexity theory, covering Boolean circuits, algorithms, and CNF formulas in this comprehensive undergraduate lecture.
Add to list
8 Lesons
1 hour 20 minutes
On-Demand
Free-Video
IEEE

Composition Theorems via Lifting

0 rewiews
Explore composition theorems in Boolean circuit complexity, focusing on KRW approach, conjectures, and recent advancements in monotone and semi-monotone compositions.
Add to list
11 Lesons
22 minutes
On-Demand
Free-Video
IEEE

Wolverine - Fast, Scalable, and Communication-Efficient Zero-Knowledge Proofs for Boolean and Arithmetic Circuits

0 rewiews
Explore fast, scalable zero-knowledge proofs for Boolean and arithmetic circuits, covering applications, existing systems, tradeoffs, and innovative protocols like SVLE and Cotton Bucketing.
Add to list
14 Lesons
15 minutes
On-Demand
Free-Video
Devoxx

Lambda Core – Hardcore

0 rewiews
Explore lambda expressions in Java, delving into their mathematical foundations and functional programming concepts through unconventional code examples and theoretical insights.
Add to list
17 Lesons
46 minutes
On-Demand
Free-Video
TheIACR

Projective Arithmetic Functional Encryption and Indistinguishability Obfuscation From Degree

0 rewiews
Explore advanced cryptographic constructions including projective arithmetic functional encryption and indistinguishability obfuscation, with insights on efficiency and future research directions.
Add to list
12 Lesons
25 minutes
On-Demand
Free-Video
TheIACR

Adaptively Secure Garbling with Near Optimal Online Complexity

0 rewiews
Learn about adaptively secure garbling schemes with near-optimal online complexity, exploring key concepts, techniques, and their significance in cryptography and secure computation.
Add to list
14 Lesons
22 minutes
On-Demand
Free-Video
Scala Days Conferences

Constraint Typing with Boolean Algebra - Scala Days Seattle

0 rewiews
Explore composable constraint typing in Scala 3 using Boolean algebra, enabling safer function calls and improved data specification without changing data types.
Add to list
12 Lesons
30 minutes
On-Demand
Free-Video
Ruby Central

The Math Every Programmer Needs

0 rewiews
Explore practical applications of discrete math in programming, including Boolean algebra, combinatorics, and graph theory, to enhance your coding skills and problem-solving abilities.
Add to list
1 Lesons
38 minutes
On-Demand
Free-Video
NPTEL-NOC IITM

Decoders and Demultiplexers - Part 1

0 rewiews
Explore decoder and demultiplexer concepts in digital logic, enhancing understanding of fundamental circuit components.
Add to list
1 Lesons
25 minutes
On-Demand
Free-Video
PLAY Chemistry

Logic Gates A to Z - Truth Tables, Circuits, Formulas, and Applications

0 rewiews
Explore logic gates from A to Z, covering truth tables, circuits, formulas, and real-world applications. Master essential concepts through step-by-step explanations and examples.
Add to list
13 Lesons
22 minutes
On-Demand
Free-Video
HUJI Machine Learning Club

Local Glivenko-Cantelli: Estimating the Mean in Infinite Dimensions

0 rewiews
Delve into advanced statistical theory exploring mean estimation in infinite dimensions, focusing on Local Glivenko-Cantelli bounds and maximal deviation analysis for Boolean cube distributions.
Add to list
1 Lesons
59 minutes
On-Demand
Free-Video
NCCR SwissMAP

Learning Sparse Boolean Functions: Neural Networks Need a Hierarchical Degree Chain

0 rewiews
Explore neural networks' hierarchical degree chain for learning sparse Boolean functions. Gain insights from EPFL expert E. Abbé.
Add to list
1 Lesons
49 minutes
On-Demand
Free-Video
DroneBot Workshop

Using Basic Logic Gates - With and Without Arduino

0 rewiews
Explore basic logic gates, their families, and practical applications. Learn to emulate gates with Arduino and build a simple intruder alarm combining hardware and software.
Add to list
9 Lesons
1 hour 4 minutes
On-Demand
Free-Video
UCLA Computer Science

CS 201 - Introduction to Algorithms - March 14, 2023

0 rewiews
Explore advanced computer science concepts with Gal Vardi from Toyota Technological Institute in this UCLA lecture series.
Add to list
1 Lesons
1 hour 10 minutes
On-Demand
Free-Video
CppNow

Zero-Cost Abstractions in C++ - High Performance Message Dispatch

0 rewiews
Explore zero-cost abstractions in C++ through a case study on high-performance message dispatch, featuring compile-time programming and optimized algorithms for efficient component communication.
Add to list
1 Lesons
1 hour 31 minutes
On-Demand
Free-Video
Kolmogorov-Seminar

Checking the Fraction of Satisfying Assignments for 3CNF

0 rewiews
Explore computational complexity theory through an analysis of satisfying assignments in 3CNF formulas, based on recent research developments and mathematical proofs.
Add to list
1 Lesons
2 hours 8 minutes
On-Demand
Free-Video
CppCon

Message Handling with Boolean Algebra

0 rewiews
Discover how Boolean algebra principles can optimize message handling in embedded systems, focusing on compile-time constraint simplification and runtime performance enhancement through practical C++ implementations.
Add to list
1 Lesons
1 hour 1 minute
On-Demand
Free-Video