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
Graph Chatbot
Related lectures (29)
Login to filter by course
Login to filter by course
Reset
Previous
Page 2 of 3
Next
Predicate Logic: Summary of Week 2
Covers the concept of universe of discourse and truth values in predicate logic.
Propositional Logic: Implication and Compound Propositions
Covers logical connectives, implication, biconditional, compound propositions, and truth tables.
Simple Code Generation for if
Covers the compilation of statement sequences, control structures, boolean representation, and comparisons in WebAssembly code generation.
Proofs: Logical Equivalence and Inference Rules
Covers the concept of logical equivalence in proofs and inference rules.
FSM Design and Synthesis
Explains the design and synthesis of Finite State Machines in logic systems.
Propositional Logic: Basics and Equivalences
Covers the basics of propositional logic and explores logical equivalences and proof techniques.
Propositional Logic: Implication and Compound Propositions
Covers logical connectives, implication, biconditional, and compound propositions in propositional logic.
Propositional Logic: Basic Logical Connectives
Covers propositions, logical connectives, truth tables, and propositional logic language.
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.
Propositional Logic: Basics and Applications
Covers the basics of propositional logic, its history, language, and computing applications.
