Mathematical Expression and Reasoning for Computer Science

Menu item: Sample Problems

Please use the links in the left frame to navigate this site.

Here are some sample problems to think about:

- Symbolic Logic;
- Proving things;
- (Note - in the Proving things problems there are a few sequence problems. We have not focused on this topic this term -- but they are included in case you are interested.)
- Invariants, Asymptotics and Complexity;
- (Note - some questions date from the time when java was used as the programming language in first year. It will be assumed that you are familiar with python, not java.)
- I don't have any Ch 6 question sample problems for you - focus on understanding your lecture notes and the tutorial material