+**Theoretical Computer Science** delves into the mathematical foundations of [Computation](/wiki/computation), exploring the fundamental limits and possibilities of what can be computed. It rigorously examines concepts like [Algorithm](/wiki/algorithm) design, data structures, and the inherent complexity of problems, seeking the pure logic behind digital processes.
+## See also
+- [Complexity Theory](/wiki/complexity_theory)
+- [Automata Theory](/wiki/automata_theory)
+- [Formal Language](/wiki/formal_language)
... 1 more lines