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.
49 questions
Automated theorem proving is the proving of mathematical theorems by a computer program.
49 questions
A partial order is a binary relation over a set which is reflexive, antisymmetric, and transitive.
49 questions
49 questions
48 questions
48 questions
48 questions
47 questions
A proof assistant is an application program that helps humans construct machine-checked proofs. General questions about proof assistants can also be asked on the Proof Assistants Stack Exchange site.
47 questions
47 questions
questions about attaining and maintaining a career in fields related to theoretical computer science
47 questions
47 questions
46 questions
45 questions
Given a specification, does a program satisfy it?
45 questions
A path in a graph is said to be Hamiltonian if it visits each vertex exactly once.
44 questions
44 questions
44 questions
44 questions
For a graph, a maximum cut is a cut whose size is at least the size of any other cut. The problem of finding a maximum cut in a graph is known as the max-cut problem.
43 questions
43 questions
43 questions
43 questions
43 questions
Calculus of Constructions (CoC) is a dependent type system. It's on the lambda cube and is implemented in the Coq proof assistant.
42 questions
In logic, temporal logic is any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time
42 questions
42 questions
Given a program and the input for it, does it halt or run forever?
42 questions
42 questions
42 questions
Topology the study of objects that can be continuously deformed into other objects without tearing or making holes in the object. It can also mean a family of sets that have the property of a topologi…
41 questions
41 questions
41 questions
41 questions