of general computer science and mathematics that focuses on more mathematical topics of computing, and includes the theory of computation.

It is difficult to circumscribe the theoretical areas precisely. The ACM's (Association for Computing Theory) Special Interest Group on Algorithms and Computation Theory (SIGACT)