Dec 04, 2020  
UofM 2019-2020 Undergraduate Catalog 
    
UofM 2019-2020 Undergraduate Catalog [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

COMP 4601 - Models of Computation

Credit Hours: (3)
Description: Computer models as basis for the understanding and analysis of programming, computation and complexity; machine models (finite-state, stack and Turing machines); linguistic models (grammars, lambda calculus, predicate calculi); biologically-inspired models (e.g. neural nets or genetic algorithms); unsolvability, universality, decidability, feasibility. (F, Sp) PREREQUISITE: COMP 4030 , or permission of instructor.



Add to Portfolio (opens a new window)