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
Coq: Introduction
Graph Chatbot
Related lectures (35)
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.
Coq Workshop: Introduction to Interactive Theorem Proving
Introduces Coq, an interactive theorem assistant based on the Curry-Howard isomorphism.
Coq: Overview
Introduces Coq and focuses on proving the theorem and_comm step by step.
Propositional Logic: Translations and Equivalences
Covers translating natural language to propositional logic and proving tautologies.
Formal Proofs: Checking Invariants and Bounded Model Checking
Explores formal proofs, satisfiability problems, and inductive invariants using SAT queries in sequential circuits.
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.
Stability Criteria in Plasma Waves
Covers the stability criteria in plasma waves, focusing on the Norton-Garder Theorem.
Untitled
Correlations of the Liouville function
Explores correlations of the Liouville function along deterministic and independent sequences, covering key concepts and theorems.
Fundamental Groups
Explores fundamental groups, homotopy classes, and coverings in connected manifolds.
Propositions and Proofs
Explores propositions, proofs, and contraposition in mathematical theory, emphasizing logical rules and proof methods.
Introduction & Propositional Logic
Covers the basics of propositional logic, logical connectives, truth tables, and compound propositions.
Finite Systems Expressed with Formulas
Explores encoding finite systems with boolean functions, propositional logic, inductive invariants, and formal proof systems.
Coq Workshop: Inductive Data Types and Proofs
Covers the definition of an inductive data type in Coq and how to build proofs interactively using tactics.
Short Coq Tutorial
Offers a tutorial on Coq, covering inductive definitions, recursive functions, propositions, theorems, and tactics.
Harmonic Forms: Main Theorem
Explores harmonic forms on Riemann surfaces and the uniqueness of solutions to harmonic equations.
Soundness and Completeness of a Propositional Proof System
Explores the importance of soundness and completeness in a propositional proof system.
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.
Untitled
Log in to Mediaspace to watch this video
Previous
Page 1 of 2
Next
