What Are the Different Fields of Computer Science?
The area of computer science (Areas of computer science) includes theoretical and applied computer science. The branches of theoretical computer science are: 1. computing theory; 2. information and coding theory; 3. algorithms and data structures; 4. programming language theory; 5. formal methods; 6. concurrent, parallel, and distributed systems; 7. databases and Information recovery. See also Synonyms for applied computer science.
Computer science
Right!
- Chinese name
- Computer science
- Foreign name
- Areas of computer science
- Content
- Theoretical and applied computer science
- Features
- Focus on answer
- The area of computer science (Areas of computer science) includes theoretical and applied computer science. The branches of theoretical computer science are: 1. computing theory; 2. information and coding theory; 3. algorithms and data structures; 4. programming language theory; 5. formal methods; 6. concurrent, parallel, and distributed systems; 7. databases and Information recovery. See also Synonyms for applied computer science.
- The calculation theory is based on Peter J. Denningde1's view,
- Information and
- Programming Language Theory Programming language theory is a branch of computer science that deals with programming language design, implementation, analysis, description, and classification, as well as their individual characteristics. It relies on and influences mathematics, software engineering, and linguistics. It is an area of active research related to many professional scientific journals. It contains: 1. type theory; 2. the design of the compiler; 3. programming language.
- Formal methods Formal methods are a type of mathematics based on the specification, development, and verification of software and hardware systems. As with other engineering disciplines, mathematical analysis is performed to make the design more reliable, so formal methods are used to design software and hardware. But with expensive formal methods, it means that it is generally used only in the development of key systems of high integrity and life; the security and confidentiality of these systems are of paramount importance. Formal methods are best described as a fairly wide variety of theoretical computer science fundamentals. Especially in logical stones, formal languages, automatic theory and procedural semantics.
- Concurrency, parallelism, and distributed systems Concurrency is a property of the system that performs several calculations at the same time, and these types of calculations have potential interactions. There are several concurrent mathematical models, including: Petri nets, process stones, and parallel random storage machine models. Distributed systems extend the idea of concurrency to multiple computers over a network. In the same distributed system, computers have their own memory, and the information between them is often exchanged to achieve general purposes.
- Databases and information recovery databases are devices that are easy to build, store, and recover large amounts of data. Digital databases use database management systems to store, create, maintain, and study data through database models and query languages.