 |
Introduction to Mathematical Logic
Fall, 1998
Prof. J. Iovino
|
For a general description of the policies of the course,
click here
The grader of the course is John Inciura. His office number is 3093F and his
office hours are M 2:10-3, T 12-1, Th 3:10-4, F 10-12, 2:10-3.
December 13
I will be in the office Monday, 12/14, Tuesday, 12/15, and the morning of
Wednesday 12/16.
- Homework 1 (Due 9/22).
- Page 25: 4, 9, 12, 15.
Solution.
- Homework 2 (Due 9/29).
- Page 53: 1, 3 (parts (2) and (3)), 6, 9, 10.
Solution.
- Homework 3 (Due 10/6).
- Page 72: 15, 17, 24, 33.
Solution.
- Homework 4 (Due 10/13).
- Page 65: 41, 42, 43, 44.
Solution.
- Homework 5 (Due 10/20).
- Page 83: 1 (parts (2) and (3)), 2, 7 (parts (3) and (5)).
No solution will be posted for this homework, as the exercises are
"mechanical" in nature, and numerous similar examples were discussed in
class.
- Homework 6 (Due 11/10).
- Page 142: 10, 17, 20, 21.
- Homework 7 (Due 11/26)
- Page 153: 13, 15. Solution.
- Homework 8 (Due 12/3)
- Page 177: 5, 6, 7, 12. Solution.
Midterm: Tuesday, October 27.
Final: Monday, December 21, 9-noon, Room 3127.