Instructor: Max Schaefer
This lecture aims to provide students with the logical background knowledge needed to understand and appreciate the other lectures.
Here are some supplementary exercises to be discussed after class on July 11.
You can use NJEdit to construct derivations in natural deduction. Currently, NJEdit is only tested with Firefox, Opera, and Safari; it does not work with Internet Explorer, as demonstrated during the tutorial.