Page For Cs 1502

Course home Page cs.pitt.edu

 

Name: Yaw Anti Gyamfi
Office: Sennott Square 5404
Office Phone: (412)-624-1185
e-mail: anti [at] cs [dot] pitt [dot] edu

 

Office Hours:

Day StartTime EndTime
Tuesday 1600hrs 1800hrs
Thursday 1600hrs 1800hrs
Friday 1500hrs 1700hrs

Sample FO resolution problem and solution

Includes quantifier translations, unification and resolution
Here's another one. (look at problem 3 on this page)

Quiz solutions + Additional Problems & Solutions

solutions

 

Sample Problems and Solutions

P_and_S

 

09/08/2005: IMPORTANT ANNOUNCEMENT!

I will extend my office hours to 7 today. I will not be in at 4, I have an engagement I CAN'T miss.
I apologize for any inconvinience.
I should be in my office by 5-530ish.

I have an open door policy (sort of); you can stop by at my office and if I'm around and unoccupied, I may be able to grant you audience.

If you can't make to my office during the office hours, you can try me on AIM at robinhood12206@aol.com (preference will be given to students at the office over those on AIM)

IMPORTANT NOTE:

IF YOU'RE HAVING PROBLEMS WITH THE COURSE, SEEK HELP EARLY. PESTER THE T.A ALL YOU CAN (and as much as he can take) TO GET ALL THE HELP YOU NEED!!! It makes no sense to struggle unduly when help is readily available.

(This site is always under construction, new material will be added to it as waranted)