高等学校计算机基础教育改革与实践系列 大学计算机基础教程 面向计算思维和问题求解
陈立潮，曹建芳主编；宋晓霞，相洁，朱红康副主编2018 年出版273 页ISBN：9787040492460
本教程根据《大学计算机基础课程教学基本要求》，以计算思维为理念、信息素养培养为核心、问题求解为目标，介绍了大学计算机基础的知识体系和教学内容，主要包括：计算机与计算思维、计算机原理与系统、算法设计、...
李浙生著2017 年出版376 页ISBN：9787516182772
希腊哲学家亚里士多德创立了形式逻辑，数理逻辑是形式逻辑的现代形式。形式逻辑成为科学知识体系的逻辑基础，是建构科学殿堂的工具。亚里士多德更强调矛盾律的重要性，矛盾律是一切证明都需要的最根本的原理，矛盾...
（美）海因茨·R.帕格尔斯（Heinz R.Pagels）著2017 年出版331 页ISBN：9787540779252
若科学与哲学是互相遥望的两岸，《理性之梦》恰好能化身为桥，连接两大知识体系。本书作者帕格尔斯是英年早逝的杰出科学家，在四十九岁那年夏天遭遇山难，留下的这本《理性之梦》，字里行间充满科学的思维、哲学的辩...
（美）霍普克罗夫特，（美）坎南著2013 年出版386 页ISBN：9787313096098
本书是上海交通大学致远教材系列之一，由国际著名计算机科学家John Hopcroft编写。本书共分为11章，包括绪论、多维空间、 随机图、随机行走和马克诺夫链等。从第2章开始，每章后面均附有适量的练习题。本书可作...
全国哲学社会科学“九五”规划国家重点课题“面向21世纪中国基础教育课程教材改革研究”研究成果 信息技术 高中版 第2册
董玉琦，解月光主编2001 年出版132 页ISBN：7538343040
闫林著2007 年出版259 页ISBN：9787030198280
粒计算是近年来计算机科学许多领域关注和研究的热点，对它的研究思路和处理的方法就是把大的问题分解为小的问题，把整体的概念分解为细小的概念，把复杂的处理分解为简单的处理，总之就是把整体分解为粒。然后再通...
