点击选择搜索分类
首页 - 分省/区域/城市地图- 正文
☆☆☆☆☆
||
王国俊,周红军 著
店铺: 福州文豪图书专营店 出版社: 科学出版社 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
电子书下载地址:
相关电子书推荐:
- 文件名
- 初中数理化概念公式定理手册 正版 书籍 初中生教辅教材
- 新知文库85:贵族 历史与传承 [法] 埃里克·芒雄-里高 著 三联
- {RT}海滨自然笔记-在海边发现季节的更迭-[英]赛莉亚·刘易斯,杨红珍 商务印书馆 97
- 张大可文集(套装共10册)
- 化学元素周期王(XX版) (英)阿特金斯 文教科普读物 上海科学技术出版社化学元素周期王(
- 大道 纯粹教学系列丛书-联考头像照片
- 探秘百科 无限探索版:神勇战士
- 东巴文化揭秘(修订版)
- 统计学实验
- 满28包邮 网店摄影:从红心到皇冠
- 昆虫记-“慢读”系列
- 历史深处的忧虑-近距离看美国之一
- 消失的生物 杨广军
- 图说数码相机原理与快修
- 海南 白沙黎族自治县概况——中国少数民族自治地方概况丛书 9787105086764