请输入您要查询的词汇:
词汇
unary predicate calculus
释义
unary predicate calculus
单述词演算
若在二阶述词演算中,只允许使用普通常数和普通变数,命题常数和命题变数,以及单变元的述词函数和述词函数变数,但不许使用其它的函数或函数变数,则称为单述词演算。
随便看
ALGOL 60
ALGOL 68
algolagnia
ALGOL language
algology
algometer
Algonkian
Algonquian
Algonquin
algophobia
algor
algorism
algorithm
algorithm
algorithm analysis
algorithm complexity
algorithm convergence
algorithmic
algorithmic
algorithmic approach
algorithmic language
algorithmic language program conversion
algorithmic routine
algorithm translation
algum
语文网英语在线翻译词典收录了223822条英语词汇在线翻译词条,基本涵盖了全部常用英语词汇的中英文双语翻译及用法,是英语学习的有利工具。
Copyright © 2000-2024 Yuwen.pub All Rights Reserved
京ICP备2021023879号
更新时间:2025/7/3 2:01:50