A Printable Copy of The Syllabus and Schedule
SCHEDULE – SPRING 2012
UNIT 1: Translations in Function Logic
1. 01/24 First Day of Class
2. 01/26 Exercise Set 1A
3. 01/31 Exercise Set 1B
4. 02/02 Exercise Set 1C
5. 02/07 Exercise Set 1D
6. 02/09 Exam #1
UNIT 2: Derivations in Function Logic
7. 02/14 Exercise Sets 2A,2B
8. 02/16 Exercise Set 2C
9. 02/21 Exercise Set 2D
10. 02/23 Exercise Set 2E
11. 02/28 Exam #2
UNIT 3: Translations in Identity Logic
12. 03/01 Exercise Sets 3A,3B
13. 03/06 Exercise Set 3C
14. 03/08 Exercise Set 3D
15. 03/13 Exercise Set 3E
16. 03/15 Exam #3
UNIT 4: Derivations in Identity Logic
17. 03/27 Exercise Set 4A
18. 03/29 Exercise Set 4B
19. 04/03 Exercise Set 4C
20. 04/05 Exercise Set 4D
21. 04/10 Exam #4
UNIT 5: Translations and Derivations in Description Logic
22. 04/12 Exercise Set 5A
23. 04/19 Exercise Set 5B
24. 04/24 Exercise Set 6A
25. 04/26 Exercise Set 6B
26. 05/01 Exam #5
Final Exam Period — Exams 6 and 7
05/03– 05/10
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:
STAY TUNED