Mathematical Proofs Courses and Certifications

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

Math Sorcerer

Mathematical Induction Proof for Factorial Series

Master mathematical induction through a step-by-step proof demonstrating that 1*1! + 2*2! + ... + n*n! = (n + 1)! - 1, with clear explanations and practical examples.

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

Mathematical Thinking in Computer Science

2289 ratings at Coursera

Learn induction, recursion, logic and invariants through interactive puzzles, then use even and odd permutations to write a Python program solving any 15-puzzle.

• Coursera
• 6 weeks, 7 hours a week
• Self-Paced
• Paid Course

Logic for Economists

300 ratings at Coursera

Learn propositional and predicate logic, set theory, the number systems from natural to complex, and basic proof techniques, and spot the logical structure behind simple puzzles.

• Coursera
• 6 weeks, 1 hour a week
• Self-Paced
• Paid Course

Language, Proof and Logic

6 ratings at edX

The ability to reason is fundamental to human beings. Whatever the discipline or discourse it is important to be able to distinguish correct reasoning from incorrect reasoning. The consequences of inc

• edX
• 15 weeks, 5-10 hours a week
• Self-Paced
• Free Online Course (Audit)

Algebra and Differential Calculus for Data Science

269 ratings at Coursera

Learn the differential calculus needed for data science: review algebra and logarithms, compute derivatives from the definition, and apply product and chain rules to graph and maximize functions.

• Coursera
• 6 weeks, 1 hour a week
• Self-Paced
• Paid Course

Discrete Mathematics

3992 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

204 ratings at Coursera

Work through sets, functions, relations, partial orders, enumerative combinatorics, graph theory, and network flow and matchings while learning to read and construct rigorous proofs.

• Coursera
• 11 weeks, 4 hours a week
• Self-Paced
• Paid Course

Discrete Math for Computer Science - Logic & Set Theory

Learn propositional and predicate logic, truth tables, quantifiers, rules of inference, proof by contradiction and contraposition, plus sets, functions, power sets and cardinality.

• Coursera
• 5 weeks, 2 hours a week
• Self-Paced
• Paid Course

Mathematics for Computer Science

2 ratings

This course covers elementary discrete mathematics for computer science and engineering. It emphasizes mathematical definitions and proofs as well as applicable methods.

• MIT OpenCourseWare
• 33 hours
• Self-Paced
• Free Video

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

Infinity: Mathematics, History, Philosophy (Live Online)

33 ratings at CourseHorse

Explore how humans have tried to understand the infinite—from ancient paradoxes to modern mathematical breakthroughs.

• CourseHorse
• 12 hours
• Self-Paced
• $335.00

University of London;  Goldsmiths University of London

Logic and Reasoning for Computing

Learn propositional and predicate logic, Boolean algebra, and proof techniques — truth tables, quantifiers, De Morgan's laws, circuit simplification, contradiction and induction — applied to computing problems.

• Coursera
• 4 weeks, 5 hours a week
• Self-Paced
• Paid Course

Geometry: High School

Review high school geometry: triangle properties, theorems and proofs, similar polygons, quadrilaterals, circles, conic sections, solids, analytical geometry, and introductory trigonometry.

• Study.com
• 19 hours 20 minutes
• Self-Paced
• Paid Course

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

Discrete Mathematics for Computer Science and Engineering

Learn to write formal proofs and work with sets, relations, functions, counting techniques, recurrence relations, graphs, trees, and basic algebraic structures such as groups and rings.

• Coursera
• 10 weeks, 4 hours a week
• Self-Paced
• Paid Course