General Info Syllabus Schedule Textbook Support Materials Grades
SCHEDULE – SPRING 2008
Click here for UMass Academic Calendar
UNIT 1: Translations in Function Logic
1. 01/29 First Day of Class
2. 01/31 Exercise Set 1A
3. 02/05 Exercise Set 1B
4. 02/07 Exercise Set 1C
5. 02/12 Exercise Set 1D
6. 02/14 Exam #1
UNIT 2: Derivations in Function Logic
7. 02/21 Exercise Sets 2A,2B
8. 02/26 Exercise Set 2C
9. 02/28 Exercise Set 2D
10. 03/04 Exercise Set 2E
11. 03/06 Exam #2
UNIT 3: Translations in Identity Logic
12. 03/11 Exercise Sets 3A,3B
13. 03/13 Exercise Set 3C
14. 03/25 Exercise Set 3D
15. 03/27 Exercise Set 3E
16. 04/01 Exam #3
UNIT 4: Derivations in Identity Logic
17. 04/03 Exercise Set 4A
18. 04/08 Exercise Set 4B
19. 04/10 Exercise Set 4C
20. 04/15 Exercise Set 4D
21. 04/17 Exam #4
UNIT 5: Translations and Derivations in Description Logic
22. 04/22 Exercise Set 5A
23. 04/24 Exercise Set 5B
24. 04/29 Exercise Set 5C
25. 05/01 Exercise Set 6A
26. 05/06 Exercise Set 6B
27. 05/08 Exercise Set 6C
28. 05/13 Exam #5
Final Exam Period — Exams 6 and 7
05/15– 05/22
Final Exam Week

Our class is assigned a specific time and place by the Registrar's Office, who publish the schedulelater in the semester. We are assigned a room, and a two-hour time-slot, during which both Exam #6 and Exam #7 are given.

Exams 6 and 7 are scheduled for:
Tuesday May 20
10:30 a.m.
Mahar Auditorium