COMP 6601 - Models Of Computation

Credit Hours: (3)

Description: Computer models as a basis of the understanding and analysis of programming: computation and complexity: machine models (finite-state, stack and Turing machines), linguistic models (grammars, lambda calculus, and predicate calculi); biologically-inspired models (e.g.: neural nets or genetic algorithms); unsolvability, universality, decidability, and feasibility. NOTE: Computer Science majors may not use this course to fulfill degree requirements. NOTE: Computer Science majors may not use this course to fulfill degree requirements Prerequisite(s): COMP 6601 or permission of instructor.