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
Formal Proofs: Checking Invariants and Bounded Model Checking
Graph Chatbot
Related lectures (27)
Previous
Page 2 of 3
Next
Introduction to Categories
Introduces the concept of categories essential for understanding group theory.
Formal Logic: Proofs and Sets
Covers the basics of formal logic, focusing on logical expressions and mathematical proofs.
Automating First-Order Logic Proofs Using Resolution
Covers first-order logic syntax, semantics, and resolution for proving properties.
Optimal Transport: Theory and Applications
Explores Lagrange multipliers, minimax theorems, and convex subsets in optimal transport theory.
Linear Algebra: Implications and Equivalences
Explores implications and equivalences in linear algebra through examples and formal proofs.
WireGuard: Cryptographic Protocol for VPNs
Explores the WireGuard Protocol, a modern VPN replacement for IPsec and OpenVPN, focusing on encrypted tunnelling and security properties.
Jordan Curve Theorem
Covers the proof of the Jordan Curve Theorem and the properties of embedded spheres.
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.
Introduction & Propositional Logic
Covers the basics of propositional logic, logical connectives, truth tables, and compound propositions.
Hoare Logic: Foundations and Applications
Covers Hoare Logic, its foundations, applications, and significance in program verification.
