Definition:Computer Science

From ProofWiki
Jump to navigation Jump to search


Computer science is the branch of mathematics concerning computation.

As such it can be considered as an offshoot of both mathematical logic and discrete mathematics.

Also see

  • Results about computer science can be found here.

Historical Note

The origin of computer science can be traced back to the design of algorithms by Euclid.

Even further back, the Babylonians employed the techniques of asymptotic complexity and reducibility.

The discipline became of great importance with the advent of the digital computer in the $20$th century.