Mathematical Proofs Courses and Certifications

Fields Institute

What is Problem Posing by Students and Why is it Important?

Explore recent research on student problem-posing in mathematics education and discover why this pedagogical approach matters for K-8 learning environments.

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

Simons Foundation

Goal-Free Learning

Explore Mikhail Gromov's perspective on learning without predetermined objectives, emphasizing curiosity-driven discovery over structured educational goals.

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

Mathematical Thinking in Computer Science

2287 ratings at Coursera

Develop critical thinking skills for computer science through induction, recursion, logic, and invariants. Solve interactive puzzles to grasp key concepts in algorithms, data science, and machine learning.

• Coursera
• 1 day 17 hours 45 minutes
• Self-Paced
• Paid Course

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
• Self-Paced
• 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
• Self-Paced
• Free Video

Mathematics Bridging Course for Initial Teacher Education

Explore mathematical concepts, problem-solving, and evidence-based teaching practices to build foundational knowledge for effective mathematics education in classrooms.

• OpenLearning
• 50 hours
• Self-Paced
• Free Online Course

LANTITE Numeracy

Prepare for success with LANTITE Numeracy. This self-paced course will develop your understanding of mathematical content, enable you to apply numeracy skills, and support you with activities to enhance your problem-solving and mathematical reasoning.

• OpenLearning
• 50 hours
• Self-Paced
• Paid Course

DSPy Programming

Master DSPy framework fundamentals: install, program, and optimize AI systems using language models, signatures, and modules for advanced reasoning and classification tasks.

• CodeSignal
• 2 hours
• Self-Paced
• Free Certificate

Career Certificate

Introduction to Discrete Mathematics for Computer Science

3702 ratings at Coursera

Explore discrete mathematics through interactive puzzles, gaining essential skills for data science, machine learning, and software engineering. Develop mathematical thinking and problem-solving abilities applicable to various IT fields.

• Coursera
• 12 weeks, 10 hours/week
• Self-Paced
• Paid Course
• 5 courses

Algebra: Elementary to Advanced - Polynomials and Roots

175 ratings at Coursera

Explore advanced algebraic concepts including exponentials, polynomials, and roots. Develop critical thinking and problem-solving skills applicable to real-world scenarios and future mathematical studies.

• Coursera
• 9 hours 4 minutes
• Self-Paced
• Paid Course

Honors Algebra 2: Linear and Quadratic Functions

Master linear and quadratic functions through rigorous exploration of equations, graphing, and real-world modeling with university-level depth and mathematical reasoning.

• Coursera
• 12 hours 22 minutes
• Self-Paced
• Paid Course

Discrete Mathematics

3931 ratings at Udemy

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

• Udemy
• 19 hours
• Self-Paced
• Paid Course

Discrete Mathematics

203 ratings at Coursera

Explore foundational concepts in discrete mathematics, including sets, functions, relations, and graphs. Develop mathematical maturity through rigorous proofs and fascinating results in computer science.

• Coursera
• 1 day 21 hours 57 minutes
• Self-Paced
• Paid Course

Become a Geometry Master

3164 ratings at Udemy

Learn everything from Geometry, then test your knowledge with 730+ practice questions

• Udemy
• 9 hours 42 minutes
• Self-Paced
• Paid Course

Michael Penn

Proof Writing - Introduction to Mathematical Proofs and Set Theory

Master the fundamentals of mathematical proof writing through sets, logic, induction, and functions with comprehensive examples and techniques.

• YouTube
• 7 hours 8 minutes
• Self-Paced
• Free Video