Mathematical Proofs Courses and Certifications

Credential

Discrete Mathematical Tools for Computer Science

Master discrete mathematics fundamentals for computer science: logic, counting, algorithms, recursion, and probability through rigorous problem-solving and proofs.

• Coursera
• 4 weeks, 10 hours/week
• Self-Paced
• Paid Course
• 3 courses

Master Discrete Mathematics: Sets, Math Logic, and More

1591 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
• Self-Paced
• Paid Course

Precalculus 1: Basic notions

1385 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
• Self-Paced
• Paid Course

Birla Institute Of Technology And Science–Pilani (BITS–Pilani)

Discrete Mathematics for Computer Science and Engineering

Master discrete mathematical foundations essential for computer science, covering proofs, sets, functions, relations, counting, recursion, graphs, and algebraic structures.

• Coursera
• 1 day 19 hours 52 minutes
• Self-Paced
• Paid Course

HSC Mathematics: Exam Prep & Syllabus

Comprehensive HSC Mathematics preparation covering proofs, algebra, geometry, calculus, and more. Self-paced lessons and quizzes align with exam syllabus, enhancing understanding and test-taking skills for success.

• Study.com
• 1 day 9 hours 20 minutes
• Self-Paced
• Paid Course

Math 97: Introduction to Mathematical Reasoning

Develop logical reasoning skills through engaging lessons on proofs, sets, algebra, geometry, and more. Self-paced study option available for college credit transfer.

• Study.com
• 16 hours 24 minutes
• Self-Paced
• Paid Course

Paradox and Infinity

Explore awe-inspiring issues at the intersection of philosophy and mathematics, proving beautiful theorems like Cantor's, Banach-Tarski, and Gödel's while thinking rigorously about paradoxes.

• MITx Online
• 12 weeks, 5-6 hours/week
• Self-Paced
• Free Online Course

Mathematics for Computer Science

Master discrete mathematics fundamentals for computer science including logic, graph theory, algorithms, cryptography, and probability with MIT's comprehensive approach.

• MIT OpenCourseWare
• Self-Paced
• Free Online Course

Real Analysis

Master rigorous mathematical proof techniques while exploring real numbers, limits, series, metric spaces, differentiation, and integration in this foundational analysis program.

• MIT OpenCourseWare
• Self-Paced
• Free Online Course

Hausdorff Center for Mathematics

Mathematik für alle - in Zeiten von Corona, Folge 2: Es gibt unendlich viele Primzahlen

Entdecken Sie die faszinierende Welt der Primzahlen und lernen Sie, warum es unendlich viele davon gibt. Ein spannender Einblick in die Schönheit und Logik der Mathematik für Neugierige jeden Alters.

• YouTube
• 22 minutes
• Self-Paced
• Free Video

Michael Penn

Proofs by Mathematical Induction

Explore the principle of mathematical induction through clear explanations and diverse examples, enhancing your ability to construct rigorous proofs in mathematics.

• YouTube
• 24 minutes
• Self-Paced
• Free Video

Abstract Algebra: Group Theory with the Math Sorcerer

572 ratings at Udemy

Master abstract algebra fundamentals through group theory, from basic operations to advanced concepts like homomorphisms and quotient groups. Develop mathematical maturity through proven theorems and practical problem-solving.

• Udemy
• 10 hours 1 minute
• Self-Paced
• Paid Course

World Science Festival

Infinity - The Science of Endless

Explore the enigma of infinity through interdisciplinary discussions with leading thinkers, delving into its existence, types, and implications in mathematics, physics, and philosophy.

• YouTube
• 1 hour 24 minutes
• Self-Paced
• Conference Talk

3Blue1Brown

Pi Hiding in Prime Regularities

Explore the fascinating connection between pi, primes, and complex numbers through animated explanations, uncovering hidden patterns and mathematical relationships in number theory.

• YouTube
• 31 minutes
• Self-Paced
• Free Video

Numberphile

Sum of Natural Numbers - Second Proof and Extra Footage

Explore an alternative proof and additional insights on the intriguing sum of natural numbers, presented by physicists Ed Copeland and Tony Padilla from the University of Nottingham.

• YouTube
• 21 minutes
• Self-Paced
• Free Video