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
Truth value
Formal sciences
Logic
Classical logic
First-order logic
Graph Chatbot
Related lectures (29)
Login to filter by course
Login to filter by course
Reset
Previous
Page 3 of 3
Next
Full Adder: Binary Addition Logic
Explains the full adder's role in binary addition and its design using transistors.
Propositional Logic: Summary of Week 1
Introduces propositional logic, logical connectives, implications, and equivalences, with examples and facts about tautology and contradiction.
Predicate Logic: Quantifiers and Truth Values
Explores existential quantifiers, truth values, and composite statements in predicate logic.
Propositional Logic: Normal Forms and Applications
Explores Disjunctive Normal Form and Conjunctive Normal Form in propositional logic, their applications, and complexity, with practical examples.
Boolean Algebra: Python Programming
Introduces Boolean algebra concepts and their application in Python programming.
Logic: Building Blocks of Machines
Covers basic logic elements, sequential circuits, and binary counting concepts in digital systems.
Sparsest Cut: ARV Theorem
Covers the proof of the Bourgain's ARV Theorem, focusing on the finite set of points in a semi-metric space and the application of the ARV algorithm to find the sparsest cut in a graph.
Understanding Microcontrollers: Combinatorial Systems
Introduces the basics of combinational systems in microcontrollers, covering logical systems and truth tables.
Predicate Logic: Universal and Existential Quantifier
Introduces predicate logic and explains how to determine truth values using quantifiers.
