A report on Computer science

Charles Babbage, sometimes referred to as the "father of computing".
Ada Lovelace published the first algorithm intended for processing on a computer.

Study of computation, automation, and information.

- Computer science
Charles Babbage, sometimes referred to as the "father of computing".

91 related topics with Alpha

Overall

Cambridge Diploma in Computer Science

1 links

Diploma in Computer Science, originally known as the "Diploma in Numerical Analysis and Automatic Computing", was a conversion course in Computer Science offered by the University of Cambridge, England.

Naur in 2008

Peter Naur

1 links

Naur in 2008

Peter Naur (25 October 1928 – 3 January 2016) was a Danish computer science pioneer and Turing award winner.

Linguistics

4 links

Scientific study of human language.

Scientific study of human language.

Formal semantics draws heavily on philosophy of language and uses formal tools from logic and computer science.

Alonzo Church (1903–1995)

Alonzo Church

2 links

Renowned American mathematician, logician, philosopher, professor and editor, who made major contributions to mathematical logic and the foundations of theoretical computer science.

Renowned American mathematician, logician, philosopher, professor and editor, who made major contributions to mathematical logic and the foundations of theoretical computer science.

Alonzo Church (1903–1995)

Alongside his student Alan Turing, Church is considered one of the founders of computer science.

Representation of the expression (8-6)*(3+1) as a Lisp tree, from a 1985 Master's Thesis.

Computer algebra

2 links

RischIntegration.PNG of the algebraic function

RischIntegration.PNG of the algebraic function

Representation of the expression (8-6)*(3+1) as a Lisp tree, from a 1985 Master's Thesis.

In mathematics and computer science, computer algebra, also called symbolic computation or algebraic computation, is a scientific area that refers to the study and development of algorithms and software for manipulating mathematical expressions and other mathematical objects.

Alan Turing: computer scientist and namesake developer of the Turing test as a method of measuring the intelligence of a machine

Computational linguistics

1 links

Interdisciplinary field concerned with the computational modelling of natural language, as well as the study of appropriate computational approaches to linguistic questions.

Interdisciplinary field concerned with the computational modelling of natural language, as well as the study of appropriate computational approaches to linguistic questions.

Alan Turing: computer scientist and namesake developer of the Turing test as a method of measuring the intelligence of a machine
Joseph Weizenbaum: former MIT professor and computer scientist who developed ELIZA, a primitive computer program utilizing natural language processing.

In general, computational linguistics draws upon linguistics, computer science, artificial intelligence, mathematics, logic, philosophy, cognitive science, cognitive psychology, psycholinguistics, anthropology and neuroscience, among others.

Students working in the Statistics Machine Room of the London School of Economics in 1964.

Computational statistics

1 links

Students working in the Statistics Machine Room of the London School of Economics in 1964.

Computational statistics, or statistical computing, is the bond between statistics and computer science.

To clean up transmission errors introduced by Earth's atmosphere (left), Goddard scientists applied Reed–Solomon error correction (right), which is commonly used in CDs and DVDs. Typical errors include missing pixels (white) and false signals (black). The white stripe indicates a brief period when transmission was interrupted.

Error detection and correction

2 links

To clean up transmission errors introduced by Earth's atmosphere (left), Goddard scientists applied Reed–Solomon error correction (right), which is commonly used in CDs and DVDs. Typical errors include missing pixels (white) and false signals (black). The white stripe indicates a brief period when transmission was interrupted.

In information theory and coding theory with applications in computer science and telecommunication, error detection and correction (EDAC) or error control are techniques that enable reliable delivery of digital data over unreliable communication channels.

Functional programming

4 links

In computer science, functional programming is a programming paradigm where programs are constructed by applying and composing functions.

Semantics (computer science)

4 links

Rigorous mathematical study of the meaning of programming languages.

Rigorous mathematical study of the meaning of programming languages.

It has close links with other areas of computer science such as programming language design, type theory, compilers and interpreters, program verification and model checking.