点击选择搜索分类
首页 - 养生食疗- 正文
☆☆☆☆☆
||
王国俊,周红军 著
店铺: 福州文豪图书专营店 出版社: 科学出版社 ISBN:9787030228994 商品编码:27411288930 包装:圆脊精装 出版时间:2017-12-01
数理逻辑引论与归结原理 (英文版) 王国俊,周红军 科学出版社 电子书 下载 mobi epub pdf txt
数理逻辑引论与归结原理 (英文版) 王国俊,周红军 科学出版社-so88
数理逻辑引论与归结原理 (英文版) 王国俊,周红军 科学出版社 pdf epub mobi txt 电子书 下载 2022
图书介绍
☆☆☆☆☆
||
王国俊,周红军 著
店铺: 福州文豪图书专营店 出版社: 科学出版社 ISBN:9787030228994 商品编码:27411288930 包装:圆脊精装 出版时间:2017-12-01
图书基本信息 | |||
图书名称 | 数理逻辑引论与归结原理 (英文版) | 作者 | 王国俊,周红军 |
定价 | 128.00元 | 出版社 | 科学出版社 |
ISBN | 9787030228994 | 出版日期 | 2017-12-01 |
字数 | 页码 | ||
版次 | 31 | 装帧 | 圆脊精装 |
开本 | 128开 | 商品重量 | 0.681Kg |
内容简介 |
本书在*版的基础上进行修订再版,全书共9章,内容可分为Boole代数理论,命题演算与谓词演算理论,归结原理理论,多值逻辑的*理论等4部分。同时,在*版的基础上对“计量逻辑学”,关于一阶系统K完备性的证明等诸多内容做了补充或改写。本书可供计算机专业、应用数学专业、人工智能专业的研究生与高年级本科生及教师阅读。 |
作者简介 |
目录 |
编辑推荐 |
文摘 |
序言 |
数理逻辑引论与归结原理 (英文版) 王国俊,周红军 科学出版社 电子书 下载 mobi epub pdf txt
电子书下载地址:
相关电子书推荐:
- 文件名
- #探险者发现之旅丛书:寻长新大陆 《寻找新大陆》编写组
- 英国海上保险条款详论(第二版)(第五册) 杨良宜
- 满58包邮 长爪沙鼠组织学图谱 9787517823483 褚晓峰 浙江工商大学出版社
- 现货 良辰多喜欢2 原城著 花火青春都市言情小说 霸道总裁书
- 正版 星际穿越 【美】基普·索恩(Kip Thorne)著 ,苟利军 978721306
- 正版现货 佳期未晚 郑未晚著 夏七夕工作室花火青春系列小说 随书赠主题明信片+青春梦想清单
- 大自然的启示-马小跳发现之旅 马小跳和他的小伙伴要去探索在大自然的启示下,人类的发明和发
- 正版现货 佳期未晚 郑未晚著 夏七夕工作室花火青春系列小说 随书赠主题明信片+青春梦想清单
- 正版 时间旅行:来自未来的客人 9787535731180 (德)约翰内斯·冯·布特拉尔
- 招标投标常用法律法规便查手册 建设工程招标投标 招标投标法 采购法 工程招标用书
- 人类未来的水下生活
- 新书现货 何以笙箫默 顾漫 七周年巨献近万字番外+4张精美明信片+唯美随书海报
- 枪械风云榜-兵器帝国大揭秘-儿童视觉大系
- 公安交通执法基本技能实训
- 小牛顿科学全知道-26