集论与逻辑 : 面向计算机科学.pdf 本书由基础集论与经典逻辑两部分内容组成。集论部分阐述了公理化思想及构造性技巧,对“关系演绎”及“归纳与速归”两个板块。逻辑部分介绍了完备性定理的证明、紧性定理及下降型的L-S定理这两个一阶逻辑的特征属性等。 叁号仓库 2022年07月15日 0 点赞 0 评论 2697 浏览