Introduction to Logic: A Computational Perspective

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.

-------------------------------------------------------------------------------------------------------------------------------------
If you really enjoy my content, you're welcome to support me and my channel with a small donation via PayPal

Link to PayPal donation https://www.paypal.me/nerdslesson

⌨️ This course is created in collaboration with Stanford University.