COMSC 335 - Theory of Computation

Institution:

Roger Williams University

Subject:

COMPUTER SCIENCE

Description:

Prerequisites: COMSC 111, MATH 221 or permission of instructorStudents with COMSC 240 are not eligible to take this course except forgrade replacementFormal models of computation provide the framework for analyzingcomputing devices, with the goal of understanding the types ofcomputations, which may be carried out on them. Finite andpushdown automata and the classes of languages, which theyrecognize, occupy the first part of the course. The remainder of thecourse addresses Turing machines, recursive functions, Church'sThesis, undecidability, and NP-completeness.

Credits:

3.00

Credit Hours:

Prerequisites:

Corequisites:

Exclusions:

Level:

Instructional Type:

Lecture

Notes:

Additional Information:

Historical Version(s):

Institution Website:

www.rwu.edu

Phone Number:

(401) 253-1040

Regional Accreditation:

New England Association of Schools and Colleges

Calendar System:

Semester

The Course Profile information is provided and updated by third parties including the respective institutions. While the institutions are able to update their information at any time, the information is not independently validated, and no party associated with this website can accept responsibility for its accuracy.