Progress report
Today (Tuesday) I have talked about material in Section 2.3 and 2.4. Tomorrow (Wednesday) I will continue to lecture Chapter 2.
Next week we talk about the proof of the Soundness Theorem (Th. 2.5.2) and the proof of the Deduction Theorem (Th. 2.7.4). We will probably also discuss some exercises.
Published Sep. 13, 2022 11:21 PM
- Last modified Sep. 13, 2022 11:21 PM