Hardegree - Philosophy 595

SCHEDULE – SPRING 2009

Click here for UMass Academic Calendar

UNIT 1: Translations in Function Logic
1.	01/27	First Day of Class
2.	01/29	Exercise Set 1A
3.	02/03	Exercise Set 1B
4.	02/05	Exercise Set 1C
5.	02/10	Exercise Set 1D
6.	02/12	Exam #1

UNIT 2: Derivations in Function Logic
7.	02/17	Exercise Sets 2A,2B
8.	02/19	Exercise Set 2C
9.	02/24	Exercise Set 2D
10.	02/26	Exercise Set 2E
11.	03/03	Exam #2

UNIT 3: Translations in Identity Logic
12.	03/05	Exercise Sets 3A,3B
13.	03/10	Exercise Set 3C
14.	03/12	Exercise Set 3D
15.	03/24	Exercise Set 3E
16.	03/26	Exam #3

UNIT 4: Derivations in Identity Logic
17.	03/31	Exercise Set 4A
18.	04/02	Exercise Set 4B
19.	04/07	Exercise Set 4C
20.	04/09	Exercise Set 4D
21.	04/14	Exam #4

UNIT 5: Translations and Derivations in Description Logic
22.	04/16	Exercise Set 5A
23.	04/23	Exercise Set 5B
24.	04/28	Exercise Set 5C
25.	04/30	Exercise Set 6A
26.	05/05	Exercise Set 6B
27.	05/07	Exercise Set 6C
28.	05/12	Exam #5

Final Exam Period — Exams 6 and 7
05/14– 05/21 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: Wednesday, May 20 10:30 A.M. Bartlett 301