Categories
Effort
Certification
Languages
Misc
MOOC List is learner-supported. When you buy through links on our site, we may earn an affiliate commission.
This course is an introduction to Logic from a computational perspective. It shows how to encode information in the form of logical sentences; it shows how to reason with information in this form; and it provides an overview of logic technology and its applications - in mathematics, science, engineering, business, law, and so forth.
MOOC List is learner-supported. When you buy through links on our site, we may earn an affiliate commission.
Syllabus
WEEK 1: Introduction
WEEK 2: Propositional Logic
WEEK 3: Relational Logic
WEEK 4: Functional Logic
WEEK 5: Conclusion
MOOC List is learner-supported. When you buy through links on our site, we may earn an affiliate commission.
MOOC List is learner-supported. When you buy through links on our site, we may earn an affiliate commission.