October 11
We decided that we would begin by learning a bit about logic. I think it makes the most sense to start with higher order logic.
For next time, please read sections 2.1 and 2.2 of the book on higher order logic in the READINGS tab.
We decided that we would begin by learning a bit about logic. I think it makes the most sense to start with higher order logic.
For next time, please read sections 2.1 and 2.2 of the book on higher order logic in the READINGS tab.