Mathematical logic Courses and Certifications

Southwest University of Science and Technology

数理逻辑

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

Beijing University of Chemical Technology

高级数理逻辑

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

Centre International de Rencontres Mathématiques

Group Construction in C-minimal Structures

Explorez la construction de groupes dans les structures C-minimales avec Françoise Delon, approfondissant les concepts mathématiques avancés en théorie des modèles.

• YouTube
• 1 hour 9 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

计算机科学中的数理逻辑

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

• XuetangX
• On-Demand
• Free Online Course

Introduction to Logic

20 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
• Free Online Course (Audit)

Logic: Language and Information 1

8 reviews

This is an introduction to formal logic and how it is applied in computer science, electronic engineering, linguistics and philosophy. You will learn propositional logic—its language, interpretations and proofs, and apply it to solve problems in a wide r…

• Coursera
• Finished
• Free Online Course (Audit)

Language, Proof and Logic

3 reviews

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)

Semantics of First-Order Logic

6 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)

Mathematical Thinking in Computer Science

2246 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
• Free Online Course (Audit)

Master Discrete Mathematics: Sets, Math Logic, and More

1472 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

Discrete Math Series : Propositional Logic masterclass

193 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: Beginner's Complete, Math Crash Course

146 ratings at Udemy

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

• Udemy
• 4-5 hours
• On-Demand
• Paid Course

Introduction to Logic (Geometry Unit 2)

136 ratings at Udemy

the first unit for High School Geometry (for students)

• Udemy
• 1-2 hours
• On-Demand
• Free Online Course

Discrete Math Series : Set Theory & Algebra masterclass

136 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