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


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