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
Concept
Mathematical proof
Formal sciences
Logic
Classical logic
First-order logic
Graph Chatbot
Related lectures (30)
Login to filter by course
Login to filter by course
Reset
Previous
Page 2 of 3
Next
Proofs: Direct and Indirect Methods
Covers examples of direct and indirect proofs in mathematics.
Proof Techniques: Examples
Covers proof techniques including direct proof, contraposition, contradiction, cases, and counterexample.
Formal Logic: Proofs and Sets
Covers the basics of formal logic, focusing on logical expressions and mathematical proofs.
Central Limit Theorem: Proof via Lindeberg's Principle
Explores the proof of the Central Limit Theorem through Lindeberg's principle and the convergence of random variables.
Geodesic Convexity: Theory and Applications
Explores geodesic convexity in metric spaces and its applications, discussing properties and the stability of inequalities.
Analysis IV: Measurable Sets and Properties
Covers the concept of outer measure and properties of measurable sets.
Distribution & Interpolation Spaces
Explores distribution and interpolation spaces, showcasing their importance in mathematical analysis and the computations involved.
Modular Arithmetic: Foundations and Applications
Introduces modular arithmetic, its properties, and applications in cryptography and coding theory.
Approximation in Sobolev Spaces
Covers the approximation of functions in Sobolev spaces using smooth functions.
Convergence in Law: Theorem and Proof
Explores convergence in law for random variables, including Kolmogorov's theorem and proofs based on probability lemmas.