CSC 173:
Computation and
Formal Systems
Fall 2001
Course Description
Lectures:
Tuesday and Thursday, 12:30 to 1:45 p.m., in Lander Auditorium.
Instructors
Schedule
Assignments and Grading
grading policy
class participation
no late assignments
academic honesty
write-up
(README.txt / README.pdf)
instructions
details of specific assignments
Resources
computers and remote access
mail and news
web pointers
textbook
other useful books
lecture notes
Old exams
Spring 1999 midterm
Fall 2000 midterm
Fall 2001 midterm
Spring 1999 final
Fall 2000 final
Fall 2001 final
Spring 1999 home page (by Prof. Randal Nelson)
