-
41 атомарная формула
Computers: atomic formula -
42 формула атомного строения
Большой англо-русский и русско-английский словарь > формула атомного строения
-
43 формула атомного строения
Русско-английский политехнический словарь > формула атомного строения
-
44 predicate
логика1) предикат, сказуемое || предикатный2) утверждение || утверждать• -
45 objętość
- ci; f(naczynia, torby) capacity; ( odmierzona część) part, measure; ( liczba stron) length; GEOM, FIZ (cubic) volume* * *f.1. (= pojemność, kubatura) volume.2. (= rozmiar) volume; objętość wydawnictwa druk. publication l. edition size.3. chem., fiz. volume; objętość atomowa atomic volume; objętość molowa molar volume; objętość oddechowa fizj. tidal volume; objętość skokowa techn. volumetric displacement, swept volume.4. mat. volume; wzór na objętość volume formula.The New English-Polish, Polish-English Kościuszko foundation dictionary > objętość
-
46 predicate
1) вчт предикат (1. пропозициональная логическая функция, выражение с неопределёнными терминами 2. приписываемый объекту признак; свойство; отношение 3. сказуемое 4. рема, ядро, заключительная часть актуального членения предложения 5. ключевое слово (напр. в языках программирования SQL и Prolog)) || предикатный, предикативный3) утверждение || утверждать•- predicate with free variable
- algebraic predicate
- analytical predicate
- associated predicates
- atomic predicate
- basic predicate
- binary predicate
- Boolean predicate
- bounded predicate
- complete predicate
- completely defined predicate
- completely representable predicate
- computability predicate
- decidable predicate
- definable predicate
- derived predicate
- disjunctively definable predicate
- dyadic predicate
- enumerable predicate
- equality predicate
- exhaustive predicate
- expressible predicate
- first-order predicate
- formula predicate
- fuzzy predicate
- generable predicate
- general recursive predicate
- higher-order predicate
- Horn predicate
- invariant predicate
- irreducible predicate
- logic predicate
- monadic predicate
- multi-place predicate
- n-argument predicate
- niladic predicate
- n-place predicate
- nth order predicate
- numerical predicate
- one-place predicate
- polynomial predicate
- prime predicate
- primitively recursive predicate
- recursive predicate
- representable predicate
- resolvable predicate
- sameness predicate
- semantic predicate
- strong predicate
- triadic predicate
- two-place predicate
- unary predicate
- undecidable predicate
- unitary predicate
- universal predicate -
47 predicate
1) вчт. предикат (1. пропозициональная логическая функция, выражение с неопределёнными терминами2. приписываемый объекту признак; свойство; отношение 3. сказуемое 4. рема, ядро, заключительная часть актуального членения предложения 5. ключевое слово (напр. в языках программирования SQL и Prolog)) || предикатный, предикативный3) утверждение || утверждать•- analytical predicate
- associated predicates
- atomic predicate
- basic predicate
- binary predicate
- Boolean predicate
- bounded predicate
- complete predicate
- completely defined predicate
- completely representable predicate
- computability predicate
- decidable predicate
- definable predicate
- derived predicate
- disjunctively definable predicate
- dyadic predicate
- enumerable predicate
- equality predicate
- exhaustive predicate
- expressible predicate
- first-order predicate
- formula predicate
- fuzzy predicate
- generable predicate
- general recursive predicate
- higher-order predicate
- Horn predicate
- invariant predicate
- irreducible predicate
- logic predicate
- monadic predicate
- multi-place predicate
- n-argument predicate
- niladic predicate
- n-place predicate
- nth order predicate
- numerical predicate
- one-place predicate
- polynomial predicate
- predicate of predicates
- predicate with free variable
- prime predicate
- primitively recursive predicate
- recursive predicate
- representable predicate
- resolvable predicate
- sameness predicate
- semantic predicate
- strong predicate
- triadic predicate
- two-place predicate
- unary predicate
- undecidable predicate
- unitary predicate
- universal predicateThe New English-Russian Dictionary of Radio-electronics > predicate
См. также в других словарях:
Atomic formula — In mathematical logic, an atomic formula (also known simply as an atom) is a formula with no deeper propositional structure, that is, a formula that contains no logical connectives or equivalently a formula that has no strict subformulas. Atoms… … Wikipedia
atomic formula — struktūrinė formulė statusas T sritis chemija apibrėžtis Molekulės atomų erdvinio išsidėstymo pavaizdavimas plokštumoje. atitikmenys: angl. atomic formula; structural formula rus. структурная формула … Chemijos terminų aiškinamasis žodynas
atomic formula/sentence — Technically, an atomic formula is one with no logical constants . An atomic sentence is an atomic formula with no free variables . Intuitively, it is the kind of sentence on the basis of which one might start to construct logical complexity: a… … Philosophy dictionary
atomic — formula/sentence … Philosophy dictionary
Atomic sentence — In logic, an atomic sentence is a type of declarative sentence which is either true or false (may also be referred to as a proposition, statement or truthbearer) and which cannot be broken down into other simpler sentences. For example The dog… … Wikipedia
Atomic — An atom is the smallest particle of a chemical element that retains its chemical properties.In music: * Atomic (band), a Norwegian jazz quintet * Atomic (album), an album by Lit * Atomic (song), a song by Blondie * Atomic , a song by Tiger Army… … Wikipedia
Formula (mathematical logic) — In mathematical logic, a formula is a type of abstract object a token of which is a symbol or string of symbols which may be interpreted as any meaningful unit (i.e. a name, an adjective, a proposition, a phrase, a string of names, a string of… … Wikipedia
Atomic theory — Atomic model redirects here. For the unrelated term in mathematical logic, see Atomic model (mathematical logic). This article is about the historical models of the atom. For a history of the study of how atoms combine to form molecules, see… … Wikipedia
Atomic nucleus — A figurative depiction of the helium 4 atom with the electron cloud in shades of gray. In the nucleus, the two protons and two neutrons are depicted in red and blue. This depiction shows the particles as separate, whereas in an actual helium atom … Wikipedia
formula weight — Chem. 1. (of a molecule) See molecular weight. 2. (of an ionic compound that does not form molecules) the sum of the atomic weights of the atoms of the formula unit. * * * Sum of the atomic weights of all atoms in a chemical formula. The term is… … Universalium
Atomic form factor — In physics, the atomic form factor, or atomic scattering factor, is a measure of the scattering intensity of a wave by an isolated atom. The atomic form factor depends on the type of scattering, typically X ray, electron or neutron. For crystals … Wikipedia