请输入您要查询的词汇:
词汇
unary predicate calculus
释义
unary predicate calculus
单述词演算
若在二阶述词演算中,只允许使用普通常数和普通变数,命题常数和命题变数,以及单变元的述词函数和述词函数变数,但不许使用其它的函数或函数变数,则称为单述词演算。
随便看
disturbance
disturbance
disturbed
distyle
disulfate
disulfide
disulfiram
disulphide
disunion
disunionist
disunite
disunited
business card
business class
business conglomerate
business cycle
business cycle
business data processing
business data processing language
business day
business end
business Environment Risk Index
business finance company
business graphics component
business group
语文网英语在线翻译词典收录了223822条英语词汇在线翻译词条,基本涵盖了全部常用英语词汇的中英文双语翻译及用法,是英语学习的有利工具。
Copyright © 2000-2024 Yuwen.pub All Rights Reserved
京ICP备2021023879号
更新时间:2025/8/20 14:06:35