* Argument ( computer science ), a piece of data provided as input to a subroutine

In mathematics and computer science, an algorithm ( originating from al-Khwārizmī, the famous Persian mathematician Muḥammad ibn Mūsā al-Khwārizmī ) is a step-by-step procedure for calculations.

* Program analysis ( computer science ) – the process of automatically analyzing the behavior of computer programs

* Semantic analysis ( computer science ) – a pass by a compiler that adds semantical information to the parse tree and performs certain checks

* Atomic operation, in computer science

He was highly influential in the development of computer science, giving a formalisation of the concepts of " algorithm " and " computation " with the Turing machine, which can be considered a model of a general purpose computer.

Turing is widely considered to be the father of computer science and artificial intelligence.

Babbage understood that the existence of an automatic computer would kindle interest in the field now known as algorithmic efficiency, writing in his Passages from the Life of a Philosopher, " As soon as an Analytical Engine exists, it will necessarily guide the future course of the science.

In algorithmic information theory ( a subfield of computer science ), the Kolmogorov complexity of an object, such as a piece of text, is a measure of the computational resources needed to specify the object.

Algorithmic information theory is the area of computer science that studies Kolmogorov complexity and other complexity measures on strings ( or other data structures ).

In computer science, an array data structure or simply an array is a data structure consisting of a collection of elements ( values or variables ), each identified by at least one array index or key.

The term is also used, especially in the description of algorithms, to mean associative array or " abstract array ", a theoretical computer science model ( an abstract data type or ADT ) intended to capture the essential properties of arrays.

In computer science, an AVL tree is a self-balancing binary search tree, and it was the first such data structure to be invented.

Category: 1962 in computer science

In computer science, the analysis of algorithms is the determination of the number of resources ( such as time and storage ) necessary to execute them.

Run-time efficiency is a topic of great interest in computer science: A program can take seconds, hours or even years to finish executing, depending on which algorithm it implements ( see also performance analysis, which is the analysis of an algorithm's run-time in practice ).

In computer science, an abstract data type ( ADT ) is a mathematical model for a certain class of data structures that have similar behavior ; or for certain data types of one or more programming languages that have similar semantics.

This cutting-edge technology has a promising potential of leading a new revolution in science as integrated circuits did in computer developments.

* Alternating Turing machine, model of computation used in theoretical computer science

* Program analysis ( computer science )

* Artificial intelligence, a branch of computer science.

* List of open problems in computer science

In a category with exponentials, using the isomorphism ( in computer science, this is called currying ), the Ackermann function may be defined via primitive recursion over higher-order functionals as follows:

In linear text systems, such as those used in most computer programming environments, a variety of methods have arisen:

Since this extends easily to higher dimensions, it is a common representation in linear algebra, and in computer programming.

In computer science, LR parsers are a type of bottom-up parsers that efficiently handle deterministic context-free languages in guaranteed linear time.

Techniques from linear algebra are also used in analytic geometry, engineering, physics, natural sciences, computer science, and the social sciences ( particularly in economics ).

Machinima is a digital medium based on 3-D computer games, but most works have a linear narrative structure.

In the computer science subfields of computer-aided design and computer graphics, the term B-spline frequently refers to a spline curve parametrized by spline functions that are expressed as linear combinations of B-splines ( in the mathematical sense above ).

In colloquial usage, the terms " Turing complete " or " Turing equivalent " are used to mean that any real-world general-purpose computer or computer language can approximately simulate any other real-world general-purpose computer or computer language, within the bounds of finite memory – they are linear bounded automaton complete.

Paul Lansky made the well-known computer music piece notjustmoreidlechatter using linear predictive coding.

These complex computer programs are encoded in simpler linear chromosomes of fixed length, which are afterwards expressed as expression trees.

* A linear topology puts a two-way link between one computer and the next.

Such a formulation is called an optimization problem or a mathematical programming problem ( a term not directly related to computer programming, but still in use for example in linear programming-see History below ).

Shamir has also made contributions to computer science outside of cryptography, such as finding the first linear time algorithm for 2-satisfiability and showing the equivalence of the complexity classes PSPACE and IP.

Use of a PC that normally increments assumes that what a computer does is execute a usually linear sequence of instructions.

All were slow, cumbersome, and had problems with the limited computer horsepower of the time, but the mid-to-late-1980s saw a trend towards non-linear editing, moving away from film editing on Movieolas and the linear videotape method ( usually employing 3 / 4 " VCRs ).

Turkle discusses what she calls women's " non-linear " approach to the technology, calling it " soft mastery " and " bricolage " ( as opposed to the " hard mastery " of linear, abstract thinking and computer programming ).

Computational algorithms for finding the solutions are an important part of numerical linear algebra, and play a prominent role in engineering, physics, chemistry, computer science, and economics.

A system of non-linear equations can often be approximated by a linear system ( see linearization ), a helpful technique when making a mathematical model or computer simulation of a relatively complex system.

The basic operation of linear interpolation between two values is so commonly used in computer graphics that it is sometimes called a lerp in that field's jargon.

The digital revolution has made the video editing workflow process immeasurably quicker, as practitioners moved from time-consuming ( tape to tape ) linear video editing online editing suites, to computer hardware and video editing software such as Adobe Premiere, Final Cut Pro, Avid, Sony Vegas and Lightworks.

Remote desktop software allows a person to control a computer from another computer ; this allows the user to change anything on the linear computer, and access all of the file contents.