Misc. Information for students
Unofficial
final grades are here
.
Assignments 4 and 5 will be available
for pickup from Tsoline, in the Atomic Physics
Lab, Petrie 107.
April 15, from 11am to 4pm.
We have a course box now (Outside Prism Lab, CSB).
All assignments (including the 1st) are due in the
box by 2:00pm on the due date.
Office Hours:
Tuesday and Thursday, 12:00-13:15.
(Location: Room 2051 CSB)
Mid-Term Test
February 19, 2002 (in-class),
10:00am-11:30am.
TUTORIALS
Our section:
- McLaughlin 112.
Mondays & Fridays from
10:30am to 12:00pm (Francisco). Starting Friday,
January 11, 2002.
- Our TA team is: Francisco Kibedi
, Tsoline Mikaelian and
Eitan Prisman.
There are also tutorials scheduled
for the section of Professor Watson:
- Mondays 11:30-12:30pm
CLH M and
- Wednesdays 11:30-12:30pm VC
114.
Miscellaneous Course Notes
-
NOTES on Peano Arithmetic and
Induction . DOWNLOAD: DVI
, PDF
, PS
.
- On semantics and counterexample construction in
Predicate Calculus. (Posted Nov. 28, 2000. Download:
PDF
, or POSTSCRIPT
)
- The paper "Post's Theorem and
Other Tools" is a very useful reference for our work in Chapters 3,
and especially Chapter 4. (Postscript
version and PDF
version)
-
NEW!
A mini Logic TOOLBOX. Download (
DVI
, PDF
, or PS
).
Problem Sets
- Problem Set #1.
( Posted: January 19, 2002.
Due:January 25, 2002). Download:
DVI
or PDF
or PS
.
- Problem Set #2. (
Posted: January 27, 2002. Due:
February 8, 2002, in the course Box (by 2:00pm)
). Download:
DVI
or PDF
or PS
.
- Problem Set #3. (
Posted: February 8, 2002. Due:
February 25, 2002, in the course Box (by 2:00pm)
). Download:
DVI
or PDF
or PS
.
- Problem Set #4. (Posted
March 9, 2002. Due: March 20, 2002, in the course
Box (by 2:00pm)) Download
DVI
or PS
.
- Problem Set #5 (the
last one!) (Posted March 17, 2002. Due: April
5, 2002, in the course Box (by 2:00pm)) Download
DVI
or PS
.
Solutions
- Problem Set #1. SAMPLE SOLUTIONS.
Download: DVI
, PS
.
- Problem Set #2. SAMPLE SOLUTIONS.
Download: DVI
, PS
.
- Term Test. SAMPLE SOLUTIONS.
Download: DVI
, PS
.
- Problem Set #3. SAMPLE SOLUTIONS.
Download: DVI
, PS
.
- Problem Set #4. SAMPLE SOLUTIONS.
Download: DVI
, PS
.
- Problem Set #5. SAMPLE SOLUTIONS.
Download: DVI
, PS
Return to courses
main page
.
Return to my
"general" home page
.