请输入您要查询的词汇:
词汇
unary predicate calculus
释义
unary predicate calculus
单述词演算
若在二阶述词演算中,只允许使用普通常数和普通变数,命题常数和命题变数,以及单变元的述词函数和述词函数变数,但不许使用其它的函数或函数变数,则称为单述词演算。
随便看
underfed
underfeed
underfelt
underfill
underfinanced
under fire
underfired
underflow
underflow
underflow exception
underflow indicator
underfoot
underfund
underfunded
underfunded pension program
underfur
undergarment
undergird
underglaze
undergo
undergrad
undergrade
undergraduate
underground
undergrown
语文网英语在线翻译词典收录了223822条英语词汇在线翻译词条,基本涵盖了全部常用英语词汇的中英文双语翻译及用法,是英语学习的有利工具。
Copyright © 2000-2024 Yuwen.pub All Rights Reserved
京ICP备2021023879号
更新时间:2025/11/25 0:03:05