A rather more important change is that significant care will be shown for the formal development of logic. Thus we will be doing proofs about proof.
Another significant difference is that the consideration will be done from two distinct viewpoints. First Model Theory or truth tables and then proof from axioms. Finally we will see that exactly those statements are provable that are tautologies.
The course will utilize short lectures by the instructor, group discussion, and individual questions. Students are expected to read the relevant portions of the text both prior to the content introduction and again after the introduction. They should identify and ask questions on any part of the text which is not clear.
Homework on each area is assigned on the class when content is introduced and for two sessions thereafter. This should allow students to work on fresh problems after initial questions have been answered.
Students should keep a notebook of homework problems both to study from and to turn in at the end of the course. The arrangement should probably follow the text location rather than the order of assignment.
Midterm 25%
| Final Exam | 50%
| Misc Assgn | 25%
| |
This page updated by Frank Matthews Dec. 11, 2012