翻译
functional calculus
- 英 [ˈfʌŋkʃənəl ˈkælkjələs]
- 美 [ˈfʌŋkʃənəl ˈkælkjələs]
释义
- 谓词演算
英英释义
Noun
1. a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
收起英英释义
- 释义
- 英英释义