简介
数理逻辑是采用数学方法来研究推理的一门科学,本书通俗地介绍数理逻辑的基本内容、主要结构、最新的发展,以及研究工作的前沿课题。
目录
一、逻辑演算
二、集合论
三、递归论
四、证明论
五、模型论
数理逻辑概貌
光盘服务联系方式: 020-38250260 客服QQ:4006604884
云图客服:
用户发送的提问,这种方式就需要有位在线客服来回答用户的问题,这种 就属于对话式的,问题是这种提问是否需要用户登录才能提问
Video Player
×
Audio Player
×
pdf Player
×