CSC250 Theoretical Foundations of Computer Science

Spring 11; Mon, Wed, Fri 10:00-10:50; Room Ford Hall 345 Judy Franklin

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

Correct PDA for final

Text: Introduction to Computer Theory, Second Edition

Daniel I. A. Cohen

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

Requirements:

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

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 or sole 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):
    Mondays: 12:30 - 1:30
    or by appt. (email jfrankli@cs.smith.edu)
    2.
  2. TAs: Amy Tayloe, Katie Park.
  3. Help Sessions: in Room 342 Ford Hall (with csc212)
    Tues/Thurs 7pm-9pm (Katie ParK)
    Thursdays 9pm-11pm (Amy Tayloe)
  4. Links to web pages with applications