Theoretical Computer Science Theoretical Computer Science Computer Science is about computers and computations.
Computer science is dependent upon experiments with elaborate equipment.
However, it aims to abstract from the physical devices and view its machines through the formalisms used for their operation and programming. Theoretical computer science seeks to establish and analyse the concepts, organizing principles, mathematical tools, heuristic techniques, methodologies and ideologies that are, or may be, of use in practical computation. By enlarging the subject with theoretical explanation and speculation, it attacks the pressing problem of making scientific foundations for computer science. Back to home page.