and mathematics, the theory of computation is the branch that deals with what problems can be solved on a model of computation, using an algorithm, how...

theoretical computer science and mathematics, computational complexity theory focuses on classifying computational problems according to their resource usage...

Introduction to the Theory of Computation (ISBN 0-534-95097-3) is a textbook in theoretical computer science, written by Michael Sipser and first published...

science, computational learning theory (or just learning theory) is a subfield of artificial intelligence devoted to studying the design and analysis of machine...

specifically in computability theory and computational complexity theory, a model of computation is a model which describes how an output of a mathematical function...

Interest Group on Algorithms and Computation Theory (SIGACT) provides the following description: TCS covers a wide variety of topics including algorithms,...

A computation is any type of arithmetic or non-arithmetic calculation that is well-defined. Common examples of computation are mathematical equation solving...

limits of computation are governed by a number of different factors. In particular, there are several physical and practical limits to the amount of computation...

Theory, Languages, and Computation is an influential computer science textbook by John Hopcroft and Jeffrey Ullman on formal languages and the theory...

(such as algorithms, theory of computation, and information theory) to applied disciplines (including the design and implementation of hardware and software)...

Computability theory, also known as recursion theory, is a branch of mathematical logic, computer science, and the theory of computation that originated...

Automata theory is the study of abstract machines and automata, as well as the computational problems that can be solved using them. It is a theory in theoretical...

mathematics and computer science, computational number theory, also known as algorithmic number theory, is the study of computational methods for investigating...

In computability theory, a system of data-manipulation rules (such as a model of computation, a computer's instruction set, a programming language, or...

In philosophy of mind, the computational theory of mind (CTM), also known as computationalism, is a family of views that hold that the human mind is an...

understanding of chaos and dynamical systems, and a rapidly growing effort to invent new quantum computers. Digital physics Computation Theory of computation Reversible...

(also called computing science) is the study of the theoretical foundations of information and computation and their implementation and application in...

called computational complexity theory. Both areas are highly related, as the complexity of an algorithm is always an upper bound on the complexity of the...

topics List of linear algebra topics List of reciprocity laws Calculus studies the computation of limits, derivatives, and integrals of functions of real numbers...

representations of uncertainty in scientific computation The mathematics of scientific computation, in particular numerical analysis, the theory of numerical...

Computational semiotics is an interdisciplinary field that applies, conducts, and draws on research in logic, mathematics, the theory and practice of...

machine, is a mathematical model of computation. It is an abstract machine that can be in exactly one of a finite number of states at any given time. The...

In computability theory, the theory of real computation deals with hypothetical computing machines using infinite-precision real numbers. They are given...

Hypercomputation or super-Turing computation is a set of hypothetical models of computation that can provide outputs that are not Turing-computable. For...

mathematical model of computation describing an abstract machine that manipulates symbols on a strip of tape according to a table of rules. Despite the...

In mathematics, computational group theory is the study of groups by means of computers. It is concerned with designing and analysing algorithms and data...

scientist. He was a pioneer in computational complexity theory and computational learning theory. Smith was program manager of the National Science Foundation's...

In computability theory, a function is called limit computable if it is the limit of a uniformly computable sequence of functions. The terms computable...

"All 'reasonable' computational models which add the resources of quantum mechanics (or quantum field theory) to classical computation yield (efficiently)...

The Journal of Chemical Theory and Computation is a monthly peer-reviewed scientific journal, established in 2005 by the American Chemical Society. The...