Computer science

Computer science (abbreviated CS or compsci) encompasses a variety of topics that relates to computation, like abstract analysis of algorithms, formal grammars, and subjects such as programming languages, program design, software, computer hardware, artificial intelligence, and numerical analysis. By definition, computer science is the accumulated knowledge through scientific methodology by computation or by the use of the computer.

Major fields of importance for computer science

Mathematical foundations

• Boolean algebra
• Discrete mathematics
• Graph theory
• Mathematical logic
• Probability and Statistics
• Information theory
• Domain theory
• Category theory
• Set theory

Theoretical computer science

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

Hardware

(see also electrical engineering and computer engineering)

Related Topics:
Electrical engineering - 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

(see also electrical engineering and computer engineering)

Related Topics:
Electrical engineering - 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
• Data storage representations
• Data encryption
• Data compression
• Data recovery
• Coding and Information theory
• Files
• File formats
• Information systems
• Databases
• Information Storage and retrieval
• Information Interfaces and Presentation

Computing methodologies

• Symbolic and Algebraic manipulation
• Artificial intelligence
• Computer graphics
• Image processing and computer vision
• Pattern recognition
• Speech recognition
• Simulation and Modeling
• Document and text processing
• Digital signal processing

Computer applications

• Administrative data 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 and Information systems
• Personal computing
• Computer and information security