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
Sequent Calculus: Basics and Applications
Graph Chatbot
Related lectures (30)
Concept of Proof in Mathematics
Delves into the concept of proof in mathematics, emphasizing the importance of evidence and logical reasoning.
Proofs: Logic, Mathematics & Algorithms
Explores proof concepts, techniques, and applications in logic, mathematics, and algorithms.
Propositions as Types: Logic and Programming Correspondence
Explores the relationship between logic proofs and programming evidence through the Curry-Howard Correspondence.
Soundness and Completeness of a Propositional Proof System
Explores the importance of soundness and completeness in a propositional proof system.
Propositional Logic: Basics and Applications
Covers the basics of propositional logic, its history, language, and computing applications.
Proofs: Rules and Applications
Explores rules of inference, quantified statements, and proof methods in logic and mathematics.
Introduction & Propositional Logic
Covers the basics of propositional logic, logical connectives, truth tables, and compound propositions.
Untitled
Sequent Calculus with Equality
Covers Sequent Calculus with Equality, focusing on atomic formulas and substitution rules.
What is a Formal Proof?
Covers the concept of formal proof systems, their structure, and soundness.
The Languages of Isabelle: Isar, ML, and Scala
Explores the languages of Isabelle, focusing on Isar, ML, and Scala, covering proof schemes, Natural Deduction rules, inductive definitions, and the LCF approach.
Proofs: Logical Equivalence and Inference Rules
Covers the concept of logical equivalence in proofs and inference rules.
Propositions and Proofs
Explores propositions, proofs, and contraposition in mathematical theory, emphasizing logical rules and proof methods.
Propositional Logic: Implication and Compound Propositions
Covers logical connectives, implication, biconditional, and compound propositions in propositional logic.
Finite Systems Expressed with Formulas
Explores encoding finite systems with boolean functions, propositional logic, inductive invariants, and formal proof systems.
Logic and Truth Tables
Covers logic, truth tables, and mathematical propositions, demonstrating how to analyze logical statements.
Hoare Logic: Foundations and Applications
Log in to Mediaspace to watch this video
Covers Hoare Logic, its foundations, applications, and significance in program verification.
Proofs and Logic: Introduction
Log in to Mediaspace to watch this video
Introduces logic, proofs, sets, functions, and algorithms in mathematics and computer science.
Introduction to Proof Scripting: Basics of Ltac
Log in to Mediaspace to watch this video
Introduces the basics of proof scripting in Coq, focusing on the Ltac language and its tactics for managing proofs effectively.
Optimal Transport: Heat Equation and Metric Spaces
Log in to Mediaspace to watch this video
Explores optimal transport in heat equations and metric spaces.
Previous
Page 1 of 2
Next
