释
通用函数
tōng yòng hán shù · ㄊㄨㄥ ㄩㄥˋ ㄏㄢˊ ㄕㄨˋ
修撰于 2026-06-30 17:14:07
音义
| 拼音 | tōng yòng hán shù |
|---|---|
| 字母 | tong yong han shu |
| 首字母 | tyhs |
| 注音 | ㄊㄨㄥ ㄩㄥˋ ㄏㄢˊ ㄕㄨˋ |
| 注音符号 | ㄊㄨㄥ ㄩㄥ ㄏㄢ ㄕㄨ |
广训
通用函数是递归证明中常用的一种函数。又称为枚举函数。通用函数定理亦称枚举定理。
tōng yòng hán shù · ㄊㄨㄥ ㄩㄥˋ ㄏㄢˊ ㄕㄨˋ
修撰于 2026-06-30 17:14:07
| 拼音 | tōng yòng hán shù |
|---|---|
| 字母 | tong yong han shu |
| 首字母 | tyhs |
| 注音 | ㄊㄨㄥ ㄩㄥˋ ㄏㄢˊ ㄕㄨˋ |
| 注音符号 | ㄊㄨㄥ ㄩㄥ ㄏㄢ ㄕㄨ |
通用函数是递归证明中常用的一种函数。又称为枚举函数。通用函数定理亦称枚举定理。