Skip to main content

Tags

A tag is a keyword or label that categorizes your question with other, similar questions. Using the right tags makes it easier for others to find and answer your question.

Scientific analysis of board games, playing strategies and their complexity
90 questions
Questions about the principles of the object-oriented programming paradigm.
90 questions
Programming questions are off-topic here. Do not ask questions about how to write code in C++. However, conceptual questions about computer science are more appropriate. See our help center for the sc…
90 questions
Questions about how to optimise a program's performance, both manually and automatically, e.g. in compilers.
89 questions
Properties that hold before and after every execution of a loop. Used to prove correctness of algorithms.
88 questions
For questions about method for storing and manipulating numbers on computer systems, such as floating point or binary representations.
88 questions
the study of relations (i.e., database tables) and relational operators (join, selection, projection, etc.) as a kind of algebraic structure.
88 questions
Questions about the fundamental component of an operating system, which manages the allocation of resources to applications.
87 questions
A computational model composed of a grid of stateful cells and a set of rules describing when to change a cell's state.
84 questions
Packing problems are a class of optimization problems in which one has to pack objects together as densely as possible. One could be for example packing rectangles inside a rectangle.
83 questions
83 questions
Questions about Hoare's logical framework for program correctness proofs and variants.
82 questions
Questions about algorithms that receive the input piecewise and have to make decisions, that is produce output, before having seen the whole input.
81 questions
For questions about the interpretation, extension and validity of the Church-Turing thesis, the hypothesis that states that a function is effectively calculable by a human if and only if the function…
79 questions
In OS, a deadlock is where two or more processes are waiting indefinitely for an event that can be caused by one of the waiting processes. Deadlock is a common problem in distributed systems, parallel…
79 questions
Question about the complexity class that is a complement of NP, i.e. decision problems where the "no" instances can be accepted by a nondeterministic Turing machine that runs in time polynomial in the…
78 questions
Use for generic string matching that may be exact substring matching (though then prefer the tag `exact-string-matching`), may be matching to a regular expression, or may be approximate matching (e.g.…
78 questions
Rice's Theorem states that any (non-trivial) property of Turing machines is undecidable.
77 questions
Questions about algorithms and data structures for storing, organizing, and naming data in durable storage systems.
74 questions
Haskell is a functional programming language featuring strong static typing, lazy evaluation, extensive parallelism and concurrency support, and unique abstraction capabilities.
74 questions
Machine-checked, machine-generated or machine-verified proofs
73 questions
a transformation of information to make it unreadable to outside observers
73 questions
The point from the dataset that is closest to the query point.
72 questions
1
5 6
7
8 9
20