News
- NEW. Dec 22: The
Fourth
problem set's and the Course's
Unofficial
grades
are here.
- Dec 1: The
Third
problem set's Unofficial
grades
are here.
- Dec 1: Our Final Exam is on Saturday,
December 10, 9:00am-12:00pm, in CSE C. The link in the 3rd bullet under
"Misc. Notes" is now active.
- Nov 28: The Notes on Turing Machines have
been revised and the "Part 1"
has been replaced. Please download again! Note also
the ADDED
Tutorial for Dec 7.
- Nov 2: The Second problem set's and the Mid
Term's Unofficial
grades
are here.
- Oct 21: The First problem set's Unofficial grades are here.
- Sep 20: The first problem set has been posted.
All problem sets are
due on their due date by 2pm
in the course-box located on the east side of CSEB1003 (by the
Atrium)
Office Hours:
Tuesdays and Thursdays: 12:00-13:30
(Location:
Room 2051 CSEB)
Mid-Term Test
Tuesday, October 25, 2011
(in-class),
10:00am-11:20am.
TUTORIALS and TAs
Wednesdays, 11:30-12:30 (Room
HNE B15)
Tutor:
Vida
Movahedi
Tutorials start on Wednesday,
Sep. 14, 2011
ADDED: Wednesday, December 7, 10:00am-11:00am in CLH H (Note time and room!)
Misc Notes
- An easy proof of a Weak
Post's Theorem with the Deduction Theorem following easily as a
corollary. Download.
- Notes on Computability. Complete.
- Here is a summary
of the main points of
the Boolean and Predicate
Calculi. 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 #1: Posted on September 20, 2011. DUE: October 4, 2011. Download.
- Problem Set #2: Posted on October 6, 2011. DUE: October 21, 2011. Download.
- Problem Set #3: Posted on October 31, 2011. DUE: November 18, 2011. Download.
- Problem Set #4: Posted on November 22, 2011. DUE: December 6, 2011. Download.
Solutions
- Problem Set #1: Posted on October 5, 2011. Download.
- Problem Set #2: Posted on October 21, 2011. Download.
- Mid-Term Test: Posted on October 29, 2011. Download.
- Problem Set #3: Posted
on November 18, 2011. Download.
- Problem Set #4: Posted
on December 6, 2011. Download.
Return to courses main
page.
Return to my "general"
home
page.
Last changed: Dec
22, 2011.