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.
- 5 stars70%
- 4 stars15.08%
- 3 stars6.22%
- 2 stars3.11%
- 1 star5.57%
Section 12 wasn't very clear, but everything else was great.
Somehow difficult in the last several weeks. As almost all the materials are all in words, students may sometimes feel bored seeing all lines and complex tables.
excellent teaching, detailed analysis, interesting theories, mind blowing facts, all in all it was my best experience online
This has been a very interesting course, introducing the basic of logic reasoning.