Logic & Foundations Courses and Certifications

计算机科学中的数理逻辑

聚焦用形式化逻辑描述、分析和验证计算机软硬件系统，涵盖模型检测、程序验证与模态逻辑。

• XuetangX
• Self-Paced
• Free Online Course

Einführung in die mathematische Sprache der Algorithmik mit Quantoren, Formalisierungen, Logarithmengesetzen und Landau-Notation.

• openHPI
• 2 weeks
• Self-Paced
• Free Certificate

Python Engineering Foundations Data Logic and Control Flow is a practical course designed for learners building core Python programming skills. This course covers nested structures, conditionals, and

• INE
• 6 hours
• Self-Paced
• Paid Course

Language, Proof and Logic

6 ratings at edX

The ability to reason is fundamental to human beings. Whatever the discipline or discourse it is important to be able to distinguish correct reasoning from incorrect reasoning. The consequences of inc

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

Career Certificate

Discrete Mathematical Tools for Computer Science

Build the discrete math toolkit behind computing: logic and set theory, counting and probability, and algorithms, recursion and proofs for analyzing algorithm correctness.

• Coursera
• 4 weeks, 10 hours a week
• Self-Paced
• Paid Course
• 3 courses

Precalculus 1: Basic notions

1476 ratings at Udemy

A solid preparation for Calculus, with elements of Discrete Mathematics: logic, sets, functions, relations, and proofs

• Udemy
• 2 days 4 hours 16 minutes
• Self-Paced
• Paid Course

Infinity: Mathematics, History, Philosophy (Live Online)

33 ratings at CourseHorse

Explore how humans have tried to understand the infinite—from ancient paradoxes to modern mathematical breakthroughs.

• CourseHorse
• 12 hours
• Self-Paced
• $335.00

Automated Reasoning: Symbolic Model Checking

26 ratings at Coursera

Verify system properties automatically with CTL model checking, represent boolean functions as BDDs, compute ROBDDs from propositional formulas, and combine both to handle very large state spaces.

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

University of London;  Goldsmiths University of London Career Certificate

Essential Mathematics for Computer Science

16 ratings at Coursera

Build the mathematical toolkit behind computing: sets, functions and relations, combinatorics and probability, geometry and calculus, propositional and predicate logic, proofs, algorithms and complexity.

• Coursera
• 8 weeks, 10 hours a week
• Self-Paced
• Paid Course
• 5 courses

Semantics of First-Order Logic

8 ratings at edX

First-order logic is a restricted, formalized language which is particularly suited to the precise expression of ideas. The language has uses in many disciplines including computer science, mathematic

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

Mathematical Proofs

Learn to read and construct mathematical proofs using the Forward-Backward Method, quantifiers, contradiction and contrapositive methods, and induction.

• Coursera
• 15 weeks, 1 hour a week
• Self-Paced
• Paid Course

Birla Institute Of Technology And Science–Pilani (BITS–Pilani)

Logic for Computer Science

Write natural deduction proofs in propositional and predicate logic, model-check systems with LTL and CTL, and verify program correctness using Floyd-Hoare logic and loop invariants.

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

Math 97: Introduction to Mathematical Reasoning

Build foundational mathematical reasoning through logic, induction, proof methods, sets, number systems, functions, combinations, and introductory geometry.

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

Insights into Mathematics

A Brief History of Logic - Medieval and Arabic Logic - Math Foundations

A brief history of how Aristotle’s logic shaped medieval European and Arabic thought through Boethius, al-Kindi, Avicenna, and later medieval logicians.

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

Eddie Woo

Further Proof by Mathematical Induction

Master advanced mathematical induction techniques through factorial identities, Fibonacci sequences, inequality proofs, divisibility, geometry, and recursive formulas with comprehensive examples.

• YouTube
• 7 hours 5 minutes
• Self-Paced
• Free Video