Theory of Computing
CSCI 256
Lecture T Th 12:30-1:45 OCNL 254
Catalog Description:
Prerequisites: MATH 120.
This course first covers formal descriptions of computers, languages,
and programs, then investigates correctness, behavior, and complexity.
Topics include formal grammars and the associated automata, unsolvable
problems, recursive functions, and post systems.
Current news: The key for homework 6 is in the class directory.
Course Info:
Syllabus
Class directory
Professor Kent Wooldridge
My office phone number is: (530) 898-4310
My office is OCNL 211
My office hours for Fall 2002 are:
W 1:00-2:00 and TTH 1:45-3:00
E-mail KWooldridge@csuchico.edu
LIBRARY
SEARCH |
STUDENT E-MAIL |
GENERAL HELP
E-MAIL HELP |
E-MAIL WebMaster
|