Mathematical logic Courses and Certifications

NCCR SwissMAP

An Introduction to Mathematical Logic

1 review

Explore fundamental concepts of mathematical logic, including propositional calculus, first-order logic, and formal reasoning techniques.

• YouTube
• 1 hour 2 minutes
• On-Demand
• Free Video

Mathematical Logic

Explore statements, propositions, connectives, truth tables, tautology, and contradiction in mathematical logic.

• YouTube
• 30 minutes
• On-Demand
• Free Video

Logic for Economists

300 ratings at Coursera

Explore foundational mathematical concepts including logic, set theory, and proof techniques, enhancing analytical skills for economic reasoning and problem-solving.

• Coursera
• 7 hours 19 minutes
• On-Demand
• Paid Course

Math 97: Introduction to Mathematical Reasoning

Develop logical reasoning skills through engaging lessons on proofs, sets, algebra, geometry, and more. Self-paced study option available for college credit transfer.

• Study.com
• 16 hours 24 minutes
• On-Demand
• Paid Course

Paradox and Infinity

Explore awe-inspiring issues at the intersection of philosophy and mathematics, proving beautiful theorems like Cantor's, Banach-Tarski, and Gödel's while thinking rigorously about paradoxes.

• MITx Online
• 12 weeks, 5-6 hours a week
• On-Demand
• Free Online Course

Introduction to Logic

19 reviews

Explore computational logic: encode information, reason logically, and discover applications in various fields. Gain a solid foundation in propositional, relational, and functional logic.

• Coursera
• 1 day 23 hours 9 minutes
• On-Demand
• Paid Course

Foundations of Logic

This course is for students interested in formal methods of logic. The lecturer will lead a systematic study of the basics of modern logic.

• XuetangX
• On-Demand
• Free Online Course

MA111: Introduction to Mathematical Reasoning

Develop critical thinking and problem-solving skills through logic, number theory, and mathematical concepts for a strong foundation in advanced mathematics.

• Saylor Academy
• 112 hours
• On-Demand
• Free Certificate

Logic

Stretch your analytic muscles with truth-tellers, liars, logical robots, and more.

• Brilliant
• 8-12 hours
• On-Demand
• Paid Course

Reasoning with Logic

Exercise your rationality and learn the mathematical dialects of logic.

• Brilliant
• 4 hours
• On-Demand
• 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
• On-Demand
• Free Video

BIMSA

Mathematical Logic: Unifications and Diversifications

Explore mathematical logic's unifications and diversifications with Kazuyuki Tanaka, renowned expert in second-order arithmetic and reverse mathematics.

• YouTube
• 50 minutes
• On-Demand
• Free Video

Insights into Mathematics

Logical Difficulties With the Modern Theory of Limits - Real Numbers + Limits Math Foundations

1 review

Explores logical issues with the modern theory of limits in mathematics, examining the formal definition and its problems through examples and historical context.

• YouTube
• 36 minutes
• On-Demand
• Free Video

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
• On-Demand
• 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
• On-Demand
• Free Video