有界存在量詞
中 文 有界存在量詞
英 文 bounded existential quantifier
出 處 電子計算機名詞
相關詞匯
中文詞彙 | 英文翻譯 | 出處/學術領域 |
---|---|---|
有界存在量詞 | bounded existential qualifier | 【資訊與通信術語辭典】 |
有界存在量詞 | bounded existential quantifier | 【電子計算機名詞】 |
有界全稱量詞 | bounded universal quantifier | 【資訊與通信術語辭典】 |
有界全稱量詞 | bounded universal quantifier | 【電子計算機名詞】 |
存在量詞 | existential quantifier | 【電子計算機名詞】 |
存在量詞 | existential quantifier | 【兩岸對照名詞-數學】 |
存在量詞 | existential quantifier | 【數學名詞-兩岸數學名詞 】 |
準受囿存在量詞 | quasi-limited existential quantifier ; quasilimited existential quantifier | 【數學名詞】 |
存在量詞 | existential quantifier | 【數學名詞】 |
存在量化變數 | existentially quantified variable | 【資訊與通信術語辭典】 |
存在量化變數 | existentially quantified variable | 【電子計算機名詞】 |
存在量化變數 | existential quantified variable | 【電子計算機名詞】 |
存在量化 | existential quantification | 【電子計算機名詞】 |
有效的,可用的,現有的,存在的 | available | 【電力工程】 |
類存有;類存在 | species-being | 【社會學名詞】 |
類存有;類存在 | species being | 【社會學名詞】 |
無界全稱量詞 | unbounded universal quantifier | 【電子計算機名詞】 |
有界量詞 | bounded quantifier | 【電子計算機名詞】 |
有界變量算法;有界變數演算法 | bounded variable algorithm | 【電機工程】 |
有效儲存容量 | effective storage capacity | 【電機工程】 |