Mathematical logic Courses and Certifications

Hausdorff Center for Mathematics

Quantifier Elimination and Definable Sets in Qp

Explore quantifier elimination in p-adic fields, model-completeness proofs, and definable sets including the valuation ring Zp with henselian valuation examples.

• YouTube
• 1 hour 1 minute
• On-Demand
• Free Video

Mathematical Thinking in Computer Science

2282 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
• On-Demand
• 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 a week
• On-Demand
• Free Online Course (Audit)

Master Discrete Mathematics: Sets, Math Logic, and More

1587 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
• On-Demand
• Paid Course

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 a week
• On-Demand
• 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
• On-Demand
• 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
• On-Demand
• Free Online Course

计算机科学中的数理逻辑

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

• XuetangX
• On-Demand
• 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
• On-Demand
• Free Trial Available

Discrete Math Series : Propositional Logic masterclass

208 ratings at Udemy

Learn Discrete Mathematics from scratch as Discrete Mathematics form the core of Computer Science

• Udemy
• 3 hours 24 minutes
• On-Demand
• Paid Course

Discrete Mathematics: Open Doors to Great Careers

182 ratings at Udemy

Learn the core topics of Discrete Math to open doors to Computer Science, Data Science, Actuarial Science, and more!

• Udemy
• 4 hours 38 minutes
• On-Demand
• Paid Course

Discrete Mathematics: Beginner's Complete, Math Crash Course

158 ratings at Udemy

Discrete Mathematics for Beginners: Number, Graph & Set theory, Proofs, Combinatorics & more! Math for Computer Science.

• Udemy
• 4 hours 2 minutes
• On-Demand
• Paid Course

Discrete Math Series : Set Theory & Algebra masterclass

152 ratings at Udemy

Learn Discrete Mathematics from scratch as Discrete Mathematics form the core of Computer Science

• Udemy
• 6 hours 15 minutes
• On-Demand
• Paid Course

Introduction to Logic (Geometry Unit 2)

138 ratings at Udemy

the first unit for High School Geometry (for students)

• Udemy
• 1 hour 33 minutes
• On-Demand
• Free Online Course

Master Geometry: Full Curriculum with Practice

84 ratings at Udemy

Learn and master all things Geometry with over 7 hours of geometry lessons and countless practice problems

• Udemy
• 7 hours 27 minutes
• On-Demand
• Paid Course