This class was tough.
Course Overview:
Towards the end the course really builds your deduction skills. Very rigorous.
Course highlights:
Seeing familiar logical principles expressed in a precise formal notation
Hours per week:
3-5 hours
Advice for students:
The first half is much easier than the second half. Do not get lazy!
Not too easy. Not too difficult.
Course Overview:
It's a lot of work, but if you do put the time into it, it can be a lot of fun. I had a lot of friends that at the end were cramming and having a very hard time understanding the material, but when they finally did, they realized how fun it could be and wished they had been studying more during the whole semester.
Course highlights:
The main point of the course is learning to prove or disprove certain arguments by the use of first order logic.
Hours per week:
6-8 hours
Advice for students:
Dedicate time to the course at least one day a week if you are taking it during a regular semester (winter or fall) and every day if taking it in the summer. You don't really need to go to class. The important thing is to read the textbook and do as many exercises as you can. Get help early on in the semester if you need it.