数理逻辑引论与归结原理 (英文版) 王国俊,周红军 科学出版社 下载 mobi epub pdf 电子书 2024
☆☆☆☆☆
简体网页||
繁体网页
王国俊,周红军 著
下载链接在页面底部
点击这里下载
立刻按 ctrl+D收藏本页
你会得到大惊喜!!
发表于2024-12-23
类似图书 点击查看全场最低价
图书介绍
店铺: 福州文豪图书专营店
出版社: 科学出版社
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 电子书 格式
数理逻辑引论与归结原理 (英文版) 王国俊,周红军 科学出版社 mobi 下载 pdf 下载 pub 下载 txt 电子书 下载 2024
数理逻辑引论与归结原理 (英文版) 王国俊,周红军 科学出版社 下载 mobi pdf epub txt 电子书 格式 2024
数理逻辑引论与归结原理 (英文版) 王国俊,周红军 科学出版社 下载 mobi epub pdf 电子书
用户评价
评分
☆☆☆☆☆
评分
☆☆☆☆☆
评分
☆☆☆☆☆
评分
☆☆☆☆☆
评分
☆☆☆☆☆
评分
☆☆☆☆☆
评分
☆☆☆☆☆
评分
☆☆☆☆☆
评分
☆☆☆☆☆
类似图书 点击查看全场最低价
数理逻辑引论与归结原理 (英文版) 王国俊,周红军 科学出版社 mobi epub pdf txt 电子书 格式下载 2024