点击选择搜索分类
首页 - 诗歌词曲- 正文
☆☆☆☆☆
||
王国俊,周红军 著
店铺: 福州文豪图书专营店 出版社: 科学出版社 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
电子书下载地址:
相关电子书推荐:
- 文件名
- 嗨 元素 元素使者和化合物精灵 化学科普书 趣味化学 化学元素化合物基础知识全集 元素之旅 化学科普
- 把青春唱完 9787508653471
- BF-无脊椎动物-中国野生动物生态保护.国家动物博物馆精品研究-总 主 郑光美 李志毅
- BF-商业人像摄影实战教程-戴菲著 上海人民美术出版社 9787532299379
- 满58包邮 科学的感动:爱因斯坦和相对论 9787218126074 茂木健一郎 广东人
- 一分钟学会简笔画 东方智典 绘
- 徐仁修荒野游踪-自然四记
- 正版书籍 李中莹亲密关系全面技巧
- 正版新书--数学都知道3 蒋迅、王淑红 北京师范大学出版社
- {RT}婚姻决定女人的一生:全民阅读提升版--出版社:中国华侨出版社--978751135
- 十字 9787535282156
- 解锁婚姻密码:包容、理解与爱 9787517122074
- 嗨!元素 奇幻旅程
- 创意简笔画从入门到精通 9787517031345
- 科普图书馆 了不起的动物世界:大洋洲奇迹