Computer Science | Fundamentals of Computing Theory
B401 | 6382 | Chauhan


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