Episode #125 of the Stack Overflow podcast is here. We talk Tilde Club and mechanical keyboards. Listen now

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.

× 26
the most commonly used logic programming language. It supports non-deterministic programming through backtracking and pattern matching through unification.
× 62
Applications that allow to create formal proofs. They assist the user by finding partial and checking complete proofs.
× 3
a system where one can show an easily verifiable witness that they computed some amount of work, useful or not.
× 515
Questions about general methods and techniques for proving multiple theorems. When asking about the proof of a single statement, use tags relating to what the proof is about instead.
× 95
Questions about algorithms that deterministically generate sequences of numbers that have stochastic properties of random sequences.
× 358
Necessary properties of formal langagues in certain classes that rely on closure against repetition of certain subwords. Make sure your question isn't covered by applying the techniques in https://cs…
× 360
Questions about state machines with a single stack for memory. They characterize the class of context-free languages.
× 65
off-topic here. Do not ask questions about how to write code in Python. However, conceptual questions about computer science are more appropriate. See our help center for the…
× 211
A computation model which relies on quantum-mechanic phenomena, such as entanglement and superposition. This generalizes the probabilistic model of computation.
× 30
a First In First Out (FIFO) data structure. Popular uses of queues include buffers and breadth-first graph traversal.
× 3
× 288
Questions about algorithms whose behaviour is determined not only by its input but also by a source of random numbers.
× 188
a way to mathematically model uncertainty. We often assume to have access to some well-defined source of random numbers, or that input values or events follow some probability distributi…
× 14
Questions about techniques that infer valid or preferred options from existing data with the goal to make helpful suggestions automatically.
× 485
a definition of a sequence where later elements are expressed as a function of earlier elements.
× 364
Questions about objects such as functions, algorithms or data structures that are expressed using "smaller" instances of themselves.