Mathematics 380 - T heory of Computation

Institution:

St Lawrence University

Subject:

Description:

The basic theoretical underpinnings of computer organization and programming. Topics include the Chomsky hierarchy of languages and how to design various classes of automata to recognize computer languages. Application of mathematical proof techniques to the study of automata and grammars enhances understanding of both proof and language. Prerequisites: Computer Science 319 and Mathematics 280. Also offered as Computer Science 380.

Credits:

4.00

Credit Hours:

Prerequisites:

Corequisites:

Exclusions:

Level:

Instructional Type:

Lecture

Notes:

Additional Information:

Historical Version(s):

Institution Website:

www.stlawu.edu

Phone Number:

(315) 229-5011

Regional Accreditation:

Middle States Association of Colleges and Schools

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.