Theoretical computer science
From Simple English Wikipedia, the free encyclopedia
Theoretical computer science is the a branch of Computer science. Researchers in it focus on the more abstract, logical and mathematical aspects of computing, such as the theory of computation, analysis of algorithms and semantics of programming languages.