点击选择搜索分类
首页 - 分省/区域/城市地图- 正文
☆☆☆☆☆
||
王国俊,周红军 著
店铺: 福州文豪图书专营店 出版社: 科学出版社 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