Mathematical Proofs Courses and Certifications

Fields Institute

Generators of C0-Semigroups of Weighted Composition Operators

Explore generators of C0-semigroups and weighted composition operators in analytic function spaces, examining key assumptions, proofs, and recent developments in the field.

• YouTube
• 52 minutes
• On-Demand
• Free Video

Fields Institute

The Value of Errors in Proofs

Explore the significance of errors in mathematical proofs with Avi Wigderson. Gain insights into how mistakes contribute to advancing mathematical understanding and problem-solving techniques.

• YouTube
• 43 minutes
• On-Demand
• Free Video

Hausdorff Center for Mathematics

Beautiful Formalizations and Proofs in Mechanized Mathematics

Explore the aesthetics of mathematical formalization, examining how beauty in mathematics adapts to mechanization and automation, with illustrative examples of elegant definitions and proofs.

• YouTube
• 40 minutes
• On-Demand
• Free Video

Math with Professor V

Determining Algebraically if a Function is Even, Odd, or Neither Using Radical Functions - Part 2

Master algebraic techniques for classifying radical functions and rational exponents as even, odd, or neither through step-by-step examples and clear mathematical explanations.

• YouTube
• 14 minutes
• On-Demand
• Free Video

Topos Institute

Organizing Libraries Behind Big Proofs - From Elementary to Advanced Mathematics

Explore how computer-assisted formal mathematics requires meticulous organization of proof libraries, from basic foundations to complex theorems like the Four Color theorem.

• YouTube
• 1 hour
• On-Demand
• Free Video

Simons Institute

Proofs - Practice 1

Dive into practical proof techniques with Justin Thaler from Georgetown University, exploring cryptographic concepts in this Simons Institute session.

• YouTube
• 1 hour 9 minutes
• On-Demand
• Free Video

Mr. Robinson's Virtual Math Classroom

Finding Sums of Infinite Geometric Series

Master the calculation of infinite geometric series sums through step-by-step problem solving and comprehensive formula derivation, with emphasis on convergence conditions and practical applications.

• YouTube
• 1 hour 30 minutes
• On-Demand
• Free Video

NPTEL-NOC IITM

Examples and Generalizations - Part 2

Explore advanced concepts of generalizations through practical examples and in-depth analysis of mathematical principles and their broader applications.

• YouTube
• 29 minutes
• On-Demand
• Free Video

Paul G. Allen School

The Value and Pitfalls of Proof

Explore the critical balance between computational methods and mathematical proofs through real-world examples where simulations fail and theoretical proofs triumph in solving complex problems.

• YouTube
• 1 hour 5 minutes
• On-Demand
• Free Video

GreeneMath.com

Even and Odd Functions - Practice Test Solutions with Graphical Approaches

Master even and odd functions through detailed solutions and graphical approaches to 10 practice problems, featuring step-by-step explanations and interactive Desmos visualizations.

• YouTube
• 22 minutes
• On-Demand
• Free Video

INSAIT Institute

Automated Modular Program Verification - From Testing to Mathematical Proofs

Dive into automated program verification techniques to mathematically prove software correctness, exploring tools, methodologies, and real-world applications like the Scion Internet Architecture.

• YouTube
• 32 minutes
• On-Demand
• Free Video

Simons Institute

Indistinguishability Obfuscation via Mathematical Proofs

Explore advanced cryptographic techniques using mathematical proofs to overcome the input-length barrier in indistinguishability obfuscation for unbounded programs.

• YouTube
• 1 hour 7 minutes
• On-Demand
• Free Video

Discrete Mathematics

3919 ratings at Udemy

Master Discrete Math with 400+ Practice Questions and Quizzes: Foundational for Computer Science and Math Students

• Udemy
• 19 hours
• On-Demand
• Paid Course

Master Discrete Mathematics: Sets, Math Logic, and More

1587 ratings at Udemy

Master Discrete Mathematics: Learn and master all of Discrete Math - Logic, Set Theory, Combinatorics, Graph Theory, Etc

• Udemy
• 6 hours 50 minutes
• On-Demand
• Paid Course

Precalculus 1: Basic notions

1363 ratings at Udemy

A solid preparation for Calculus, with elements of Discrete Mathematics: logic, sets, functions, relations, and proofs

• Udemy
• 2 days 4 hours 16 minutes
• On-Demand
• Paid Course