About this course
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.
Syllabus
- Unit 1 – Introduction
- Unit 2 – Propositional Logic
- Unit 3 – Relational Logic
- Unit 4 – Functional Logic
- Unit 5 – Conclusion