静流书站

数理逻辑引论与归结原理 (英文版) 王国俊,周红军科学出版社 pdf epub mobi txt 电子书下载 2024

图书介绍

☆☆☆☆☆
简体网页||繁体网页

王国俊，周红军著

下载链接在页面底部

点击这里下载

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 复制链接

想要找书就要到静流书站

windowsfront.com

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

发表于2024-12-22

类似图书点击查看全场最低价

店铺：福州文豪图书专营店

出版社：科学出版社

ISBN：9787030228994

商品编码：27411288930

包装：圆脊精装

出版时间：2017-12-01

数理逻辑引论与归结原理 (英文版) 王国俊,周红军科学出版社 epub 下载 mobi 下载 pdf 下载 txt 电子书下载 2024

数理逻辑引论与归结原理 (英文版) 王国俊,周红军科学出版社 pdf epub mobi txt 电子书下载

具体描述

图书基本信息
图书名称	数理逻辑引论与归结原理 (英文版)	作者	王国俊,周红军
定价	128.00元	出版社	科学出版社
ISBN	9787030228994	出版日期	2017-12-01
字数		页码
版次	31	装帧	圆脊精装
开本	128开	商品重量	0.681Kg

内容简介

本书在*版的基础上进行修订再版，全书共9章，内容可分为Boole代数理论，命题演算与谓词演算理论，归结原理理论，多值逻辑的*理论等4部分。同时，在*版的基础上对“计量逻辑学”，关于一阶系统K完备性的证明等诸多内容做了补充或改写。本书可供计算机专业、应用数学专业、人工智能专业的研究生与高年级本科生及教师阅读。