COSC-385 Theory of Computation

Faculty:

Velauthapillai, Mahendran

Topics covered are drawn from the following: finite automata, formal languages, machine models for formal languages, computability and recursion theory, computational complexity, and mathematical logic applied to computer science. Prerequisites: COSC-127 and COSC-173.

Credits: 3

Prerequisites: COSC-127; COSC-173

Other academic years
There is information about this course number in other academic years:

• 2004-2005 Fall and Spring
• 2005-2006 Fall and Spring
• 2007-2008 Fall and Spring
• 2008-2009 Fall and Spring
• 2010-2011 Fall and Spring

More information
Look for this course in the schedule of classes.

The academic department web site for this program may provide other details about this course.