CS 4124: Theory of Computation
- Catalog Description:
Theoretical analysis of the computational process; fundamental concepts
such as abstract programs, classes of computational machines
and their equivalence, recursive function theory, unsolved problems,
Church's thesis, Kleene's theorem, program equivalence,
and generability, acceptability, decidability. Pre: MATH 3134 or
3034; (3H, 3C), I.
- Fall 1994
- Fall 1997
- Fall 1999
- Fall 2000
- Spring 2002
- Fall, 2005
- Fall, 2007
- Fall, 2008
- Fall, 2009
- Fall, 2010
- Fall, 2011
- Fall, 2012
- Fall, 2013
- Fall, 2014
- Fall, 2015
- Fall, 2016