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.
The Leland Stanford Junior University, commonly referred to as Stanford University or Stanford, is an American private research university located in Stanford, California on an 8,180-acre (3,310 ha) campus near Palo Alto, California, United States.
- 5 stars70%
- 4 stars15.08%
- 3 stars6.22%
- 2 stars3.11%
- 1 star5.57%
Wonderful challenging course . Sorry it ended . Will miss the exercises .
Great introduction to logic! The course material is explained very well and made easy to understand.
This has been a very interesting course, introducing the basic of logic reasoning.
Great intro to the topic. The instant feedback from the proof tools make them easy and fun to use.