Logic & Foundations Courses and Certifications

Wrath of Math

Set Theory

Discover fundamental set operations, subsets, unions, intersections, and power sets through comprehensive lessons covering basic concepts to advanced proofs and applications.

• YouTube
• 9 hours 34 minutes
• Self-Paced
• Free Video

模态逻辑及其应用

以时间、信念和社会认知行动为主线，系统介绍模态逻辑的语义、证明系统及其建模应用。

• XuetangX
• Self-Paced
• Free Online Course

CS202: Discrete Structures

1 rating

Work through sets, counting, mathematical logic, induction and proofs, probability, recursion, graphs, trees, and finite-state automata.

• Saylor University
• 44 hours
• Self-Paced
• Free Certificate

Mind-Bending Math: Riddles and Paradoxes

55 ratings at The Great Courses Plus

Want to stretch your brain in surprising ways? If you like to think, solve riddles, and exercise your brain, this captivating course examining logic-based brain teasers is for you.

• The Great Courses Plus
• 12 hours 20 minutes
• Self-Paced
• Free Trial Available

Prove It: The Art of Mathematical Argument

44 ratings at The Great Courses Plus

Experience the thrilling pursuit of a mathematical proof in this course suitable for everyone from high school students to math lovers.

• The Great Courses Plus
• 12 hours 19 minutes
• Self-Paced
• Free Trial Available

Discrete Math: Sets and Set Operations

35 ratings at Codecademy

Set theory basics and set operations taught with Python code, showing how sets underpin computer science and data science work.

• Codecademy
• 1 hour
• Self-Paced
• Free Trial Available

Learn to prove or disprove theorems with induction, strong induction, and other proof methods, using Python 3 to represent inductive reasoning.

• Codecademy
• 1 hour
• Self-Paced
• Free Trial Available

Math Foundation

Build mathematical maturity through logic, sets, functions, relations, proof techniques, geometric intuition, and mathematical writing.

• Swayam
• Available until Oct 9, 2026
• Free Online Course

IIT Kanpur;  NPTEL

Category Theory

Study mathematics from an extrinsic viewpoint through category theory, connecting structures with morphisms, functors, adjunctions, monads, and the Yoneda lemma.

• Swayam
• 12 weeks
• Available until Oct 9, 2026
• Free Online Course

Reasoning with Logic

Exercise your rationality and learn the mathematical dialects of logic.

• Brilliant
• 4 hours
• Self-Paced
• Paid Course

Infinity

Expand your mind with the paradoxes and beauties of infinity.

• Brilliant
• 4 hours
• Self-Paced
• Paid Course

A hands-on exploration of Prolog’s declarative approach, from logical foundations and program construction to debugging, optimization, theorem proving, and AI applications.

• Independent
• Self-Paced
• Free Online Course

MA111: Introduction to Mathematical Reasoning

Learn to construct mathematical proofs while working through logic, sets, number theory, rational numbers, mathematical induction, relations and functions, and combinatorics.

• Saylor University
• 112 hours
• Self-Paced
• Free Certificate

TrevTutor

Philosophical Logic - 2024 Lectures

Master propositional and predicate logic through translations, truth tables, trees, and natural deduction proofs for philosophy, mathematics, and computer science applications.

• YouTube
• 9 hours 43 minutes
• Self-Paced
• Free Video

Strange Loop Conference

Propositions as Types

Explores how propositions become types, linking formal logic, lambda calculus, functional programming, theorem proving, and programming-language design.

• YouTube
• 43 minutes
• Self-Paced
• Conference Talk