Proofs

Coursera

Stanford University

Introduction to Logic (Coursera)

CS: Theory Sci: Mathematics

Embark on an enlightening journey into the world of logic with this introductory course designed for beginners. Gain a solid understanding of logical encoding, reasoning techniques, and the practical applications of logic in diverse areas such as mathematics, science, engineering, business, law, and more.

Jun 22nd 2026

5-12 Weeks

Math Calculus Analysis

Coursera

University of California, San Diego,Higher School of Economics - HSE University

What is a Proof? (Coursera)

CS: Software Engineering CS: Theory

Dive into the core concepts of mathematical thinking and unlock the secrets behind solving complex problems in computer science. This course, 'What is a Proof?', will equip you with crucial skills in areas such as algorithms, bioinformatics, data science, and machine learning through an exploration of induction, recursion, logic, and other vital discrete mathematics tools.

Jun 15th 2026

5-12 Weeks

Math Programming Algorithms

Page 1