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.
the most commonly used logic programming language. It supports non-deterministic programming through backtracking and pattern matching through unification.
Applications that allow to create formal proofs. They assist the user by finding partial and checking complete proofs.
a system where one can show an easily verifiable witness that they computed some amount of work, useful or not.
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.
Questions about algorithms that deterministically generate sequences of numbers that have stochastic properties of random sequences.
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…
Questions about state machines with a single stack for memory. They characterize the class of context-free languages.
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…
A computation model which relies on quantum-mechanic phenomena, such as entanglement and superposition. This generalizes the probabilistic model of computation.
a First In First Out (FIFO) data structure. Popular uses of queues include buffers and breadth-first graph traversal.
Questions about algorithms whose behaviour is determined not only by its input but also by a source of random numbers.
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…
Questions about techniques that infer valid or preferred options from existing data with the goal to make helpful suggestions automatically.
a definition of a sequence where later elements are expressed as a function of earlier elements.