- partial completeness
- мат. частичная полнота
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
Completeness (order theory) — In the mathematical area of order theory, completeness properties assert the existence of certain infima or suprema of a given partially ordered set (poset). A special use of the term refers to complete partial orders or complete lattices.… … Wikipedia
Completeness — In general, an object is complete if nothing needs to be added to it. This notion is made more specific in various fields. Contents 1 Logical completeness 2 Mathematical completeness 3 Computing 4 … Wikipedia
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
period — /pear ee euhd/, n. 1. a rather large interval of time that is meaningful in the life of a person, in history, etc., because of its particular characteristics: a period of illness; a period of great profitability for a company; a period of social… … Universalium
William Howard Taft: Inaugural Address — ▪ Primary Source Thursday, March 4, 1909 Anyone who has taken the oath I have just taken must feel a heavy weight of responsibility. If not, he has no conception of the powers and duties of the office upon which he is about to enter,… … Universalium
interrupted cadence — /ɪntəˌrʌptəd ˈkeɪdns/ (say intuh.ruptuhd kaydns) noun a musical cadence in which there is a progression from a dominant chord to a submediant one or to one other than dominant or tonic, which implies by its partial completeness an expected tonic… …
Hilbert space — For the Hilbert space filling curve, see Hilbert curve. Hilbert spaces can be used to study the harmonics of vibrating strings. The mathematical concept of a Hilbert space, named after David Hilbert, generalizes the notion of Euclidean space. It… … Wikipedia
analysis — /euh nal euh sis/, n., pl. analyses / seez /. 1. the separating of any material or abstract entity into its constituent elements (opposed to synthesis). 2. this process as a method of studying the nature of something or of determining its… … Universalium
Semilattice — In mathematics, a join semilattice (or upper semilattice) is a partially ordered set which has a join (a least upper bound) for any nonempty finite subset. Dually, a meet semilattice (or lower semilattice) is a partially ordered set which has a… … Wikipedia
Riemannian manifold — In Riemannian geometry, a Riemannian manifold ( M , g ) (with Riemannian metric g ) is a real differentiable manifold M in which each tangent space is equipped with an inner product g in a manner which varies smoothly from point to point. The… … Wikipedia
Kripke semantics — (also known as relational semantics or frame semantics, and often confused with possible world semantics) is a formal semantics for non classical logic systems created in the late 1950s and early 1960s by Saul Kripke. It was first made for modal… … Wikipedia