- proper subclass
- мат. собственный подкласс, собственное подмножество
Большой англо-русский и русско-английский словарь. 2001.
proper subclass
Смотреть что такое "proper subclass" в других словарях:
Constructible universe — Gödel universe redirects here. For Kurt Gödel s cosmological solution to the Einstein field equations, see Gödel metric. In mathematics, the constructible universe (or Gödel s constructible universe), denoted L, is a particular class of sets… … Wikipedia
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
Two-phase locking — This article is about concurrency control. For commit consensus within a distributed transaction, see Two phase commit protocol. In databases and transaction processing two phase locking, (2PL) is a concurrency control method that guarantees… … Wikipedia
Two phase locking — In databases and transaction processing, two phase locking, (2PL) is a concurrency control locking protocol, mechanism, that guarantees serializability. It is also the name of the resulting class (set) of transaction schedules. Using locks that… … Wikipedia
Relation algebra — is different from relational algebra, a framework developed by Edgar Codd in 1970 for relational databases. In mathematics, a relation algebra is a residuated Boolean algebra supporting an involutary unary operation called converse. The… … Wikipedia
Soundness — In mathematical logic, a logical system has the soundness property if and only if its inference rules prove only formulas that are valid with respect to its semantics. In most cases, this comes down to its rules having the property of preserving… … Wikipedia
Bent function — The 2 ary bent functions with Hamming weight 1 Their nonlinearity is … Wikipedia
List of astronomy acronyms — This is a compilation of acronyms commonly used in astronomy. Most of the acronyms are drawn from professional astronomy and are used quite frequently in scientific publications. However, a few of these acronyms are frequently used by the general … Wikipedia
crustacean — /kru stay sheuhn/, n. 1. any chiefly aquatic arthropod of the class Crustacea, typically having the body covered with a hard shell or crust, including the lobsters, shrimps, crabs, barnacles, and wood lice. adj. 2. belonging or pertaining to the… … Universalium
flatworm — /flat werrm /, n. any worm of the phylum Platyhelminthes, having bilateral symmetry and a soft, solid, usually flattened body, including the planarians, tapeworms, and trematodes; platyhelminth. [1895 1900; FLAT1 + WORM] * * * or platyhelminth… … Universalium
fish — fishless, adj. /fish/, n., pl. (esp. collectively) fish, (esp. referring to two or more kinds or species) fishes, v. n. 1. any of various cold blooded, aquatic vertebrates, having gills, commonly fins, and typically an elongated body covered with … Universalium
