Computer Science | Fundamentals of Computing Theory
B401 | 14810 | Dirk Van Gucht


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