Moocable is learner-supported. When you buy through links on our site, we may earn an affiliate commission.
Description
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.
Tags
Syllabus
- Unit 1 - Introduction
- Unit 2 - Propositional Logic
- Unit 3 - Relational Logic
- Unit 4 - Functional Logic
- Unit 5 - Conclusion
Related Problem Sets
![](https://moocable.com/uploads/files/mooc/auskjhx_d4men96.png)
Introduction to Logic
Affiliate notice
-
TypeOnline Course
-
Provider
-
PricingFree to Audit
-
CertificatePaid certificate
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.
- Unit 1 - Introduction
- Unit 2 - Propositional Logic
- Unit 3 - Relational Logic
- Unit 4 - Functional Logic
- Unit 5 - Conclusion
Tags
Loading...
Saving...
Loading...