Instructor: Brian Carver
Email: bwcarver at earthlink dot net
Course Web Page: http://home.earthlink.net/~bwcarver/
REQUIRED TEXTS: Language, Proof, and Logic. Barwise, Jon & Etchemendy, John. (2000)
COURSE REQUIREMENTS:
(1) Homework Assignments (30%): Due daily.
(2) Exam #1 on Chapters 1-3 (20%): June 25.
(3) Exam #2 on Chapters 4-6 (20%): July 3.
(4) Exam #3 on Chapters 7-10 (30%): July 12.
Exams will contain problems similar to those given for homework.
Make-up Work: Late homework is not accepted. Make-up exams generally will not be given. If you know you must be absent on one of the scheduled exam dates you should arrange this with me well in advance. 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. Absences beyond one will result in penalties to your grade. If you arrive after I have completed taking attendance, you receive ½ of an absence for that day.
Drop Policy: The college has determined that the last day to drop with a "W" is July 9. 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: (6/18 Mon) | 8:00-9:30 am | Introduction. |
| 9:40-11:10 am | Chapter 1. Atomic Sentences. | |
| Class 2: (6/19 Tue) | 8:00-9:30 am | Learn Software. |
| 9:40-11:10 am | Begin Chapter 2. The Logic of Atomic Sentences. | |
| Class 3: (6/20 Wed) | 8:00-9:30 am | Finish Chapter 2. |
| 9:40-11:10 am | Begin Chapter 3. The Boolean Connectives. | |
| Class 4: (6/21 Thu) | 8:00-9:30 am | Finish Chapter 3 |
| 9:40-11:10 am | Review Chapters 1-3. | |
|
|
|
|
| Class 5: (6/25 Mon) | 8:00-9:30 am | Exam #1 on Chapters 1-3. |
| 9:40-11:10 am | Begin Chapter 4. The Logic of Boolean Connectives. | |
| Class 6: (6/26 Tue) | 8:00-9:30 am | Finish Chapter 4. |
| 9:40-11:10 am | Begin Chapter 5. Methods of Proof for Boolean Logic. | |
| Class 7: (6/27 Wed) | 8:00-9:30 am | Finish Chapter 5. |
| 9:40-11:10 am | Begin Chapter 6. Formal Proofs and Boolean Logic. | |
| Class 8: (6/28 Thu) | 8:00-9:30 am | Finish Chapter 6. |
| 9:40-11:10 am | Review Chapters 4-6. | |
|
|
|
|
| Class 9: (7/2 Mon) | 8:00-11:10 am | Multimedia Lab Homework. |
| Class 10: (7/3 Tue) | 8:00-9:30 am | Exam #2 on Chapters 4-6. |
| 9:40-11:10 am | Begin Chapter 7. Conditionals. | |
| 4th of July - | No classes | |
| Class 11: (7/5 Thu) | 8:00-9:30 am | Finish Chapter 7. |
| 9:40-11:10 am | Begin Chapter 8. The Logic of Conditionals. | |
|
|
|
|
| Class 12: (7/9 Mon) | 8:00-9:30 am | Finish Chapter 8. |
| 9:40-11:10 am | Begin Chapter 9. Introduction to Quantification. | |
| Class 13: (7/10 Tue) | 8:00-9:30 am | Finish Chapter 9. |
| 9:40-11:10 am | Begin Chapter 10. The Logic of Quantifiers. | |
| Class 14: (7/11 Wed) | 8:00-9:30 am | Finish Chapter 10. |
| 9:40-11:10 am | Review Chapters 7-10. | |
| Class 15: (7/12 Thu) | 8:00-11:10 am | Exam #3 on Chapters 7-10. |