Select the desired Level or Schedule Type to find available classes for the course. |
CSCI 460 - Theory of Computing |
A proof-based introduction to theoretical computer science and some key applications. Models of computation, including circuits, finite automata, pushdown automata, Turing machines and random-access machines are examined as well as specification of formal languages. Theoretical concepts are applied to programming-language translation. The course includes concepts of interactive, parallel and concurrent computation.
Prerequisites: Senior status; CSCI 317 Discrete Structures.
1.000 Credit hours 4.000 Lecture hours Levels: Non-Matriculated, Post-Baccalaureate Tchr Lcnse, Undergraduate Schedule Types: Directed Study, Independent/Directed Study, Lecture Computer Science Department Course Attributes: Undergraduate Level Course Restrictions: May not be enrolled in one of the following Levels: Non-Matriculated May not be assigned one of the following Student Attributes: DGCE Student Must be enrolled in one of the following Classifications: Senior - Day Division Senior - Continuing Educatn Prerequisites: PREREQ for CSCI 460 General Requirements: ( May not be taken concurrently. ) or ( May not be taken concurrently. ) or ( Course or Test: CSCI 317 May not be taken concurrently. ) |
Return to Previous | New Search |