The following schedule is meant to be a fairly close
approximation to reality. This is a partial schedule which will be
added to, and modified, as the course progresses.
| Date |
Pages |
Exercises | Due |
|
Sept 10-14 |
- Enderton: Preface, Introduction,
Chapter Zero,
pages 1-3, Chapter One 11-34. (You can omit the brief section on
Polish Notation on pages 32-33.) You should get an intuitive feel for
tautologies in the sense that you should be able to look at a wff that
is not too long and `see' whether or not it is a tautology. In
particular, you should pay attention to the selected list of
tautologies on pages 26-27.
- Notes on Logic: Pages 1-3.
|
- Enderton Page 19: 1-5. These problems refer to properties
of wffs. To do
them you need to refer back to the definition of a wff in terms of a
wellformed sequence (called a `construction sequence' by Enderton) and
give a proof by induction.
- Enderton Page 27: 1-3
|
Sept 17 |
[