June 9: The Chapter 2 notes (here) have been updated to include answers to the graded problems from HW 4 and HW 5.
June 4: The Chapter 2 notes (here) have been updated to include answers to the graded problems from HW 3.
May 2: See here for some notes on exercises from Chapter 2.
April 23: The chapter 1 notes (here) have been updated to include a discussion of soundness and completeness of sentential logic. This is worth looking at, as we will prove almost identical theorems for first order logic.
April 12: The chapter 1 notes (here) have been slightly updated. Also people have asked about whether proofs on the homework can contain statements such as "this is similar to the argument above and is omitted." These are sometimes okay, if the argument above really is similar. If the are arguments are not similar (my judgement!) you will lose points.
April 5: See here for some notes on Chapter 1 (will be updated more next week). Note that you can use these notes as a guide for what I am expecting for the homework.
April 2: Page created.
Disclaimer:
The views and opinions expressed in this page are strictly those of the page author. The contents of this page have not been reviewed or approved by UCLA.