图书标签: 数理逻辑 石康 理工 学术 as 1
发表于2024-11-05
数理逻辑 pdf epub mobi txt 电子书 下载 2024
《数理逻辑》是国内介绍数理逻辑基本知识的最新读本。著者针对文科学生学习数理逻辑所遇到的困难,尽可能结合传统逻辑来介绍数理逻辑的基础知识,着重介绍逻辑演算部分内容;对其中的自然推理系统做了详细介绍,对公理推理系统仅做一般性介绍;力求以较为通俗的语言来阐述数理逻辑的基本原理和符号表达公式,并编配了练习题,具有较强的针对性和可读性。
毕老师,这错误太多了+_+。求出修订本啊
评分毕老师就这么走了,不知道之前说的第二版还会不会有……
评分毕老师,这错误太多了+_+。求出修订本啊
评分毕老师就这么走了,不知道之前说的第二版还会不会有……
评分毕老师就这么走了,不知道之前说的第二版还会不会有……
评分
评分
评分
评分
数理逻辑 pdf epub mobi txt 电子书 下载 2024