Catalogue 2018 - 2019

MATH 363 Theory of Computation

Credits

3 cr.

Prerequisite

MATH 251 and either CS 200 or IT 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