Course List

Theory of Computation -

CPSC 390 A

Instructor: Dr. Anil M. Shende
Time: M/W/F 3:30PM-4:30PM
Term: 2015FA
Units: 1
Pre-requisites/Comments: CPSC-170 and MATH-131

Catalog Description:

Study of formal models of computation. Topics include regular, context-free, co ntext-sensitive, and unrestricted gramma rs; Churchs thesis; computability; and undecidability. Lecture: 3 hrs/wk.