partial order
Look at other dictionaries:
Partial order reduction — In computer science, partial order reduction is a technique for reducing the size of the state space to be searched by a model checking algorithm. It exploits the commutativity of concurrently executed transitions, which result in the same state… … Wikipedia
partial order — … Useful english dictionary
Complete partial order — In mathematics, directed complete partial orders and ω complete partial orders (abbreviated to dcpo, ωcpo or sometimes just cpo) are special classes of partially ordered sets, characterized by particular completeness properties. Complete partial… … Wikipedia
Order theory — For a topical guide to this subject, see Outline of order theory. Order theory is a branch of mathematics which investigates our intuitive notion of order using binary relations. It provides a formal framework for describing statements such as… … Wikipedia
Order dimension — A partial order of dimension 4 (shown as a Hasse diagram) and four total orderings that form a realizer for this partial order. In mathematics, the dimension of a partially ordered set (poset) is the smallest number of total orders the… … Wikipedia
Partial plan — In formal AI planning, a partial plan is a plan which specifies all actions that need to be taken, but does not specify an exact order for the actions where the order does not matter. A linearization of a partial order plan is a total order plan… … Wikipedia
Order (mathematics) — Contents 1 In algebra 2 In arithmetic 3 In analysis 4 … Wikipedia
partial ordering relation — noun A partial order … Wiktionary
Order of Preachers — Order of Preachers † Catholic Encyclopedia ► Order of Preachers As the Order of the Friars Preachers is the principal part of the entire Order of St. Dominic, we shall include under this title the two other parts of the order: the… … Catholic encyclopedia
Order of the Phoenix (organisation) — Order of the Phoenix Harry Potter association Some Order of the Phoenix members in the Harry Potter and the Order of the Phoenix film adaptation, from left to right: Alastor Moody, Nymphadora Tonks, Sirius Black, Remus Lupin, and Albus Dumbledore … Wikipedia
