**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.

l

虽然不容易，但还是做到了。生活中逻辑很重要，希望大家来学。论坛中大家都很好，给了我很大帮助。