Re:Knuth: Computer Programming as an Art (1974)
by mpweiher on Wednesday January 13, 2016 @05:19AM
(#10893380)
You're describing theoretical computer science:
Theoretical computer science is a division or subset of general computer science and mathematics that focuses on more abstract or mathematical aspects of computing and includes the theory of computation.
CS is big-O, Chomsky hierarchy, finite automata, type theory, and computability classes. It's the study of algorithms & data structures, not their implementations. In other words, CS is a branch of math.