* 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:

Traditionally, computational linguistics was usually performed by computer scientists who had specialized in the application of computers to the processing of a natural language.

Computational linguists often work as members of interdisciplinary teams, including linguists ( specifically trained in linguistics ), language experts ( persons with some level of ability in the languages relevant to a given project ), and computer scientists.

In general, computational linguistics draws upon the involvement of linguists, computer scientists, experts in artificial intelligence, mathematicians, logicians, philosophers, cognitive scientists, cognitive psychologists, psycholinguists, anthropologists and neuroscientists, among others.

Nowadays research within the scope of computational linguistics is done at computational linguistics departments, computational linguistics laboratories, computer science departments, and linguistics departments .< ref >

Cognitive science is an interdisciplinary field with contributors from various fields, including psychology, neuroscience, linguistics, philosophy of mind, computer science, anthropology, sociology, and biology.

Context-free grammars are important in linguistics for describing the structure of sentences and words in natural language, and in computer science for describing the structure of programming languages and other formal languages.

In mathematics, computer science, and linguistics, a formal language is a set of strings of symbols.

First-order logic is a formal system used in mathematics, philosophy, linguistics, and computer science.

In computational linguistics, meanwhile, much larger databases of language information were being built, and these, along with great increases in computer speed and capacity, made deeper KR more feasible.

In the same lists, MIT's strongest showings apart from in engineering are in computer science, the natural sciences, business, economics, linguistics, mathematics, and, to a lesser extent, political science and philosophy.

However, it is currently an interdisciplinary science that collaborates with other fields such as chemistry, computer science, engineering, linguistics, mathematics, medicine and allied disciplines, philosophy, physics, and psychology.

Natural language processing ( NLP ) is a field of computer science, artificial intelligence, and linguistics concerned with the interactions between computers and human ( natural ) languages.

Based on a fusion of linguistics, logic, and computer science, and two years in preparation, SBVR provides a way to capture specifications in natural language and represent them in formal logic so they can be machine-processed.

In specific disciplines, Stanford was ranked in English ( in the United States ), in modern languages ( 7 ), in history ( 8 ), in philosophy ( 4 ), in geography & area studies ( 4 ), in linguistics ( 3 ), in computer science ( 2 ), in civil & structural engineering ( 2 ), in chemical engineering ( 3 ), in electrical engineering ( 2 ), in mechanical, aeronautical, & manufacturing engineering, in medicine ( 3 ), in biological sciences ( 3 ), in chemistry ( 4 ), in physics and astronomy ( 4 ), in metallurgy ( 4 ), in mathematics ( 3 ), in environmental sciences ( 4 ), in earth and marine sciences ( 6 ), in psychology ( 2 ), in sociology ( 4 ), in statistics, in politics and international studies ( 4 ), in law ( 3 ), in economics ( 3 ), and in account and finance.

Self-reference is studied and has applications in mathematics, philosophy, computer programming, and linguistics.

That's the UNL Society, a global-scale network of R & D teams, involving about 200 specialists in computer science and linguistics, who are at work creating the linguistic resources and developing the web structure of the UNL System.

* Natural language processing, a field of computer science and linguistics concerned with the interactions between computers and human ( natural ) languages

Other than the associated disciplines just mentioned, cognitive neuroscientists may have backgrounds in these disciplines: neurobiology, bioengineering, psychiatry, neurology, physics, computer science, linguistics, philosophy and mathematics.

They are used to teach elementary set theory, as well as illustrate simple set relationships in probability, logic, statistics, linguistics and computer science ( see logical connectives ).

He received a Bachelor of Arts from Yale University in 1971 and studied psychology, linguistics and computer science as part of an interdisciplinary major in cybernetics.

Cognition is studied in various disciplines such as psychology, philosophy, linguistics, science and computer science.

These processes are analyzed from different perspectives within different contexts, notably in the fields of linguistics, anesthesia, neurology and psychiatry, psychology, philosophy, anthropology, systemics, computer science, and creed.