The following schedule is approximate. Further information will be
forthcoming.
Reading:
-
Read my notes (henceforth referred to as just Notes)
page 1-2.
- Read my solutions to Exercise p21:3 in my handout.
Read Enderton:
- pp 1-3;
- pp 4-13; read this casually, but make sure that you understand
what an n-ary relation is. Note, for example, that I use (x,y,z) for
an ordered
triple, while Enderton writes this as < x,y,z >
(I used < x,y,z > for the
integer which codes a triple of integers.)
- pp 14-21
- OMIT pp22-29
- pp 30-39; pay particular attention to the tautologies on p 37. You
should be able to show from the definitions that these are
tautologies, and you should also be able to see intuitively that they are.
- OMIT pp39-42
- Understand the rules for omitting parentheses on p 43.
- OMIT pp 44-58 with the following exception: Understand the
definitions of conjunctive normal form and disjunctive normal form.
The definition of disjunctive normal form is on page 48.
- pp58-64. This is the high point of Chapter One.
- Read all of Chapter 2.
Exercises:
Homework should be either typed or neatly written in ink. It should be
double or triple spaced.
You should do all of the following. Some of the exercises will be
collected and graded. More exercises will be assigned as we go along.
- p21: 1,2,3
- p30: 2
- p37-39; Do all of these with the exception of 10. I will collect
a bunch of these. Pay particular attention to 4. It is a good test of
your understanding of the definition of satisfaction and tautological
implication. There is a prize for a correct solution to 9
(c).
- pp 63: 1-4,6. We will do 1-2 in class.
- Do the exercise on page five of my Notes (the Infinity Lemma).
- Do the exercises on page 78. Hand in 2,3,8
- Pages 95-96. This is the heart of the first part of Ch2 of
Enderton. Do Exercises 1-20, but omit: 7, 12(c) and 16.
- From my Notes, do Exercises 15, 16, 17.
- Assignment due Friday, February 12: Enderton pp 94-95: 1-6,8,9,10
and my Notes, Exercises 15, 16, 17.
- Assignment due Friday, February 19: Enderton pp 95-96: 11,12a,b,14
(the
second half is hard!), 15,17.