Introduction to Logic

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