News
- NEW:
The unofficial
grades for Problem Set #4 and for the course are HERE.
- The Final
Exam Remains scheduled
for
Saturday, 18 December 2010, at 14:00 for 180 minutes,
in CLH E.
- Office
hours tomorrow (Dec 14) are cancelled due to a CSE Office function.
(E-mail me if you need a quick answer to a question).
- The Closed Book
Final Exam is
scheduled for Saturday, 18 December 2010, at 14:00 for 180 minutes,
in CLH E.
- (December
7, 2010) The unofficial
grades for Problem Set #3 are HERE.
- (November
16, 2010) Problem Set #3 is now due on November 24, 2010---2:00pm.
- (November
11, 2010) The unofficial
grades for Assig # 2 are HERE.
- (October 25, 2010)
The
unofficial grades
for Assig # 1 and MidTerm are HERE.
- The Due Date of
Assignment #2 is now extended to October 29 to
allow you to benefit from Equational Proofs (even though they are not
necessary in the assignment). The Test
will NOT allow Equational
proofs, since they are material not yet covered.
- All assignments are
due by 2:00pm
on their posted due date in
the (labelled) course-box located on the east wall of CSEB1003.
- The
tutorials start on Wednesday, Sep 22, 2010. See details below.
Office Hours:
Tuesdays and Thursdays: 12:00-13:30
(Location:
Room 2051 CSEB)
Mid-Term Test
Tuesday, October 19, 2010
(in-class),
10:00am-11:20am.
TUTORIALS and TAs
Every Wednesday, 11:00-12:00 (Room PSE 321)
Tutor:
Vida
Movahedi
Misc Notes
- An easy proof of a Weak
Post's Theorem with the Deduction Theorem following easily as a
corollary. Download.
- Here is a summary
of the main points of
the course. It will be provided to you in the Exam as part of the material in your Exam Book.
Please
do
not
bring to the Exam! Download.
Problem Sets
- Problem Set No. 1. Posted:
September 22, 2010. Due: October
6, 2010. Download.
- Problem Set No. 2. Posted:
October 6, 2010. Due: October
29, 2010. Download.
- Problem Set No. 3. Posted:
October 31, 2010. Due: November 24, 2010. Download.
- Problem Set No. 4. Posted:
November 20, 2010. Due: December 10,
2010.
Download.
Solutions
- Problem Set No. 1; Solutions.
Posted:
October
6,
2010.
Download.
- Midterm; Solutions.
Posted:
October
19,
2010.
Download.
- Problem Set No. 2; Solutions.
Posted:
October
29,
2010.
Download.
- Problem Set No. 3; Solutions.
Posted:
November:
24,
2010.
Download.
- Problem Set No. 4; Solutions.
Posted:
December:
10,
2010.
Download.
- FINAL EXAM; Solutions.
Posted:
January:
3,
2011.
Download.
Return to courses main
page.
Return to my "general"
home
page.
Last changed: Jan
15, 2011.