# A report on Computer science

Study of computation, automation, and information.

- Computer science91 related topics with Alpha

## Cognitive science

4 linksCognitive science is the interdisciplinary, scientific study of the mind and its processes with input from linguistics, psychology, neuroscience, philosophy, computer science/artificial intelligence, and anthropology.

## Machine learning

3 linksField of inquiry devoted to understanding and building methods that 'learn', that is, methods that leverage data to improve performance on some set of tasks.

Field of inquiry devoted to understanding and building methods that 'learn', that is, methods that leverage data to improve performance on some set of tasks.

Neural networks research had been abandoned by AI and computer science around the same time.

## Data structure

2 linksIn computer science, a data structure is a data organization, management, and storage format that is usually chosen for efficient access to data.

## Programming language theory

2 linksProgramming language theory (PLT) is a branch of computer science that deals with the design, implementation, analysis, characterization, and classification of formal languages known as programming languages and of their individual features.

## Computer network

2 linksSet of computers sharing resources located on or provided by network nodes.

Set of computers sharing resources located on or provided by network nodes.

Computer networking may be considered a branch of computer science, computer engineering, and telecommunications, since it relies on the theoretical and practical application of the related disciplines.

## Theory of computation

4 linksBranch that deals with what problems can be solved on a model of computation, using an algorithm, how efficiently they can be solved or to what degree .

Branch that deals with what problems can be solved on a model of computation, using an algorithm, how efficiently they can be solved or to what degree .

Perhaps the most important open problem in all of computer science is the question of whether a certain broad class of problems denoted NP can be solved efficiently.

## Mathematical logic

8 linksStudy of formal logic within mathematics.

Study of formal logic within mathematics.

Computer scientists often focus on concrete programming languages and feasible computability, while researchers in mathematical logic often focus on computability as a theoretical concept and on noncomputability.

## Computer engineering

3 linksComputer engineering (CoE or CpE) is a branch of electrical engineering that integrates several fields of computer science and electronic engineering required to develop computer hardware and software.

## Gottfried Wilhelm Leibniz

2 linksGerman polymath active as a mathematician, philosopher, scientist and diplomat.

German polymath active as a mathematician, philosopher, scientist and diplomat.

Leibniz also made major contributions to physics and technology, and anticipated notions that surfaced much later in probability theory, biology, medicine, geology, psychology, linguistics and computer science.

## Formal methods

3 linksIn computer science, formal methods are mathematically rigorous techniques for the specification, development, and verification of software and hardware systems.