请输入您要查询的词汇:
词汇
predicate calculus
释义
predicate calculus
述词演算
数理逻辑的基础部分。在述词演算中,不仅把命题看作整体,而且还要分析命题的内部结构,把命题的内部结构分析为具有主语和谓语的逻辑形式,由命题函数、连接词和量词构成命题,研究其中的逻辑推理关系。
随便看
letter of remittance
letter of renunciation
letter of subrogation
letter of transfer
letter of trust
letter of undertaking
letter-perfect
letterpress
static allocation
static buffer allocation
static buffering
static check
static control module area
static CP area
static debugging routine
static display image
Static Dump
statice
static electricity
Static Errors
static handling
staticize
staticizer
static magnetic cell
static print-out
语文网英语在线翻译词典收录了223822条英语词汇在线翻译词条,基本涵盖了全部常用英语词汇的中英文双语翻译及用法,是英语学习的有利工具。
Copyright © 2000-2024 Yuwen.pub All Rights Reserved
京ICP备2021023879号
更新时间:2024/9/19 8:58:04