Computation and Formal Systems: CSC 173
Exercises and Programming Projects

The written and programming exercises run in parallel. Written exercises are due in hardcopy by the start of the first 173 class of the following week, either in class or in the box outside TA's office. Programming exercises due in Blackboard on the day and time indicated on Blackboard.

Do NOT submit materials that need proprietary products. In other words, nothing from Microsoft. No .doc, NO .docx, no .rar, etc. (zip and tar are OK). Make sure your code works under linux, make sure your prose submissions are .pdf. If you need help finding the appropriate utilities, see Google(TM), a classmate, or your TA.

I'm told you can convert .doc to .pdf at this DocToPdfConversion site.

Assignments on Blackboard: (Due dates, submissions) Control Panel -> Content Areas (Course Materials) -> Assignments

All assignments are individual except for the optionally-two-person team parser project in Weeks 3-4 of the FLAT segment.

("September"): Formal Languages and Automata Theory

Written -- FLAT

Programming -- C

("October"): Logic

Written -- Prop. Logic, FOPC

Programming -- Prolog

("November") : Functional Programming

Written -- Lambda Calculus

Programming -- Scheme

("December"): Matrices and Linear Algebra

Written -- Frames

Programming -- Matlab

---
This page is maintained by Deer Boy

Last update: 7/10/07