图文详情
- ISBN:9787310050628
- 装帧:一般胶版纸
- 册数:暂无
- 重量:暂无
- 开本:16开
- 页数:316
- 出版时间:2016-04-01
- 条形码:9787310050628 ; 978-7-310-05062-8
本书特色
本书共六章,其中**章主要介绍集合、集合运算的基本思想和方法,第二至四章介绍命题逻辑的基本思想和方法,第五章和第六章介绍狭谓词逻辑的基本思想和方法。本书各章联系紧密,选材适当,体系完整,论述准确,并建立在作者新的研究成果基础之上,对数理逻辑的基本思想和方法做了准确而严谨的论述。
内容简介
本书共六章,其中**章主要介绍集合、集合运算的基本思想和方法,第二至四章介绍命题逻辑的基本思想和方法,第五章和第六章介绍狭谓词逻辑的基本思想和方法。本书各章联系紧密,选材适当,体系完整,论述准确,并建立在作者新的研究成果基础之上,对数理逻辑的基本思想和方法做了准确而严谨的论述。
作者简介
李娜,女,1958年3月生于河南开封市。1982年毕业于河南大学数学系,获理学学士学位。1989年毕业于中国科学院软件研究所,获理学硕士学位。现任南开大学哲学系教授、博士生导师。
本类五星书
本类畅销
-
物理学之美-插图珍藏版
¥23.5¥69.0 -
昆虫的生存之道
¥14.4¥38.0 -
新太阳系
¥9.9¥35.0 -
宇宙与人
¥13.0¥35.0 -
为了人人晓得相对论
¥3.9¥13.5 -
假设的世界:一切不能想当然
¥17.1¥45.0 -
东京文艺地图(九品)
¥12.2¥38.0 -
世纪幽灵-走近量子纠缠
¥10.4¥28.0 -
了不起的昆虫(八品)
¥14.9¥45.0 -
怎样解题
¥17.4¥29.0 -
趣味物理学问答
¥17.5¥46.0 -
自然写作读本-B卷
¥25.8¥68.0 -
130种美鸟彩图馆
¥15.1¥39.8 -
科学与现代性:整体科学理论
¥15.8¥33.0 -
偏微分方程.第二版
¥159.2¥199.0 -
普林斯顿微积分读本-(修订版)
¥57.4¥99.0 -
科研方略18讲
¥7.5¥25.0 -
技术思考-技术哲学的基础
¥6.7¥21.0 -
现代科技中的天文学
¥10.3¥13.0 -
化学晚会
¥6.4¥20.0