|
|
|
 |
|
|
|
|
|
|
| CSCI 550: Theory of Computing |
 |
  |
|
|
|
|
Prerequisite: Math 317
Catalog Description: An introduction to formal languages, grammars, and automata theory, with unsolvable problems. Formerly CSCI 256.
Course Objectives:
The objectives are for the student to:
- become comfortable using formal mathematical notation,
- be able to prove theorems using standard proof techniques,
- understand the differentiation of regular, context free, context sensitive, recursive, and recursively enumerable languages and their associated recognizers/acceptors,
- learn about the existence and characterization of problems that cannot be solved, and
- comprehend the varying computational complexity of solvable problems and the characterization of such complexity.
Course Outcomes:
Students shall be able to:
- express concepts using sets, propositional and predicate calculus, functions, and relations,
- define languages,
- prove theorems using induction and other techniques,
- write recursive definitions,
- determine whether a language is regular, context free, context sensitive, recursive, or recursively enumerable,
- define a generator for a language, if one exists,
- define an acceptor for a language, if one exists,
- give examples of unsolvable problems, and
- measure and classify the complexity of a problem.
Class/Laboratory Schedule:
One hundred and fifty minutes of class per week.
Accreditation Category Content:
This course embodies a significant portion of (a) Theoretical. Approximately 10% (4 hours) is devoted to Concepts of Programming Languages.
Relationship of Course to Program Objectives:
This course supports the achievement of the following program objectives:
- All students will be able to analyze and solve computing problems, or problems in related areas, and to continually upgrade their knowledge and skills.
- Those graduates who pursue careers as computing professionals will have the skills to use and design new and innovative systems that meet society's needs.
- Those graduates who pursue advanced degrees will have the skills to succeed in graduate programs in computing and related fields.
|
|
|
|
|
|
|
|
|
CSU, Chico:
Home | Admissions | Bookstore | Catalog | Schedule | Library | Help
This page and its contents © 2003 College of Engineering, Computer Science, & Construction
Management
California State University, Chico |
College of Engineering, Computer
Science, & Construction Management
California State University, Chico
Chico, CA 95929-0003
530-898-5963
webmaster@ecst.csuchico.edu |
|
|
