# A report on Computer science

Study of computation, automation, and information.

- Computer science91 related topics with Alpha

## Cambridge Diploma in Computer Science

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

## Peter Naur

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

## Linguistics

4 linksScientific 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

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

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

## Computer algebra

2 linksRischIntegration.PNG of the algebraic function

RischIntegration.PNG of the algebraic function

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.

## Computational linguistics

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

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

## Computational statistics

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

## Error detection and correction

2 linksIn 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 linksIn computer science, functional programming is a programming paradigm where programs are constructed by applying and composing functions.

## Semantics (computer science)

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