Computer science or computing science (sometimes abbreviated CS) is the study of the theoretical foundations of information and computation, and of practical techniques for their implementation and application in computer systems.

Main theories of CS

The study of the theory of computation is focused on answering fundamental questions about what can be computed and what amount of resources are required to perform those computations. In an effort to answer the first question, computability theory examines which computational problems are solvable on various theoretical models of computation. The second question is addressed by computational complexity theory, which studies the time and space costs associated with different approaches to solving a computational problem.

The broader field of theoretical computer science encompasses both the classical theory of computation and a wide range of other topics that focus on the more abstract, logical, and mathematical aspects of computing.

CS Theories vs Symbol-Driven Engineering

SDE is a tuple (GrammarWare, ModelWare, SimulationWare, KnowledgeWare).

GrammarWare has strong relations to compilation theory, ModelWare to Graph Theory, SimulationWare to computation theory, and KnowledgeWare to information theory. Alltogether, they build a platform to evaluate computability theory from the sequential approach (not parallel), which have connections to algorithm theory.

Some theories not considered in SDE are neural networks, theories for hardware etc.

Some links: