请输入您要查询的字词:
单词
propositional calculus
释义
propositional calculus
Encyclopedia
理学
知识表示
释
propositional calculus
命题逻辑推理
一个形式系统,有着可以由以逻辑运算符结合原子命题来构成代表“命题”的公式,以及允许某些公式建构成“定理”的一套形式“证明规则”。
Mathematics
>数理逻辑与数学基础>模型论>释义
propositional calculus
命题演算[系统]
propositional calculus
命题演算
又称“命题逻辑”
†
Computer
理论计算机科学
程序理论
释文
propositional calculus
命题演算
随便看
stress cracking
stress deviator
stress distribution
stress distribution of foundation
stressed Ge:Ga infrared array
stressed-lap polishing
stress effect of daodi herbs
stress element
stress-energy tensor
stress equalizing
stress evasion
stress fatigue
stress fiber
stress field
stress field of dislocations
stress-freezing method of photoelasticity
stressful life events
stressful life event,SLE
stress function
stress functions
stress gradient hypothesis
stress granule
stress growth
stress-growth law
stress hormone
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2025/7/26 1:10:18