Skip to main content
Graph
Search
fr
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Quizes
Exercises
Publications
Startups
Units
Show all results for
Home
Lecture
Propositional Calculus
Graph Chatbot
Related lectures (53)
Concept of Proof in Mathematics
Delves into the concept of proof in mathematics, emphasizing the importance of evidence and logical reasoning.
Recursive Enumerability: Turing Machines and Undecidable Languages
Covers recursively enumerable languages, Turing machines, and the construction of undecidable languages.
Introduction & Propositional Logic
Covers the basics of propositional logic, logical connectives, truth tables, and compound propositions.
Complexity & Induction: Algorithms & Proofs
Covers worst-case complexity, algorithms, and proofs including mathematical induction and recursion.
Coq: Introduction
Introduces Coq, covering defining propositions, proving theorems, and using tactics.
Proofs and Computations: A Journey Through Mathematical Theory
Explores historical mathematical proofs, decision problems, deductive systems, probabilistic and quantum proofs, and interactive proof systems.
Automated Reasoning: Formal Verification with LISA
Explores formal verification using the LISA proof assistant and the OCBSL Equivalence Checker.
Computational Complexity: Theory and Applications
Explores computational complexity, NP-completeness, and polynomial reductions in theoretical computer science.
Formal Proofs: Checking Invariants and Bounded Model Checking
Explores formal proofs, satisfiability problems, and inductive invariants using SAT queries in sequential circuits.
Injective Functions: Properties and Examples
Covers the properties of injective functions and demonstrates their proofs through examples and visual aids.
Set Theory: Introduction and Operations
Covers the foundation of mathematics through set theory concepts like membership and unions.
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.
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.
Formal Logic: Proofs and Sets
Log in to Mediaspace to watch this video
Covers the basics of formal logic, focusing on logical expressions and mathematical proofs.
Hoare Logic: Foundations and Applications
Log in to Mediaspace to watch this video
Covers Hoare Logic, its foundations, applications, and significance in program verification.
Previous
Page 1 of 3
Next
