Difference between revisions of "Natural Deduction"
From Wiki Notes @ WuJiewen.com, by Jiewen Wu
Line 1: | Line 1: | ||
Attached are tutorial materials for Fall 2009, CS245 students @ UWaterloo. They are not meant to be complete, but summaries on Natural Deduction presented in the textbook by Huth and Ryan. | Attached are tutorial materials for Fall 2009, CS245 students @ UWaterloo. They are not meant to be complete, but summaries on Natural Deduction presented in the textbook by Huth and Ryan. | ||
− | [[Image:Nd1.jpg| | + | [[Image:Nd1.jpg|200]] |
[[Image:Nd2.jpg]] | [[Image:Nd2.jpg]] | ||
[[Image:Nd3.jpg]] | [[Image:Nd3.jpg]] |
Revision as of 13:13, 30 September 2009
Attached are tutorial materials for Fall 2009, CS245 students @ UWaterloo. They are not meant to be complete, but summaries on Natural Deduction presented in the textbook by Huth and Ryan.