Skip to main content
Graph
Search
fr
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Practice
Publications
Startups
Units
Show all results for
Home
Concept
Exclusive or
Formal sciences
Logic
Classical logic
First-order logic
Graph Chatbot
Related lectures (28)
Login to filter by course
Login to filter by course
Reset
Previous
Page 2 of 3
Next
Common Multiplicand Speedup
Explores common multiplicand speedup through logical operations like bitwise AND and XOR to optimize the multiplication process.
Predicate Logic: Logical Equivalences and Quantifiers
Explores logical equivalences, quantifiers, and De Morgan's Laws in predicate logic.
Logical Symbols and Sets
Covers logical symbols, sets, and properties verification.
Predicate Logic: Logical Equivalences and Quantifiers
Covers logical equivalences, quantifiers, and De Morgan's Laws in predicate logic.
Set Identities: Analogues and Proofs
Explores set identities as analogues of logical equivalences in propositional logic.
Logical Equivalences: De Morgan's Laws and Implications
Covers logical equivalences in propositional logic, including De Morgan's Laws and Equivalences with Basic Connectives.
Introduction & Propositional Logic
Covers the basics of propositional logic, logical connectives, truth tables, and compound propositions.
Predicate Logic: Quantifiers and Equivalences
Explores predicate logic, covering quantifiers, equivalences, and translations from natural language.
C++: struct and bitwise operators
Explores data transformation using typedef, struct, and bitwise operators in C++ to manipulate data at a bit level.
SR Latch and D Flip-Flop: Memory Elements in Logic Systems
Explores SR latch, D flip-flop, multiplexers, XOR gates, and tristate gates in logic systems.