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.01%
- 4 stars15.15%
- 3 stars6.26%
- 2 stars3.13%
- 1 star5.43%
I feel like some things could have been explained better, maybe a better description of how the fitch tool worked. Other than that, it was a great course!
Love the proof related exercises. Felt like a deductive.
excellent teaching, detailed analysis, interesting theories, mind blowing facts, all in all it was my best experience online
Very interesting course But some parts are not just to technical but rather for technicians and not for persons looking more into the theoretical aspects