Misc. Announcements
NEWS
- NEWER. March 16. Assignment #2 is DUE by 2pm, March 21,
in the course box at LAS 1003.
- NEW. Feb. 23. Assignment #1 DUE Date has been pushed back.
It is NOW due at 2pm, Feb. 26,
in the course box at LAS 1003.
- Feb. 11. To paraphrase Ellery Queen, you now
have all the clues to complete assignment #1. It is due at 2pm, Feb. 24,
in the course box at LAS 1003.
- Feb. 2. A typo was corrected in the loop
program Notes: Identified
equation
(10).
- Jan. 31. An augmented set of
Notes has been placed under the third bullet in the section "Misc.
Lecture Notes" below.
Office Hours: Mondays,
2:00pm-3:30pm, in LAS 1003J
They start on January 13, 2014
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, revised. Download here.
- Advising Note
(re Grzegorczyk's E0): 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 January 16, 2014. DUE: Feb. 26. Download.
- Problem
Set #2. Posted February 23, 2014. DUE: March 21: Download.
- Problem
Set #3. Posted March 16, 2014. DUE: April 7: Download.
Sample Solutions
- Problem
Set #1. Posted Feruary 26, 2014. Download.
- Problem
Set #2. Posted March 24, 2014. Download.
- Problem
Set #3. Posted April 14, 2014. Download.
Return to courses main page .
Return to my "general" home
page .
Last changed: April 14, 2014.