May 30, 2020  
UofM 2019-2020 Graduate Catalog 
    
UofM 2019-2020 Graduate Catalog [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

COMP 6601 - Models Of Computation

(3) 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.



Add to Portfolio (opens a new window)