Description:
Models of computation: partial recursive functions, Turing machines, alternative models of computing. Basic theory and limitations of computability. Undecidability. Resource-bounded computational complexity, non-determinism, NP-completeness.
Description:
Models of computation: partial recursive functions, Turing machines, alternative models of computing. Basic theory and limitations of computability. Undecidability. Resource-bounded computational complexity, non-determinism, NP-completeness.
Description:
Models of computation: partial recursive functions, Turing machines, alternative models of computing. Basic theory and limitations of computability. Undecidability. Resource-bounded computational complexity, non-determinism, NP-completeness.
Credits:
Total Credits:
Credits: 3 Lecture/Recitation/Discussion Hours:3
Restrictions:
Open only to majors in the Department of Computer Science and Engineering or approval of department.
Not open to students with credit in:
CPS 860
Description:
Models of computation: partial recursive functions, Turing machines, alternative models of computing. Basic theory and limitations of computability. Undecidability. Resource-bounded computational complexity, non-determinism, NP-completeness.