斷言集；直謂集
中 文 斷言集；直謂集
英 文 predicative set
出 處 數學名詞
相關詞匯
| 中文詞彙 | 英文翻譯 | 出處/學術領域 |
|---|---|---|
| 斷言集；直謂集 | predicative set | 【數學名詞】 |
| 非斷言集合論 | impredicative set theory | 【數學名詞-兩岸數學名詞 】 |
| 非斷言集合論 | impredicative set theory | 【數學名詞】 |
| 語言集 | languages | 【電子計算機名詞】 |
| 語言集 | set of language | 【電子計算機名詞】 |
| C 語言整合生產系統 | C language integrated production system | 【電子計算機名詞】 |
| 爪哇程式語言整合網路 | Java integrated networks | 【電子計算機名詞】 |
| 直謂的；斷言的；斷定的 | predicative | 【數學名詞-兩岸數學名詞 】 |
| 非直謂的；非斷言的 | impredicative | 【數學名詞-兩岸數學名詞 】 |
| 直謂的；斷言的；斷定的 | predicative | 【數學名詞】 |
| 非直謂的；非斷言的 | impredicative | 【數學名詞】 |
| 試驗性的歸納斷言 | tentative inductive assertion | 【資訊與通信術語辭典】 |
| 歸納斷言法 | inductive assertion method | 【資訊與通信術語辭典】 |
| 性的歸納斷言 | tentative inductive assertion | 【電子計算機名詞】 |
| 歸納斷言法 | inductive assertion method | 【電子計算機名詞】 |
| 主張；斷言 | assert | 【電機工程】 |
| 主張，斷言 | assert | 【電力工程】 |
| 偏好宣稱；偏好斷言 | preference assertion | 【新聞傳播學名詞】 |
| 切割，分割，切斷，切換，(直線)相交，穿過，刪節，削減，割線，剖線，斷電，斷開，切削加工，截面，剖面 | cut | 【電力工程】 |
| 可延伸標示語言標籤集合；XML標籤集合 | XML tag set | 【資訊與通信術語辭典】 |