空气净化器
登入
注册
×
请登录
邮箱
密码
记得我?
面向计算机科学的数理逻辑
价格
¥ 24.0
创建时间
2014-09-28 14:38:49
产品分类
空气净化器
/
YADU空气净化器_亚都空气净化器
/
猕猴骑土牛_空气净化器
/
烈火轰雷_空气净化器
/ 数学
产品描述
购买
《面向计算机科学的数理逻辑》叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容,包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑.《面向计算机科学的数理逻辑》在选材时考虑了逻辑系统的特征,并且适应计算机科学的要求,《面向计算机科学的数理逻辑》研究各种逻辑的背景、语言、语义、形式推演,以及可靠性和完备性等问题。《面向计算机科学的数理逻辑》大部分章节附有习题。
科学家讲的科学故事:门捷列夫讲的元素周_B007RIJWQ6
¥19.8
最经典的科学,最前沿的技术加最通俗,最权威的解读
系统解剖学(案例版)(第2版)B007E5XIWQ
¥69.9
系统解剖学(案例版)(第2版)
英腾医学高级职称考试宝典软件•英腾医学_B0081LXEC6
¥198.0
英腾医学高级职称考试宝典软件•英腾医学高级职称考试宝典:妇产科(1DVD_ROM)
盛派 RECESKY 美空气日记_B00HNONO2W
¥98.0
这是一款可以像项链一样戴在脖子上的便携式负离子产生器。本产品打破了原始的通过 滤网或是水净化的原理,通过产生负离子将空气中的浮游粒子击碎或使其变小,杯击碎 变小的浮游粒子不会对人体产生伤害,从而...
SESAMETEC 米兰S10_B00LO5WLXE
¥251.0
【产品品牌】SESAMETEC 三色米###【可选颜色】雅光黑、科技蓝、柠檬黄、玫瑰红###【产品设计】车载氧吧 补充负离子、高效杀菌除尘 去除PM2.5###核心技术】车载氧吧 专利设计、蓝牙...
SESAMETEC 米兰S10_B00LO5WLWA
¥251.0
【产品品牌】SESAMETEC 三色米###【可选颜色】雅光黑、科技蓝、柠檬黄、玫瑰红###【产品设计】车载氧吧 补充负离子、高效杀菌除尘 去除PM2.5###核心技术】车载氧吧 专利设计、蓝牙...