数理逻辑引论 PDF下载

数理逻辑引论  PDF下载插图

数理逻辑引论-封面

数理逻辑引论  PDF下载插图1

数理逻辑引论-书签

数理逻辑引论  PDF下载插图2

数理逻辑引论-正文


作者: 李涛,张岩,刘峰主编

出版社: 哈尔滨工业大学出版社

出版时间: 2016/8/1

ISBN: 9787560361468

简介
本书共分5章,分别介绍了数理逻辑的研究对象、研究内容和研究方法;命题逻辑的基本概念、命题逻辑演算形式系统的组成、基本定理及其性质定理;一阶谓词逻辑演算形式系统的基本概念、组成、基本定理及其性质定理等。

常见问题
如何获取我想要的资源?
代找资源网不售卖任何资源,只代找资源,需要代找服务的小伙伴请添加客服QQ 1127720680

代找资源网不售卖任何资源,只提供代找服务

QQ客服

微信客服

微信客服
0

评论0

请先
显示验证码
没有账号?注册  忘记密码?