BU CLA MA 531: Computability and Logic

Fall 1995

HOME PAGE


Class Meetings:
Mon, Wed, Fri: 10:00 - 11:00am MCS-B31
Instructor:
Assaf Kfoury (Office Hours: W 2:00-3:00, F 2:00-4:00). Coordinates: kfoury@cs, MCS-270, x3-8911.
Syllabus
Schedule
Course Policy
Tests
Grades (use a small font and a wide window).
Problem Sets: # 1, # 2, # 3, # 4, # 5, # 6, # 7, # 8, # 9, # 10, # 11, # 12, # 13
Selected Solutions: # 1, # 2, # 3, # 4, # 5/6, # 7, # 8a, # 8b, # 9a, # 9b, # 10/11a, # 12
Handouts: # 1, # 2, # 3, # 4, # 5, # 6

Assaf Kfoury
Created: 95.09.07
Modified: 95.12.11