面向计算机科学的数理逻辑相关电子书下载

石辛民，郝整清编著2006 年出版197 页ISBN：781082645X

本书分两部分，第一部分紧扣数值计算介绍了MATLAB语言的基础知识：数值矩阵及其运算，字符串和符号矩阵，基本绘图和编程方法；第二部分介绍数值计算的基本内容：计算误差，代数方程及方程组的数值求解，插值法和数据拟......

（美）布鲁克斯著；郭耀评注2012 年出版420 页ISBN：9787121178276

本书从原理的角度阐述了面向对象程序设计的6大原则；讲解和剖析了23种常见的设计模式，并进行了扩展，通俗易懂、趣味性极强而又紧扣设计模式的核心；对各种相关联的设计模式进行了深入分析和比较，旨在阐明各种设计...

贵阳师范学院数学系，万县师范专科学校数学系编1983 年出版289 页ISBN：

中国建筑科学研究院科技处编1984 年出版23 页ISBN：

马希文著2019 年出版679 页ISBN：9787100174138

本书收集了马希文20世纪70年代以来在数学、计算机科学、人工智能、语言学（包括计算语言学）方面的重要论述20余篇，专著1部，以及70年代以前的重要数学论文4篇。其深邃独到，极富创新的学术思想，对今天信息技术的发展...

山东省教育厅普教处编辑1984 年出版157 页ISBN：3275·1

文虹1957 年出版4 页ISBN：T70128·8

（美）布鲁克斯著2013 年出版282 页ISBN：9787111416265

这是一部在研究和教学中将设计领域探索心得和实践经验切磋琢磨、去伪存真、取其精华的反思之作。本书几乎涵盖了有关设计的所有议题：从设计哲学到设计实践，从设计过程到设计灵感，既强调了设计思想的重要性，又对...

崔林，吴鹤龄编著2014 年出版393 页ISBN：9787040339543

本书是《图灵奖和ACM图灵奖——计算机发展史的缩影》一书的姊妹篇。IEEE计算机先驱奖已经颁发了30届（截至2013年），共有125位计算机科学技术工作者获奖，其中有25位也是图灵奖的获得者。IEEE计算机先驱奖兼顾的范...

（美）布鲁克斯著2011 年出版268 页ISBN：9787111325574

本书是一部在研究和教学中将设计领域探索心得和实践经验切磋琢磨、去伪存真、取其精华的反思之作。本书几乎涵盖了有关设计的所有议题：从设计哲学到设计实践，从设计过程到设计灵感，既强调了设计思想的重要性，又...