Computability and Logic

Selmer Bringsjord
Office Hours: Sage 3210, T Th 11-12, 1-2; W 9-10
(518) 276-8105 (P) (518) 276-4871 (F)
selmer@rpi.edu http://www.rpi.edu/ brings

• Course Description
• Objectives
• Texts/Readings
• Grading
• Schedule
• Academic Honesty
• About this document ...