Joshua Schwartz
Introduces the concepts and techniques of modern formal logic, including both sentential and quantifier logic, as well as proof, interpretation, translation, and validity. For more details on this class, please visit the department website at http://www.virginia.edu/philosophy/.
with Joshua Schwartz: 逻辑入门,课程内容简单,CS专业选修;教授脑子有问题,经常讲错/出错题,因此建议在Prof.Cameron教的学期里上,千万不要上Prof. Schwartz的。
with Joshua Schwartz相对水的一门课 problem set占分很大,但是好好做就没有问题。教授讲课不清楚,需要自己领悟"