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.

40 questions
16 questions
4 questions
Category theory is used to formalize mathematics and its concepts as a collection of objects and arrows (also called morphisms). Category theory can be used to formalize concepts of other high-level a…
126 questions
0 questions
CCS (Calculus of Communicating Systems) is a process calculus, one of the major models of concurrency, intended for modeling communications between two participants
5 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
4 questions
Questions asking us to check whether your solution is correct only are considered off-topic (per http://meta.cs.stackexchange.com/questions/597/). Please pinpoint your doubt and provide *a specific q…
103 questions
Questions which also contain a proof or a solution that needs to be checked for correctness and completeness.
20 questions
questions about concentration inequalities for sum of independent random variables, martingales, and their applications
22 questions
The Chomsky Hierarchy is the model proposed by Noam Chomsky in 1956 for classes of Formal Grammars. They refer to Type-0, Type-1, Type-2 and Type-3 grammars which refer to Unrestricted Grammars, Conte…
71 questions
Church numerals are an encoding of integers in the lambda calculus
13 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
1 question
A computation model in which the computation is described via circuits of various logic gates.
297 questions
A clique is a subset of the vertices of a graph such that every pair of vertices in the subset is connected by an edge.
123 questions
48 questions
Questions about operations on objects of some kind that result in objects of the same kind.
365 questions
32 questions
Clustering is the problem of finding groups of data points (often modelled as nodes in a graph) that are closer to each other than to other points.
145 questions
0 questions
Questions about the parts of a compiler that select assembly instructions or machine code specific to a specific target computer architecture.
31 questions
The study of data representations that enable error detection, error correction and/or compression.
207 questions
28 questions
Questions on graph coloring, an assignment of colors to elements of a graph subject to specific constraints.
146 questions
Questions related to combinatorics and discrete mathematical structures
767 questions
For questions about logical systems defined via the application and term-rewriting of combinators. These systems often have a close connection to the lambda calculus.
63 questions
Questions about the amount of communication required to compute a function whose input is distributed between two or more parties
62 questions
1 2
3
4 5
20