Category:Computer science

In its most general sense, computer science (CS or compsci) is the study of computation and information processing, both in hardware and in software. In practice, computer science includes a variety of topics relating to computers, which range from the abstract analysis of algorithms, formal grammars, etc. to more concrete subjects like programming languages, software, and computer hardware. As a scientific discipline, it is distinct from mathematics, programming, software engineering, informatics, and computer engineering, although there are significant overlaps and no clear demarcation.

(previous 200) (next 200)

Subcategories

There are 19 subcategories to this category.

Algorithms Anti-patterns Artificial intelligence C Compiler theory Computation Computer scientists

C cont. Computer vision Cryptography D Data compression Data structures F Filename extensions I Information technology Information theory

I cont. Inter-process communication L Lambda calculus Logic in computer science M Machine translation P Computer pioneers Programming

Articles in category "Computer science"

There are 181 articles in this category.

A20 line Abstract machine Accounting method Address space layout randomization Algorithm Algorithmic efficiency Algorithmic probability Ambiguous grammar American Computer Science League Amortization (computer science) Ant colony optimization Application Development Facility Aspect (computer science) Assertion (computing) Attribute grammar Automatic programming B Banker's algorithm Barton-Nackman Bioinformatics Biologically-inspired computing Branch (computer science) Burrows-Abadi-Needham logic C CAEDS CPU bound Cache Cache algorithms Cache coloring Callback (computer science) Cascader Chemical database Cheminformatics Clausal normal form Combinatorial chemistry Combinatorial search Communicating sequential processes Compare-and-swap Compile time Compiler Computational chemistry Computational complexity theory Computer language Computer program Computer science Computer simulation Concurrency control Conditional branch Considered harmful Continuation Control flow Correctness Covering problem D Dangling pointer Data compression Database management system Datatype Denotational semantics Dependency (computer science) Digital asset management Dimensional informatics Dining philosophers problem

D cont. Discrete mathematics Distributed computing Document-term matrix Domain expert Domain theory E Effect system Entry point Event driven Extended Backus-Naur form F Fault-tolerance First-class object Fixed point combinator Flowchart For loop Foreach Formal methods Formal semantics of programming languages Formal verification Free On-line Dictionary of Computing Funarg problem Function prototype G Gene Myers Geometric hashing Granular Computing Gödel Prize H Hamming distance Higher-order function Hoare logic I Imperative programming Information retrieval Information visualization Informedia Digital Library Inheritance (computer science) Inheritance (genetic algorithm) Instance Interaction protocol Internal node Invariant (computer science) Inverse parser K Kane quantum computer Kd-tree Kernel (computer science) L Lambda calculus Latent semantic analysis Level of abstraction Linearithmic List of multi-threading libraries List of open problems in computer science List of publications in computer science Logic in computer science Logic programming Logical clock M Magic number (programming) Main loop Man or boy test Memory corruption Message queue Meta-algorithm Monoculture Mutator method N Name resolution

N cont. Nanokernel Needleman-Wunsch algorithm Nested function O Object database Object-relational mapping Occurs check Office Vision Open64 Operational semantics Overloaded expression P Parallel computing Parameter (computer science) Parser Perfect hash function Petri net Pointer Polymorphism (computer science) Precision (computer science) Predicate transformer semantics Primitive type Principle of locality Process Process calculus Profiler (computer science) Program derivation Program specification Publish/subscribe Q Quantum computer R Random Access Machine Real time control protocol Real-time Record (computer science) Recursion Reflection (computer science) Regular expression Relational operator Run-time checking Runtime S SPIHT SPL (computer science) Secure operating system Security focused operating system Security-evaluated operating system Segmented memory Semantics encoding Sequence points Set domain Sleeping barber problem Slicing Soft error Sorting Space partitioning Space-time tradeoff State (computer science) Static code analysis String manipulation Strongly-typed programming language Structural induction Structure and Interpretation of Computer Programs Substitutability