Computer Science | Fundamentals of Computing Theory
B401 | ALL | Wise

B401 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.