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

Model of computation

1 links

In computer science, and more specifically in computability theory and computational complexity theory, a model of computation is a model which describes how an output of a mathematical function is computed given an input.

Computational geometry

1 links

Computational geometry is a branch of computer science devoted to the study of algorithms which can be stated in terms of geometry.

An artistic representation of a Turing machine. Turing machines are used to model general computing devices.

Theoretical computer science

4 links

An artistic representation of a Turing machine. Turing machines are used to model general computing devices.

Theoretical computer science (TCS) is a subset of general computer science and mathematics that focuses on mathematical aspects of computer science such as the theory of computation, lambda calculus, and type theory.

Simon circa 1981

Herbert A. Simon

3 links

Simon circa 1981
Simon (left) in a chess match against Allen Newell c. 1958
Simon's three stages in Rational Decision Making: Intelligence, Design, Choice (IDC)

Herbert Alexander Simon (June 15, 1916 – February 9, 2001) was an American political scientist, with a Ph.D. in political science, whose work also influenced the fields of computer science, economics, and cognitive psychology.

Software engineering

2 links

Systematic engineering approach to software development.

Systematic engineering approach to software development.

as the broad term for all aspects of the practice of computer programming, as opposed to the theory of computer programming, which is formally studied as a sub-discipline of computer science;

Schematic representation of a category with objects X, Y, Z and morphisms f, g, g ∘ f. (The category's three identity morphisms 1X, 1Y and 1Z, if explicitly represented, would appear as three arrows, from the letters X, Y, and Z to themselves, respectively.)

Category theory

3 links

General theory of mathematical structures and their relations that was introduced by Samuel Eilenberg and Saunders Mac Lane in the middle of the 20th century in their foundational work on algebraic topology.

General theory of mathematical structures and their relations that was introduced by Samuel Eilenberg and Saunders Mac Lane in the middle of the 20th century in their foundational work on algebraic topology.

Schematic representation of a category with objects X, Y, Z and morphisms f, g, g ∘ f. (The category's three identity morphisms 1X, 1Y and 1Z, if explicitly represented, would appear as three arrows, from the letters X, Y, and Z to themselves, respectively.)
Commutative diagram defining natural transformations

Nowadays, category theory is used in almost all areas of mathematics, and in some areas of computer science.

A computer monitor provides a visual interface between the machine and the user.

Human–computer interaction

1 links

Research in the design and the use of computer technology, which focuses on the interfaces between people (users) and computers.

Research in the design and the use of computer technology, which focuses on the interfaces between people (users) and computers.

A computer monitor provides a visual interface between the machine and the user.
The user interacts directly with hardware for the human input and output such as displays, e.g. through a graphical user interface. The user interacts with the computer over this software interface using the given input and output (I/O) hardware. Software and hardware are matched so that the processing of the user input is fast enough, and the latency of the computer output is not disruptive to the workflow.

As a field of research, human–computer interaction is situated at the intersection of computer science, behavioral sciences, design, media studies, and several other fields of study.

Structure of the syntactically well-formed, although nonsensical, English sentence, "Colorless green ideas sleep furiously" (historical example from Chomsky 1957).

Formal language

4 links

Structure of the syntactically well-formed, although nonsensical, English sentence, "Colorless green ideas sleep furiously" (historical example from Chomsky 1957).
This diagram shows the syntactic divisions within a formal system. Strings of symbols may be broadly divided into nonsense and well-formed formulas. The set of well-formed formulas is divided into theorems and non-theorems.

In logic, mathematics, computer science, and linguistics, a formal language consists of words whose letters are taken from an alphabet and are well-formed according to a specific set of rules.

Principle diagram of a cybernetic system with a feedback loop

Cybernetics

5 links

Wide-ranging field concerned with regulatory and purposive systems.

Wide-ranging field concerned with regulatory and purposive systems.

Principle diagram of a cybernetic system with a feedback loop
Simple feedback model. AB < 0 for negative feedback.
Ctesibius' water clock, as visualized by the 17th-century French architect Claude Perrault
James Watt
Norbert Wiener

Computer science

Computation

1 links

Any type of arithmetic or non-arithmetic calculation that follows a well-defined model .

Any type of arithmetic or non-arithmetic calculation that follows a well-defined model .

An especially well-known discipline of the study of computation is computer science.