The language of patterns, structures, and logical reasoning.
The mathematical study of information, communication, and encoding.
What can be computed? Turing machines, decidability, computational complexity — the mathematical foundations of what computers can and cannot do.