CSC 173:
Computation and Formal Systems
Fall 2006
Course Description
Lectures:
Tuesday and Thursday, 12:30 to 1:45 p.m., in CSB 601.
Instructors
Schedule
Assignment Guidelines and Grading Policies
grading policy
late assignments
academic honesty
write-up
(README.txt / README.pdf)
instructions
Projects
We will likely have 6 fairly large programming assignments throughout the semester. They will be posted below. Together the projects will be worth 50% of your semester grade.
(0)
Settling into the course (not to be turned in)
(1)
Project 1
Relational Database
(2)
Project 2
Introduction to C
(3)
Project 3
Scanner
(4)
Project 4
Parser
(5)
Project 5
Logic
(6)
Project 6
Prolog
(6a)
Project 6a
Queueing Network Models
Homework
Homeworks and quizzes will comprise 10% of your semester grade. They will be posted below.
Homework 1
Also available in
postscript
form
Homework 2
Also available in
postscript
form
Homework 3
Also available in
postscript
form
Homework 4
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
Fall 2005 midterm
Spring 1999 final
Fall 2000 final
Fall 2001 final