CSC250 Theoretical Foundations of Computer Science

Spring 10; Mon, Fri 1:10 - 2:30; Room Ford Hall 241; 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

Text: Introduction to Computer Theory, Second Edition

Daniel I. A. Cohen

A copy of the text is on reserve in the Young Science Library, Bass Hall

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

Syllabus: Click Here.

-->

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.

Help:

  1. Office Hours (355 Ford Hall): the half hour right after class and
    Thursdays 11:30-1:00
  2. TAs: Floating TA Alex Cheng (acheng@smith.edu) hours TBA
  3. Links to web pages with applications
-->