normalization property (lambda-calculus) 中文意思是什麼
normalization property (lambda-calculus)
解釋
規范化性質- normalization : (規范化):一種產生帶有需要的特性的技術,這種特性能支持用戶和公司的需求。
- property : n. 1. 財產;資產;所有物;所有地,地產;所有,所有權。2. 性質,特徵,屬性,特性;【邏輯學】非本質特性。3. 〈pl. 〉 【戲劇】道具;〈英國〉服裝。
- lambda : n. 1. 希臘語第十一個字母〈Λ,λ 與英語字母L相當〉。2. 微升〈百萬分之一升〉。3. λ粒子( = lambda particle)。
- calculus : n. (pl. calculuses, -li )1. 【醫學】結石,石;積石;牙垢。2. 【數學】運算,演算;微積分(學)。
-
目前還沒有normalization property (lambda-calculus)例句。
分享友人