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
Untitled
Graph Chatbot
Related lectures (30)
Previous
Page 1 of 3
Next
Proofs: Logic, Mathematics & Algorithms
Explores proof concepts, techniques, and applications in logic, mathematics, and algorithms.
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.
Coq Workshop: Introduction to Interactive Theorem Proving
Introduces Coq, an interactive theorem assistant based on the Curry-Howard isomorphism.
Hoare Logic: Foundations and Applications
Covers Hoare Logic, its foundations, applications, and significance in program verification.
Analysis IV: Measurable Sets and Properties
Covers the concept of outer measure and properties of measurable sets.
Fundamental Groups
Explores fundamental groups, homotopy classes, and coverings in connected manifolds.
Optimal Transport: Heat Equation and Metric Spaces
Explores optimal transport in heat equations and metric spaces.
Zig Zag Lemma
Covers the Zig Zag Lemma and the long exact sequence of relative homology.
Untitled
Untitled
