Instructor: Brian Carver
Email: bwcarver at earthlink.net
Course Web Page: http://home.earthlink.net/~bwcarver/

REQUIRED TEXTS: Language, Proof, and Logic. Barwise, Jon & Etchemendy, John. (2002)
Note: Do NOT buy a used copy or you will be unable to use the included software.

COURSE REQUIREMENTS:
(1) Homework Assignments (20%): Due regularly.
(2) Exam #1 on Chapters 1-2 (20%): Wednesday, February 5.
(3) Exam #2 on Chapters 3-5 (20%): Wednesday, March 5.
(4) Exam #3 on Chapters 6-8 (20%): Wednesday, April 30.
(5) Exam #4 on Chapters 9-10 (20%): Final Exam Period*
Exams will contain problems similar to those given for homework and those done in class.
Note: Students should be prepared to show picture identification on all of the exam dates.

*The fourth exam will be the same format and length as all prior exams, but the entire exam period will be available.  Students will be allowed to use the exam period to retake any or all prior exams.  Retakes will contain different questions, but have the same format as prior exams.  That means that a well-prepared student who made excellent use of the time allotted could conceivably take all four exams during the final exam period.  Also, while anyone may retake any exam, if you turn it in to me, I will count the score from your second attempt only.

Make-up Work: Late homework is not accepted.  Make-up exams will not be given.  You may take any exams you miss during the final exam period.  No work of any kind will be accepted after the final exam date.

Attendance:  Attendance is expected.  Quality class participation and an excellent attendance record may be used to resolve borderline cases.

Drop Policy: The college has determined that the last day to drop without a "W" is January 25 and that the last day to drop with a "W" is April 18.  I will only add students who are present on the first day of class, and only if space permits.

Academic Honesty: I assume you are familiar with the College's policies on Academic Honesty.  I consider it my responsibility in cases of academic dishonesty to respond with the most severe penalty.

Students with disabilities: Students with disabilities who may need accommodations for any sort of disability are invited to make an appointment to see me.

Class 1: (1/13 Mon) Introduction.
Class 2: (1/15 Wed) Chapter 1.  Atomic Sentences.
    January 20: No Class
Class 3: (1/22 Wed) Learn Software in L135.
Class 4: (1/27 Mon) Begin Chapter 2.  The Logic of Atomic Sentences.
Class 5: (1/29 Wed) Finish Chapter 2.
Class 6: (2/03 Mon) Review Chapters 1-2.
Class 7: (2/05 Wed) Exam #1 on Chapters 1-2 in T102.
Class 8: (2/10 Mon) Begin Chapter 3.  The Boolean Connectives.
Class 9: (2/12 Wed) Finish Chapter 3.
    February 17: No Class
Class 10: (2/19 Wed) Chapter 4.  The Logic of Boolean Connectives.
Class 11: (2/24 Mon) Chapter 5.  Methods of Proof for Boolean Logic.
Class 12: (2/26 Wed) Begin Chapter 6.  Formal Proofs and Boolean Logic.
Class 13: (3/03 Mon) Review Chapters 3-6.
Class 14: (3/05 Wed) Exam #2 on Chapters 3-5 in T102.
Class 15: (3/10 Mon) Chapter 6.
Class 16: (3/12 Wed) Chapter 6.
Class 17: (3/17 Mon) Chapter 6.
Class 18: (3/19 Wed) Finish Chapter 6.
Class 19: (3/24 Mon) Begin Chapter 7.  Conditionals.
    March 26: No Class
Class 20: (3/31 Mon) Chapter 7.
Class 21: (4/02 Wed) Chapter 7.
Class 22: (4/07 Mon) Finish Chapter 7.
Class 23: (4/09 Wed) Begin Chapter 8.  The Logic of Conditionals.
Class 24: (4/14 Mon) Chapter 8.
Class 25: (4/16 Wed) Finish Chapter 8.
 April 21 and 23: No Class
Class 26: (4/28 Mon) Review Chapters 6-8.
Class 27: (4/30 Wed) Exam #3 on Chapters 6-8 in T102.
Class 28: (5/05 Mon) Begin Chapter 9.  Introduction to Quantification.
Class 29: (5/07 Wed) Finish Chapter 9.
Class 30: (5/12 Mon) Begin Chapter 10.  The Logic of Quantifiers.
Class 31: (5/14 Wed) Finish Chapter 10.
Class 32: (5/19 Mon) Review Chapters 9-10.
(Final Exam Period): Exam #4 on Chapters 9-10 in T102.