CSC250 Theoretical Foundations of Computer Science

Spring 10; Mon, Fri 1:10 - 2:30; Room TBA; Judy Franklin

Prereqs: csc111 and math 153 (may be taken concurrently),
or permission of instructor (jfrankli@cs.smith.edu)

  1. The Regular Stuff
  2. No Context
  3. Sensitive Material

Web Page: "http://www.cs.smith.edu/~jfrankli/250s10/"

Also check out the CS Dept Web page ("http://www.cs.smith.edu")
as well as the library subject resource page on computer science ("http://www.smith.edu/libraries/subject/computer.htm")

Requirements:

    1. Come to class all the time.
    2. Read the text and do the homework all the time.
    3. Be curious about models of languages and machines that can recognize them.
    4. Be ready to understand the grammar for python
    5. Grammar for Ruby

Grading:

    1. Homework - 50%
    2. Pattern Matching lab - 10%
      and PM homework
    3. Take-home Exams (mid-term and final) - 25%
    4. Final Project - 15%
      • Team presentation of a paper from the literature on the theory of and applications of the theory of Computation.