计算机科学
计算机科学理论 : 程序设计途径.pdf
本书从程序设计的角度讨论了计算机科学理论，描述了计算机科学理论的主要问题，讨论元计算机科学和计算机科学理论。
计算机科学技术名词（第三版）.pdf
《计算机科学技术名词（第三版）》是由第三届计算机科学技术名词审定委员会编撰完成,由全国科学技术名词审定委员会审定公布的计算机科学技术名词(第三版)。 内容包括通论、理论计算机科学、计算机体系结构、计算机硬件、系统软件、软件工程、数据库、人工智能、网络与数据通信、信息安全、计算
计算机科学与软件研究 : 李未院士七十华诞纪念文集.pdf
本书收录国内外学者撰写的计算机科学与软件研究领域的论文49篇，主要反映这些学者近年来在计算机基础与理论、计算机系统与结构、软件技术、网络与大数据、计算机应用技术等方面所取得的研究成果，以及对相关领域的综述与总结。
电子数字计算机原理. 第三册.pdf
《电子数字计算机原理》第三册介绍了计算机的主存贮器（或内存贮器）以及只读存贮器的组成与工作原理．全书共分六章．第一章讨论了磁芯的一些物理性质；第二章介绍了六种存取方式的磁芯存贮器和各种存贮器的主要用途；第三章分析了磁芯存贮器中经常使用的一些电流译码电路和它们的优缺点；第四章介绍了
面向计算机科学的数理逻辑 | 2版.pdf
本书叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容，包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑。
离散数学简明教程 : 计算机科学的基础理论.pdf
离散数学是计算机科学的基础理论。针对离散数学内容涉及面广、抽象理论多的特点，本书在叙述上深入浅出，简明扼宴0同时配备丰富的例题来说明理论、解释概念，追求质朴与实效，便于自学。 本书内容由四部分组成：一、集合：二元关系和函数；二、代数结构；三、图论；四、数理逻辑。它
面向计算机科学的数理逻辑（第二版） 陆钟万 著.pdf
本书叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容，包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑。本书在选材时考虑了逻辑系统的特征，并且适应计算机科学的要求。本书研究各种逻辑的背景、语言、语义、形式推演，以及可靠性和完备性等问题。本书大部分章节附有习题。
数理逻辑引论：计算机科学与系统的天然基础 刘志明,裘宗燕 编著.pdf
数理逻辑系统是形式语言、形式语义和证明的三位一体。本书讨论这类系统的核心思想、重要概念、组成部分、构建方法，以及它们与数学和计算机科学的紧密关系，解释数理逻辑系统中符号化语言、解释、模型等概念，研究递归、迭代、分解组合、模块化、等价替换等处理结构复杂性的方法和技术。正是这些概念、
- «
- »