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...

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...

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

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...

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

(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...

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

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...

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...

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...

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

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...

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

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...

could in theory solve computational problems that are not solvable within a reasonable timeframe for a classical computer. This concept of additional...

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

a professor emeritus of computer science at Yale University. She is known for foundational work in computational learning theory and distributed computing...

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)...

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...

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

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