Formal Logic Courses and Certifications

Introduction to Logic

20 ratings

Encode information as logical sentences and reason with it, working through propositional, relational, and functional logic plus logic technology and its applications in science, engineering, and law.

• Coursera
• 5 weeks, 9 hours a week
• Self-Paced
• Paid Course

Introduction to Mathematical Thinking

51 ratings

A key feature of mathematical thinking is thinking outside-the-box – a valuable ability in today’s world. This course helps to develop that crucial way of thinking.

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

• Best of All Time

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)

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)

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

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
• Self-Paced
• Free Online Course

Reasoning with Logic

Exercise your rationality and learn the mathematical dialects of logic.

• Brilliant
• 4 hours
• Self-Paced
• Paid Course

TrevTutor

Translating English into Predicate Logic - Logic

Learn to translate English sentences into predicate logic using constants, predicates, and universal and existential quantifiers.

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

An Introduction to Formal Logic

67 ratings at The Great Courses Plus

<p>Logic is the key to philosophy, mathematics, and science. Learn logic from an award-winning professor of philosophy.</p>

• The Great Courses Plus
• 12 hours 21 minutes
• Self-Paced
• Free Trial Available

NPTEL;  IIT Madras

Artificial Intelligence: Knowledge Representation and Reasoning

8 ratings

Explore how intelligent agents represent domains and reason with propositional and first-order logic, rules, actions, change, and incomplete information.

• YouTube
• 1 day 15 hours
• Self-Paced
• Free Video

Career Certificate

Fundamentals of Model Checking

13 ratings at Coursera

Learn model checking for formal verification: build modeling formalisms, specify properties in temporal logic, run graph-based checking algorithms, and apply equivalences, abstraction and partial order reduction.

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

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

Mathematics for Engineering

204 ratings at Coursera

Build the mathematical foundations for engineering and AI work: calculus, probability and statistics, discrete mathematics, linear algebra for machine learning, and logic for computer science.

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

Quantitative Model Checking

54 ratings at Coursera

Verify dependable systems formally: model them as labeled transition systems and discrete- and continuous-time Markov chains, then model check CTL, PCTL, and CSL properties.

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

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

Artificial Intelligence

Learn core AI techniques: formulate search problems with BFS, DFS and minimax, represent knowledge in propositional and first-order logic, and apply Bayesian networks and reinforcement learning.

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

linux.conf.au

Let's Use an Automated Theorem Prover to Verify Video Games - I Swear This Is More Fun Than It Sounds

Explore using Z3 theorem prover to detect and fix bugs in video game systems. Learn to apply formal logic for diagnosing problems and discovering impossibilities in complex game mechanics.

• YouTube
• 34 minutes
• Self-Paced
• Conference Talk