Mathematical logic Courses and Certifications

Hausdorff Center for Mathematics

The Borel Monadic Theory of Order is Decidable

Discover the decidability of Borel monadic theory of order, exploring connections between automata theory, set theory, and determinacy hypotheses in mathematical logic.

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

Mathematical Thinking in Computer Science

2285 ratings at Coursera

Develop critical thinking skills for computer science through induction, recursion, logic, and invariants. Solve interactive puzzles to grasp key concepts in algorithms, data science, and machine learning.

• Coursera
• 1 day 17 hours 45 minutes
• Self-Paced
• Paid Course

Language, Proof and Logic

6 ratings at edX

Explore formal logic concepts, from basics to advanced theories, using FOL language. Develop skills in truth analysis, proof techniques, and logical reasoning.

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

Semantics of First-Order Logic

8 ratings at edX

Explore first-order logic's language, semantics, and limitations. Investigate sentence truth, logical truths, and relationships between expressions. Gain foundational knowledge for advanced logic studies.

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

数理逻辑

Dive into mathematical logic's core concepts, from propositional logic to predicate calculus, exploring modern branches like recursion theory and model theory while mastering formal systems and proofs.

• XuetangX
• Self-Paced
• Free Online Course

高级数理逻辑

Master advanced mathematical logic concepts from set theory to Prolog programming, combining theoretical foundations with practical applications for graduate-level computer science and technology studies.

• XuetangX
• Self-Paced
• Free Online Course

计算机科学中的数理逻辑

Dive into 数理逻辑在计算机科学中的应用，从命题逻辑到二叉判定图，掌握形式化方法和程序验证的核心概念，提升软件开发和系统设计能力。

• XuetangX
• Self-Paced
• Free Online Course

Mathematical Brain Teasers and Logic Puzzles

25 ratings at The Great Courses Plus

An award-winning author, mathematician, and puzzle enthusiast shows you how to master tricky brain teasers, solve challenging riddles, and increase your chances of winning games.

• The Great Courses Plus
• 5 hours 9 minutes
• Self-Paced
• Free Trial Available

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

University of London;  Goldsmiths University of London

Mathematical Foundations for Computing

Explore essential mathematical concepts including sets, number systems, functions, and relations to build strong foundations for computer science and algorithm design.

• Coursera
• 19 hours 53 minutes
• Self-Paced
• Paid Course

Geometry: High School

Comprehensive review of high school geometry topics, from foundations to trigonometry, offering self-paced practice and exam preparation for improved understanding and problem-solving skills.

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

High School Geometry: Help and Review

Comprehensive review of high school geometry concepts with interactive video lessons and quizzes, covering foundations, theorems, proofs, and advanced topics like analytical geometry and trigonometry.

• Study.com
• 21 hours 44 minutes
• Self-Paced
• Paid Course

High School Geometry: Homework Help Resource

Interactive lessons covering high school geometry topics, from foundations to trigonometry, designed to assist with homework and test preparation through engaging and informative content.

• Study.com
• 18 hours 56 minutes
• Self-Paced
• Paid Course

NY Regents Exam - Geometry: Help and Review

Interactive review for NY Regents Geometry exam with video lessons and quizzes. Covers key topics from foundations to geometric solids, accessible on mobile for flexible study options.

• Study.com
• 18 hours
• Self-Paced
• Paid Course

NY Regents Exam - Geometry: Tutoring Solution

Comprehensive preparation for NY Regents Geometry exam through video lessons and quizzes. Covers key topics from foundations to geometric solids, building confidence and exam readiness.

• Study.com
• 16 hours
• Self-Paced
• Paid Course