Words starting with completetheo
Maybe these words will be useful:
- complete graph — A graph which has a link between every pair of nodes. A complete bipartite graph can be partitioned into two subsets of nodes such that each node is joined to every node in the other subset.
- complete inference system — (logic) An inference system A is complete with respect to another system B if A can reach every conclusion which is true in B. The dual to completeness is soundness.
- complete lattice — A lattice is a partial ordering of a set under a relation where all finite subsets have a least upper bound and a greatest lower bound. A complete lattice also has these for infinite subsets. Every finite lattice is complete. Some authors drop the requirement for greatest lower bounds.
- complete metric space — (theory) A metric space in which every sequence that converges in itself has a limit. For example, the space of real numbers is complete by Dedekind's axiom, whereas the space of rational numbers is not - e.g. the sequence a[0]=1; a[n_+1]:=a[n]/2+1/a[n].
- complete partial ordering — (theory) (cpo) A partial ordering of a set under a relation, where all directed subsets have a least upper bound. A cpo is usually defined to include a least element, bottom (David Schmidt calls this a pointed cpo). A cpo which is algebraic and boundedly complete is a (Scott) domain.
- complete theory — (logic) An abstract logical theory in which all true statements have formal proofs within the theory.
- complete unification — (programming) W.P. Weijland's name for unification without occur check.
- completement — (obsolete) Act of completing or perfecting; completion.
- completes — Third-person singular simple present indicative form of complete.
- completest — Superlative form of complete.