Calendar
You are responsible for 4 assignments, worth a total of 35% of your final mark. The assignments will be weighted 8%, 8%, 9%, and 10%, with your best efforts receiving higher weights. Due dates are:
Assignments should be handed in to the drop box in BA2210/BA2220. If you have produced your assignment as a PDF file called a?.pdf (where ? is the assignment number), you may submit it electronically at the CDF submission page. It is your responsibility to ensure that the PDF file displays and prints with acroread.
- Assignment 1, June 9th, 10 am
- Assignment 2, June 23rd, 10 am
- Assignment 3, July 14th, 10 am
- Assignment 4, July 28th, 10 am
Assignment 4
- Here are Sample A4 solutions (with marking scheme).
- Here are some hints for Assignment 4.
- Your implementation comments (in java, those starting with "//") should make it clear how you are solving the problem that is posed.
- Think about the largest and smallest possible positive n-digit base (-2) numbers, for some fixed n.
- The usual advice: if you believe the claim, prove it. Otherwise, prove its negation.
- Expand what the definition of big O means in every case. Think about how to choose appropriate constants c and B. Implicitly, these questions are quantifying over the domain of functions from N to non-negative R.
- Here's assignment 4, also in LaTeX format, plus BiNegUtil.java.
Assignment 3
- Here's assignment 3's sample solution, plus the marking scheme.
- The intended parsing of question 2b is (|x1|>|x2| /\ |y1|>|y2|) ==> |x1y1| > |x2y2|.
- Here the first portion of hints for A3. If there are no urgent questions, there will be no second portion.
- Here's Assignment 3, plus Gary Baumgartner's summary of proof structure.
Assignment 2
- Here's a Sample solution for Assignment 2, plus a marking scheme and marker's comments.
- Here's the first portion of hints for Assignment 2.
- Here's Assignment 2 (PDF), and Assignment 2 in LaTeX.
Assignment 1
- Here's a Sample solution for Assignment 1, plus the marking scheme.
- Here's the second portion of hints for Assignment 1.
- Here's the first portion of hints for Assignment 1.
- Here's Assignment 1, due 10 am, June 9th, in the CSC165 drop box in BA2210. Here's Assignment 1 in LaTeX.