点击选择搜索分类
首页 - 农作物- 正文
☆☆☆☆☆
||
王国俊,周红军 著
店铺: 福州文豪图书专营店 出版社: 科学出版社 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
电子书下载地址:
相关电子书推荐:
- 文件名
- 发现世界丛书 浩瀚宇宙
- 微甜食光
- 儿童彩笔画-儿童智能绘画-少儿美术培训机构.配套课本2-6
- 筑爱 期待中的家
- 正版 穿越宇宙的秘密小径 9787535775030 (美) 切特·瑞默著 湖南科技出版社
- 兔耳朵百变发型书 摩天文传【新华书店正版】
- 品尝的科学:从地球生命的口,到饮食科学研究前沿 9787550299931 [美]约翰麦奎
- 【4本全套】男人来自火星女人来自金星
- {RT}物种战争之双刃剑-倪永明 中国社会出版社 9787508749174
- 香水 化妆品 9787563918324
- 如果人类消失:未来生活图景
- 好婚姻就是一次又一次爱上对方
- 正版刚中国奇观 世界奇观大全集9787040310832舒盈
- 彩妆天王KEVIN彩妆魔法书
- 体育用品篇-儿童创意涂鸦