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