| SCHEDULE – FALL 2023 |
| UMass Academic Calendar |
| UNIT 1 – Basic Concepts; Translations in Sentential Logic | |||
09/05 |
First Day of Class | no assignment due | |
09/07 |
Read: 1.1-1.9 (i.e., Chapter 1 Section 1 through Chapter 1 Section 9) |
Exercises: 1A-1C (i.e., Chapter 1 Exercise Set A through Chapter 1 Exercise Set C) |
|
09/12 |
Read: 2.1-2.13 | Exercises: 2C | |
09/14 |
Read: 3.1-3.5 | Exercises: 3A-3D | |
09/19 |
Read: 4.1-4.17 | Exercises: 4A,4B | |
09/21 |
Read: 4.18-4.23 | Exercises: 4C | |
09/26 |
Read: 4.24 | Exercises: 4D | |
09/28 |
EXAM #1 | Covers Exercise Sets 3A-3D, 4A-4D. | |
| UNIT 2 – Derivations in Sentential Logic | |||
10/03 |
Read: 5.1-5.5 | Exercises: 5A | |
10/05 |
Read: 5.6-5.8 | Exercises: 5B,5C | |
| 10/10 | MONDAY CLASS SCHEDULE | ||
| 10/12 | Read: 5.9-5.10 | Exercises: 5D,5E | |
10/17 |
Read: 5.11-5.12 | Exercises: 5F | |
10/19 |
Read: 5.13-5.14 | Exercises: 5G(91-96) | |
10/24 |
EXAM #2 | Covers Exercise Sets 5D-5G(91-96). | |
| The Rule-Sheet will be provided on this exam. | |||
| RULES FOR THIS EXAM | |||
| UNIT 3 – Translations in Predicate Logic | |||
10/26 |
Read: 6.1-6.10 | Exercises: 6A-6D | |
10/31 |
Read: 6.11-6.16 | Exercises: 6E-6G | |
11/02 |
Read: 6.17-6.20 | Exercises: 6H-6I | |
11/07 |
Read: 7.1-7.4 | Exercises: 7A-7B | |
11/09 |
Read: 7.4-7.5 | Exercises: 7C-7D | |
11/14 |
EXAM #3 |
Covers Exercise Sets 6A-6I, 7A-7D | |
| UNIT 4 – Derivations in Predicate Logic | |||
11/16 |
Read: 8.1-8.6, 8.13 | Exercises: 8A, 8B | |
| 11/21 | Read: 8.7-8.9 | Exercises: 8C, 8D | |
| 11/22 | THANKSGIVNG BREAK | ||
11/28 |
Read: 8.10-8.12 | Exercises: 8E, 8F | |
11/30 |
Read: 8.13 | Exercises: 8G | |
| 12/05 | EXAM #4 | Covers Exercise Sets 8A-8G. |
|
| The Rule-Sheet will be provided on this exam. | |||
| RULES FOR THIS EXAM | |||
| 12/07 | Exam #4 Returned | ||
Final Exam Period — Exams 5 and 6 |
|||
| Exam #5 (similar to Exam #3) | |||
| Exam #6 (similar to Exam #4) | |||
| RULES FOR THIS EXAM | |||
|
TBA You have two hours to take as many as two exams; |
|||