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
Propositional Calculus
Graph Chatbot
Related lectures (28)
Propositional Logic: Translations and Equivalences
Covers translating natural language to propositional logic and proving tautologies.
Statistical Physics: Spin Glasses & Optimization
Explores the Curie-Weiss model, spin glasses, and optimization problems in statistical physics.
Finite Systems Expressed with Formulas
Explores encoding finite systems with boolean functions, propositional logic, inductive invariants, and formal proof systems.
Sets and Operations: Introduction to Mathematics
Covers the basics of sets and operations in mathematics, from set properties to advanced operations.
Cartesian Product in Linear Algebra
Explores the Cartesian product in linear algebra and the method of induction for proving propositions.
Elements of Computational Complexity
Introduces computational complexity, decision problems, quantum complexity, and probabilistic algorithms, including NP-hard and NP-complete problems.
Logical Structure: Choice and Bar Induction Principles
Covers the logical structure of principles equivalent to choice and bar induction, focusing on generalized dependent choice and its implications in mathematics.
Proofs: Logic, Mathematics & Algorithms
Explores proof concepts, techniques, and applications in logic, mathematics, and algorithms.
Previous
Page 2 of 2
Next
