点击选择搜索分类
首页 - 公共管理- 正文
☆☆☆☆☆
||
王国俊,周红军 著
店铺: 福州文豪图书专营店 出版社: 科学出版社 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
电子书下载地址:
相关电子书推荐:
- 文件名
- 高中数理化概念公式定理手册 第八次修订 基础知识手册 中学教辅 高中学教辅读物资料 高中数理化 概念
- 创意空间2000例-人生
- 神奇的化学元素:每天30秒解读50种极为重要的元素 科普读物 书籍
- 时尚情感 时尚杂志社 9787503221064
- 走进神秘家族:空气
- 女人会装幸福才稳
- 青少年科学简史读本
- 亲爱的,我们就是要相爱一生 9787122153203
- 武经总要前集 9787535789754
- 爱是青春的舞蹈 9787030225818
- 你不可不知的50个物理知识
- 满28包邮 创新家装设计图典第3季 客厅
- 奥秘探索 世界奇闻怪事 9787558115424 徐志晶-RT
- 粮食安全与我国知识产权政策选择
- 岩石与矿物 9787203101406