【bounded_quantification】什么意思_英语bounded_quantification的翻译_音标_读音_用法_例句_在线翻译

bounded quantification 添加释义

[数] 有界量词限制

bounded quantification 有界量词限制 existential quantification 存在量词化; 存在量化; 存在性; 特称 ..

基于139个网页-相关网页

有界量词限定

... bounded point sequence 有界点序列 bounded quantification 有界量词限定 bounded quantifier 有界量词 ...

基于16个网页-相关网页

短语

数学

·2,447,543篇论文数据，部分数据来源于NoteExpress

abstract: 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.

以上来源于: WordNet

应用推荐

$firstVoiceSent

- 来自原声例句