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
Optimal Sequence Selection
Graph Chatbot
Related lectures (30)
Previous
Page 1 of 3
Next
Coq: Introduction
Introduces Coq, covering defining propositions, proving theorems, and using tactics.
Analysis IV: Measurable Sets and Properties
Covers the concept of outer measure and properties of measurable sets.
Hoare Logic: Foundations and Applications
Covers Hoare Logic, its foundations, applications, and significance in program verification.
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.
Composition of Applications in Mathematics
Explores the composition of applications in mathematics and the importance of understanding their properties.
Harmonic Forms: Main Theorem
Explores harmonic forms on Riemann surfaces and the uniqueness of solutions to harmonic equations.
Coq: Overview
Introduces Coq and focuses on proving the theorem and_comm step by step.
Coq Workshop: Introduction to Interactive Theorem Proving
Introduces Coq, an interactive theorem assistant based on the Curry-Howard isomorphism.
Convergence of Fourier Series
Explores the convergence of Fourier series in L² space with trigonometric polynomials and approximation theorems.
