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
Lecture
Propositions and Proofs
Graph Chatbot
Related lectures (29)
Previous
Page 3 of 3
Next
Formal Proofs: Checking Invariants and Bounded Model Checking
Explores formal proofs, satisfiability problems, and inductive invariants using SAT queries in sequential circuits.
Predicate Logic: Quantifiers, CNF, DNF
Covers Predicate Logic, focusing on Quantifiers, CNF, and DNF.
Introduction to Proofs
Introduces informal proofs and their practical applications in computer science and mathematics, emphasizing the importance of proving theorems through direct and indirect methods.
Introduction to Proofs
Introduces informal proofs, explores practical applications, and explains theorem proofs using direct and indirect methods.
Discrete Mathematics: Logic, Structures, Algorithms
Covers the basics of discrete mathematics, focusing on logic, structures, and algorithms for computer systems.
Mathgraph Theorem Prover
Introduces the Mathgraph Theorem Prover, showcasing its unique approach to representing propositions and organizing graphs for first-order logic.
Ordinary Differential Equations: Definitions and Methods
Explores ordinary differential equations, proof methods, and historical examples from Euclid, emphasizing logical reasoning and step-by-step derivations.
Automating First-Order Logic Proofs Using Resolution
Covers first-order logic syntax, semantics, and resolution for proving properties.
Sets and Operations: Introduction to Mathematics
Covers the basics of sets and operations in mathematics, from set properties to advanced operations.
