Computer Science 243:
Spring 2005 web page.
Here you can find all manner of information relating to CS243.
Note: this web page is still under construction!
3/1/05: Correction to problem set 5. The formula in problem 4 should read
( f_{n+1} f_n )
A^{n+1} = ( f_n f_{n-1} )
The previous version used f_{n+2}, f_{n+1}, f_{n+1}, and f_n, which doesnt
work for the base case. You should prove this formula is true by
induction for all n >= 1.
The corrected version is posted below.
Instructor: Moses Liskov, mliskov@cs.wm.edu
Office: McGl 135
Moses' office hours are Wednesdays, 4-5:30pm.
- Course
Policies
(PS) -
(PDF)
- A
Reference on
Logic and Proofs
(PS) -
(PDF)
- Survey
(PS) - (PDF)
- Problem Set 1 (PS) -
(PDF)
- Problem
Set 2
(PS) -
(PDF)
- Problem
Set 3
(PS) -
(PDF)
- Problem Set 4
(PS) -
(PDF)
- Problem Set 5
(PS) -
(PDF)
- Problem Set 6
(PS) -
(PDF)
- Problem Set 7
(PS) -
(PDF)
- Problem Set 8
(PS) -
(PDF)
- Problem Set 9
(PS) -
(PDF)
- Problem
Set 10
(PS) -
(PDF)
- Problem
Set 11
(PS) -
(PDF)
- Review
Sheet
(PS) -
(PDF)