Theoretical computer science (TCS) is a subset of general computer science and mathematics that focuses on mathematical aspects of computer science such as the theory of computation, lambda calculus, and type theory.. It is difficult to circumscribe the theoretical areas precisely. The ACM's Special Interest Group on Algorithms and Computation Theory (SIGACT) provides …

The Bachelor of Computer Science or Bachelor of Science in Computer Science (abbreviated BCompSc or BCS or BSCS or B.Sc. CS) is a type of bachelor's degree awarded after collegiate study in computer science.In general, computer science degree programs emphasize the mathematical and theoretical foundations of computing.