Misc. Announcements
NEWS
- Our classroom moved to CB122
as of Monday, Jan. 14, 2013
- News posted Feb 2, 2013.
Problem
Set
#1
is
Due on
Monday, Feb 11 in the Course Box (west side, by the Attrium;
outside wall of LAS 1003); by
2:00pm. Note that the
last
Grad
Problem
(#29)
will
move
to
Set
#2. As for #35, please assume
that the set K is NOT
recursive, and take it from there; easy problem!
- News posted Feb 4, 2013.
ERRATUM: Please note
the correction (in red) in
Problem Set #1 (Problem (5)).
Also see the third bullet
under "Misc. Lecture Notes", posted today.
- News posted Feb 6, 2013.
TYPO:
Problem 11, p.234:
Please note that the argument
of f
placed in ... in the
predicate z=f(...) should be x-bar, not y-bar.
- News posted Feb 9, 2013.
Office hours on Monday Feb
11 are CANCELLED due to a T & P Meeting. Those wishing to
see me this week please email me so I can attempt to fit you
individually.
- News posted Feb 23, 2013.
Office hours on Monday Feb
25 are CANCELLED due to a T & P Meeting. Those wishing to
see me this week please email me so I can attempt to fit you
individually.
- News posted March
2, 2013. The unofficial
grades for assignment #1 are posted
HERE.
- News posted March
10, 2013. Problem
Set
#2
is Due on Friday, Mar 22
in the Course Box (west side,
by
the
Attrium;
outside
wall
of
LAS
1003);
by
2:00pm.
- News posted March
20, 2013. Problem
Set
#2
is NOW Due on Monday, Mar 25
in the Course Box (west side,
by
the
Attrium;
outside
wall
of
LAS
1003);
by
2:00pm.
- News
posted
March
27,
2013. ERRATUM
for
Problem
Set #3: Download.
- News posted
March 31, 2013. The unofficial
grades for assignment #2 are posted HERE.
- News posted
April 16, 2013. The unofficial
grades for assignment
#3 and COURSE
are now posted! Number 3 and COURSE
Office Hours: Mondays,
2:00pm-3:30pm, in LAS 2051
They start on January 14, 2013
Misc. Lecture Notes.
- Notes
on
the
Kleene
Normal
Form.
Download
(PDF).
- Why mathematicians should not lose
any sleep over automatic theorem provers. Download PDF.
- About loop
programs. Download here.
Problem Sets
The text of all answers is
expected to be typed.
(Some students may wish to type/word process even diagrams and
symbols! However this is not
required.)
- PROBLEM SET #1. Posted Jan. 19, 2013. DUE: Watch the NEWS area above! Download.
- PROBLEM SET #2. Posted Feb. 23, 2013. DUE:
Watch the NEWS area
above! Download.
- PROBLEM SET #3. Posted Mar. 17, 2013. DUE:
April 8, 2013. Download.
Sample Solutions
- PROBLEM SET #1. Posted Feb. 11, 2013. Download
HERE.
- PROBLEM SET #2. Posted Mar. 25, 2013. Download
HERE.
- PROBLEM SET #3. Posted Apr. 10, 2013. Download
HERE.
Return to courses main page .
Return to my "general" home
page .
Last changed: April 16, 2013.