Computer Science | Fundamentals of Computing Theory
B401 | 9020 | Fundamentals of Computing Theory

(3 cr.) P: C241. P or C: C212. Fundamentals of formal language
theory, computation models and computability, the limits of
computability and feasibility, and program verification.