>>5
I think there's more overlap there than you're implying. Like with vision for example. This uses a lot of matrix theory. And AI often uses logic and graph theory. I think I would count matrix theory, logical systems, and graph theory as under theoretical CS.