Catalogue 2017 - 2018

MATH 363 Theory of Computation

Credits

3 cr.

Prerequisite

MATH 251 and CS 200, or permission of the instructor.

Course Description

This is a study of the mathematical background and methods needed in computer science especially in the specification, design, analysis, and verification of algorithms. Topics include predicate calculus, solution of recurrences, generating functions, finite state machines and formal languages, and introduction to computability and complexity.

Distribution

MR

Offered

in alternate spring semesters.

Fee