计算机科学

计算机科学与软件研究 : 李未院士七十华诞纪念文集

《计算机科学与软件研究 : 李未院士七十华诞纪念文集》,作者:怀进鹏,徐宝文,许可主编 出版社:科学出版社 ISBN:9787030374738。本书收录国内外学者撰写的计算机科学与软件研究领域的论文49篇,主要反映这些学者近年来在计算机基础与理论、计算机系统与结构、软件技术、网络与大数据、计算机应用技术等方面所取得的研究成果,以及对相关领域的综述与总结。

集论与逻辑 : 面向计算机科学

《集论与逻辑 : 面向计算机科学》,作者:沈恩绍著 出版社:科学出版社 ISBN:7030110471。本书由基础集论与经典逻辑两部分内容组成。集论部分阐述了公理化思想及构造性技巧,对“关系演绎”及“归纳与速归”两个板块。逻辑部分介绍了完备性定理的证明、紧性定理及下降型的L-S定理这两个一阶逻辑的特征属性等。