Computing (abbreviated CS or compsci) encompasses the kind of topics that relates to computation, rather abstract analysis of algorithms, formal grammars, and cases like programming languages, program design, software, computer hardware, artificial intelligence, and numerical analysis. By definition, computer science is the accumulated knowledge across scientific methodology by computation or even per utilize of the computer.

Computer man of science survey what computer software could & just can not run (understand computability), how software download may expeditiously perform specific tasks (look at algorithms and complexity), how software should store & retrieve specific sort of information (see data structures and databases), how computer program will behave intelligently (view artificial intelligence), & how software online and humans should communicate sustaining every more (view human-computer interaction and user interfaces).

Virtually all the food and drug administratiin around computing has focused on von Neumann computers or Turing machines (computation models that perform 1 little, deterministic step at one time). These system resemble, at the basic level, virtually all very computers inside have in todays world. Computer man of science besides survey more system of computation, which includes parallel machines and theoretical system like probabilistic, oracle, and quantum computers.

Computing is lot to a higher degree a learn of programming. Edsger Dijkstra, a pioneer of the field, when said:

Computing is no further just about computers than astronomy is about telescopes.

Computing is non when old when physical science; it lags by a few c years. Notwithstanding, this doesn't mean that there exists significantly less on the computer scientist's shell than on the physicist's: immature it can be, however it has got the far extra acute upbringing!

Computing has roots around electrical engineering, logic, mathematics, and linguistics. In the previous third of the 20th century computer science emerged as a distinct discipline & developed its have methods and language. Originally, CS wwhen taught as a share of math or even engineering departments, for example at a University of Cambridge in England and at the Gdansk University of Technology in Poland, respectively. Cambridge claims to use at times the world's oldest taught qualification around computing. A 1st computer science department in the United States was founded at Purdue University in 1962, while a 1st college completely devoted to computing was founded at Northeastern University in 1982. Virtually all universities now keep close at hand specific departments devoted to computing, when occasionally conjoin it using engineering, by using applied mathematics, or even more disciplines.

Related fields
Computing is closely related the total of fields. These fields overlap well, though crucial differences survive:

Artificial intelligence (AI) is the implementation and survey of systems that exhibit (either behaviourally or even even seemingly) an autonomous intelligence or behaviour of their have, periodically inspired per characteristics of dwelling beings. Computing is closely attached by having AI, when softwcome program & computers are primary information for the development & progression of artificial intelligence. Bioinformatics Bioinformation science or computational biology is the use of techniques from either applied mathematics, informatics, numbers, & computing to solve biological problems. Computer engineering is the analysis, design, & construction of adps (including computer hardware, software, and computer networks). Computer graphics is the field of ocular computing, in which of these utilizes computers each to generate visual images synthetically & to integrate or even vary visual & spacial trading tools sampled from either the real life. Computer programming is the act of writing program code. Computing is an overarching term for all one related fields by owning CS. Information science or Informatics is the study of data & information, which includes training produce, interpret, analyze, store, retrieve, transport, & handle it. Ip began when a scientific foundation for communication and databases. It besides concerns just about a ways humans generate, have & locate facts (view cognitive science). Information security is the analysis and implementation of principles patterns security, rather cryptography. Information retrieval (IR) is a art and science of shopping for even even even even info inside documents, shopping for documents themselves, shopping for metainformation which describes documents, or looking in databases, whether relational could have alone databases or hypertext networked databases like the Internet or intranets, for text, healthy, images or data. Information systems (IS) is a application of computing to support a operations of an organization: operating, installing, & maintaining the computers, software package, & information. Information technology (IT) is an overarching term for all one related fields by having CS. Lexicography focus on a survey of lexicographical reference book & include the study of electronic & Internet-depending lexicon. Linguistics is the study of languages; it converges with computing inside such arewhen as programming language project & natural language processing. Logic is a formal system of abstract thought, & studies lesson that lay at a basis of computing machines, whether it be a devices (digital logic) or even software program (verification, AI etc.) levels. Management information systems (MIS) is a subfield of data system, that emphasizes fiscal & personnel management. Mathematics shares many techniques & topics by owning computing, however is extra general. Theoretical computing is the math of computing. Software engineering emphasizes analysis, design, construction, & touching of utile software program applications. Software package engineering includes development methodologies (like a waterfall model and extreme programming) and project management.

The name of the field
A title computing immediately gives a impression that a field is the learn of computers, the everyday machines that begin programs and perform computations. Nevertheless, a field (when noted above) is each wider & extra abstract than this title would indicate. Replacement list like computation science keep around been proposed, however a traditional title remains a usual.

Danish scientist Peter Naur thus suggested the term datalogy, to reflect a fact that a scientific discipline revolves around data and data treatment, while non necessarily involving computers. A 1st scientific institution applying the datalogy term was DIKU, a Department of Datalogy at the University of Copenhagen, founded in 1969, with Peter Naur existence a 1st professor in datalogy. A term is utilized in the main in the Nordic countries.

Around French, a discipline is known as informatique, around German Informatik, around Spanish informática, around Dutch & Italian informatica, within Polish informatyka, within Russian информатика & around Greek Πληροφορική. All the same, ip inside English is non directly synonymous sustaining computing; these are actually additional same by having information science.

Major fields of importance for computer science

Mathematical foundations
Boolean algebra Discrete mathematics Graph theory Mathematical logic Probability and Statistics Cybernetics Information theory Domain theory * Set theory

Theoretical computer science
Algorithmic information theory Computability theory Cryptography Formal semantics of programming languages Theory of computation (or theoretical computing) Analysis of algorithms and condition complexity Logics & meanings of programs Mathematical logic and Formal languages Type theory Quantum computing Quantum information theory

Hardware
(watch besides electrical engineering and computer engineering) Control structures and Microprogramming Arithmetic and Logic structures Memory structures Input/output and Data communications Logic Design Integrated circuits VLSI design Performance and reliability

Computer systems organization
(view likewise electrical engineering and computer engineering) Computer architecture Computer networks Distributed computing Performance of systems Computer system implementation

Software
Computer program and Computer programming Concurrent Programming Parallel Programming Program specification Program verification Programming techniques Software engineering Configuration management and Software Configuration Management (SCM) Design patterns Formal methods Object orientation Aspect orientation Documentation Optimization Software metrics Structured programming Programming languages Imperative programming Languages such as C Functional programming Languages such as LISP Logic programming Languages such as Prolog Operating Systems Compilers Lexical analysis Parsing Compiler optimization

Data and information systems
Data structures Information storage representations Information encryption Data compression Data recovery Coding and Information theory Files File formats Information systems Databases Information Storage and retrieval Tools Interfaces & Presentation

Computing methodologies
Symbolic and Algebraic manipulation Artificial intelligence Computer graphics * Pattern recognition Speech recognition Simulation and Modeling Document and text processing Digital signal processing

Computer applications
Administrative information processing Enterprise resource planning Customer relationship management Human Resource Management Systems Mathematical software Numerical analysis Automated theorem proving Computer algebra systems Physical science and Engineering Computational chemistry Computational physics Life and medical sciences Bioinformatics Computational biology Medical informatics Social and behavioral sciences Computer-aided engineering Robotics Human-computer interaction Speech synthesis Usability engineering Telecommunications Queueing theory

Computing milieux
Computer industry History of computing hardware Unsolved problems in computer science Computers and education Computers and society Computer supported cooperative work Legal aspects of computing Free software and Open Source Management of computing & Information systems Personal computing Computer and information security

History
History of computing Origins of computer terms Early programming projects Computer science departments Timeline of algorithms

Prominent pioneers in computer science

|- bgcolor="#CCCCCC" ! Individual !! Achievement |- | John Vincent Atanasoff | Built an electronic digital computer: a ABC Computer. Unlike ENIAC, the foremost everthing-electronic computer designed to exist as Turing-complete, the ABC Computer was non programmable. |- | Charles Babbage | Intentional & built the image for the mechanical calculator and designed a additional mighty Analytical Engine. |- | John Backus | Invented FORTRAN (Formula Translation), a 1st practical high-level programing language, & he formulated the Backus-Naur form that described the formal language syntax. |- | George Boole | Formalistic boolean algebra, the basis for digital logic and computer science. |- | Alonzo Church | Based contributions to theoretical computing, specifically for a development of the lambda calculus & the discovery of the undecidable condition inside it. |- | James W. Cooley and John W. Tukey | A Fast Fourier Transform and its impact on research project. |- | Ole-Johan Dahl and Kristen Nygaard | Made-up a proto-object oriented language SIMULA. |- | Edsger Dijkstra | For algorithmic program, Goto considered harmful, the semaphore (programming), rigor, and pedagogy. |- | Gottlob Frege | Whose development of first-order predicate calculus was a important precursor requirement to get computation theory. |- | C.A.R. Hoare | For the development of the formal language Communicating Sequential Processes (CSP) and Quicksort. |- | Kurt Gödel | For his 1931 proof that demonstrated that Peano axiomatized arithmetic could not exist as each logically uniform & complete within first-order predicate calculus. Church, Kleene, & Turing developed a foundations of computation theory according to corollaries to Gödel's work around 1931. |- | Admiral Grace Murray Hopper | Pioneered function on the necessity for high-level programing language, which she termed automatic programming, & wrote The A-O compiler, which heavily influenced a COBOL language. |- | Kenneth Iverson | Fictitious a APL and for his contribution to interactive computing. |- | Jacek Karpinski | Developed a number one differential analyzer that utilized electronic transistor, & he developed one of a number 1 machine learning algorithmic rule for character & image recognition. Too a artificer of one of a number one minicomputers, a K-202. |- | Stephen Cole Kleene | Pioneered act sustaining Alonzo Church in Lambda Calculus that first placed down the foundations of computation theory. |- | Donald Knuth | For The Art of Computer Programming and TeX. |- | Gottfried Leibniz | Whose immense advances inside symbolic logic, like a Calculus ratiocinator, were heavily influential in Gottlob Frege, who development of first-order predicate calculus was crucial for the theoretical foundations of computing. |- | Ramon Llull | For his multiple symbolic representations machines, his "Ars Combinatoria", & his pioneered notions of symbolic representation & manipulation to develop cognition. He was the immense influence in Leibniz. |- | Ada Lovelace | Began a survey of scientific computation, specifically for her "Sketch of the Analytical Engine", an analysis of Babbage's operate & for the namesake for the modern machine language, Ada. |- | John Mauchly and J. Presper Eckert | Intentional & built a ENIAC, a number one completely electronic Turing-complete computer, & the UNIVAC I, the number one commercially available computer in the United States. John von Neumann of the Institute for Advanced Study admitted to being greatly influenced by their function once he did pioneering operate within computer architecture. |- | John McCarthy | Invented LISP, a functional programming language. |- | John von Neumann | Devised a von Neumann architecture upon which most modern computers come depending. |- | Claude E. Shannon | Based information theory. |- | Emil L. Post | Developed a Post machine as a model of computation, independently of Turing. Known as well for getting truth tables, the Post correspondence problem used in recursion theory too when proving what is knows when Post's theorem. |- | Herbert Simon | The psychologist & economic expert world health organization pioneered artificial intelligence. |- | Alan Turing | For founding contributions to computing, for the formulation of the Turing machine computational model, and for the project of the Pilot ACE. |- | Maurice Wilkes | Built a number one practical stored program computer (EDSAC) to be completed & for existence credited using a ideas of many high-level programing language constructs. |- | Niklaus Wirth | Programming language designer, including Pascal, Modula-2 and Oberon. |- | Konrad Zuse | Built the binary computer, for which he allegedly devised the theoretical high level programing language, Plankalkül. |}