In this course we learned to develop skill in using logic to describe and assess arguments. Students will learn to write formulas in propositional and first-order logic, and more importantly, to write and check proofs. We also learned to write formulas in three-valued and modal logic, know how to choose an appropriate logic, and understand the limitations of logic in capturing human reasoning.
This was the beginning of the end, and we got a short break from any development work. It feels weird to say, but doing nothing but proofs was a little bit of a relief. The entirety of the class was just grinding through proofs, which did get a little old after a while, but it wasn’t hard to gamify. Eventually it became almost fun to work through a problem; not quite though. I’m pretty sure I’m having more fun doing other things though. We didn’t have any group work, or even a project at the end, but I’m not sure how it would have worked to do something like that.
ChompingTheBit 