Introduction to Computer Theory

Computer Science is a cluster of related scienti c and engineering disciplines concerned with the study and application of computations. These disciplines range from the pure and basic scienti c discipline concerned with the foundations (or theory) of computer science (or of computation) to engineering disciplines concerned with speci c applications. The theory of computation deals with how e ciently problems can be solved on a model of computation, using an algorithm. It is also concerned with nding the most e cient methods for solving speci c problems. The eld is divided into three major branches: automata theory and language, computability theory, and computational complexity theory, which are linked by the question. The theory of computation can be considered the creation of models of all kinds in the eld of computer science. Therefore,
mathematics and logic are used. In the last century it became an independent academic discipline and was separated from mathematics.