Logic & Foundations Courses and Certifications

Introduction to Mathematical Thinking

51 ratings

A key feature of mathematical thinking is thinking outside-the-box – a valuable ability in today’s world. This course helps to develop that crucial way of thinking.

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

• Best of All Time

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

Introduction to Logic

20 ratings

Encode information as logical sentences and reason with it, working through propositional, relational, and functional logic plus logic technology and its applications in science, engineering, and law.

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

Neso Academy

Discrete Mathematics

23 ratings

Master discrete mathematical structures including sets, relations, functions, logic, and graph theory through comprehensive examples and problem-solving techniques.

• YouTube
• 17 hours 11 minutes
• Self-Paced
• Free Video

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

Mathematical Thinking for Advanced Mathematics

Learn the thinking processes behind advanced math: work with visual images, generalize and specialize concepts, unify related ideas, craft definitions, and build axiomatic systems.

• Coursera
• 8 weeks, 3 hours a week
• Self-Paced
• Paid Course

逻辑、计算和博弈

Introduction to the themes of information, computation, agency, and games in logic.

• XuetangX
• Self-Paced
• Free Online Course

Shiv Nadar University;  AICTE

Critical Thinking

1 rating

An introduction to formal logic using set theory, mathematical induction, quantifiers, truth tables, and binary relations.

• Swayam
• Self-Paced
• Free Online Course

CEC;  Farook College

Logic And Sets

Introduces mathematical logic and set theory as foundations for abstract mathematical reasoning.

• Swayam
• 15 weeks
• Available until Oct 31, 2026
• Free Online Course

Maths for Programmers Tutorial - Full Course on Sets and Logic

An introduction to discrete mathematics for programmers covering set operations, laws, propositions, truth tables, quantifiers, conditional statements, and tautologies.

• freeCodeCamp
• 1-2 hours
• Self-Paced
• Free Video

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

An Introduction to Logic for Computer Science

10 ratings

Learn propositional logic: write propositions, build truth tables, combine expressions to describe complex scenarios, and apply the modelling to solve puzzles and a mystery theft.

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

Predicates, Sets, and Proofs - Lecture 1

Explore fundamental mathematical concepts including predicates, sets, and proof techniques essential for computer science applications and logical reasoning.

• YouTube
• 1 hour 19 minutes
• Self-Paced
• Free Video

Dr Trefor Bazett

Mathematical Conventions and Disagreements in Basic Mathematical Concepts

Explore fascinating mathematical debates and disagreements among experts on fundamental concepts like 0^0, natural numbers, continuous functions, and the Axiom of Choice.

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

Insights into Mathematics

The Algebra of Boole and Boolean Algebra - Key Differences - Part 1

Introduction to the Algebra of Boole, focusing on the bifield of two elements and n-tuples. Explores its role in circuit analysis and contrasts it with Boolean algebra, highlighting implications for 20th-century mathematics.

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