|Winter Term 2018 Theory of Computation - 1119 - CMSC 515
Prerequisites/Notes: MATH 300 and CMSC 150
Catalog Description : A study of programming in the abstract, leading to an understanding of the precise nature and limitations of computing machines. Topics include universal computing machines such as Turing machines, decidable and undecidable predicates, regular and pushdown automata, and regular and context-free grammars.
Attributes: Nat Science Div GER (01cr), Quantitative Analy GER (01cr), BM Natural Science (01cr), Advanced Course