Введите слово или словосочетание на любом языке 👆
Язык:
Перевод и анализ слов искусственным интеллектом ChatGPT
На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:
- как употребляется слово
- частота употребления
- используется оно чаще в устной или письменной речи
- варианты перевода слова
- примеры употребления (несколько фраз с переводом)
- этимология
Что (кто) такое bounded - определение
WIKIMEDIA DISAMBIGUATION PAGE
Bounded; Unbounded; Boundedness (disambiguation); Unboundedness
bounded
<theory> In domain theory, a subset S of a cpo X is
bounded if there exists x in X such that for all s in S, s <=
x. In other words, there is some element above all of S. If
every bounded subset of X has a least upper bound then X is
boundedly complete.
("<=" is written in LaTeX as subseteq).
(1995-02-03)
Bounded
·Impf & ·p.p. of Bound.
Bounded quantification
Bounded polymorphism; Bounded genericity; Bounded generics; Bounded generic; F-bounded quantification; Recursively bounded quantification; Recursively bounded polymorphism; F-bounded polymorphism; F-bounded genericity; Recursively bounded genericity; F-bounded; F-bound; Constrained genericity; Constraint genericity; Constrained polymorphism; Constraint polymorphism; Constrained quantification; Constraint quantification
In type theory, bounded quantification (also bounded polymorphism or constrained genericity) refers to universal or existential quantifiers which are restricted ("bounded") to range only over the subtypes of a particular type. Bounded quantification is an interaction of parametric polymorphism with subtyping.
Википедия
Boundedness
Boundedness or bounded may refer to:
Примеры употребления для bounded
1. The dog bounded away, zigzagging over the terrain.
2. Mr Cameron, his hair slightly and agreeably tousled, bounded in.
3. It is bounded by Georgia, Azerbaijan, Iran and Turkey.
4. The Marines bounded out the door with an idea of where the gunmen fled.
5. Kids, giggling and jostling, bounded past the end of the fence line.