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.
Semester:
Spring of even years
Credits:
Total Credits: 3 Lecture/Recitation/Discussion Hours: 3
Recommended Background:
CSE 460
Restrictions:
Open only to majors in the Department of Computer Science and Engineering or approval of department.
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.