＞数理逻辑与数学基础＞模型论＞释义 predicate calculus 谓词演算 calculus of predicates 谓词演算 functional calculus 函数演算，谓词演算† predicate calculus 谓词演算†
理论计算机科学 程序理论 释文 predicate calculus 谓词演算
- skating
- skatole
- S. K. Donaldson
- S. K. Donaldson (1957—)
- skein
- skein booking
- skein dyeing
- skein equivalence
- skein module
- skein polynomial
- skein quadruple
- skein relation
- skein set
- skein triple
- skein twisting
- skelemin
- skeletal
- skeletal biology
- skeletal category
- skeletal code
- skeletal electron theory
- skeletal fluorosis
- skeletal hyphae
- skeletal model
- skeletal mound