书

这本书提出了一个令人惊讶的数学主题的选择:折纸的形式化，鲜为人知的结构与直和指南针，五色和六色定理和拉姆齐理论的味道。这本书的亮点是详细介绍了高斯的纯代数证明，即可以用直尺和罗盘构造正七边形(有十七条边的正多边形)。

• 从施普林格．
• 下载乳胶源代码来自GitHub。

这本书的重点是机器人算法:里程计，反馈控制，定位，地图，图像处理，机器学习和群体机器人。这些算法在简化的上下文中进行了演示，从而可以执行详细的计算。该理论补充了100多个活动，其中大部分可以使用廉价的教育机器人成功实施。

• 从施普林格．
• 从GitHub．
• 从GitHub．

这本书是关于数学逻辑，在计算机科学的应用:表格，SAT解决和模型检查。

• Prolog算法的实现GitHub．
• LearnSAT是一个学习SAT解题的软件程序。

介绍使用同步原语的并发和分布式算法:信号量、监视器、通道、会合、空间和令牌传递。另一个主要课题是利用演绎方法、时间逻辑和模型检验进行验证。

• 示例程序的源代码在GitHub．

这本教科书介绍了使用Scratch的计算机科学概念，其中每个概念都是通过一系列任务介绍的。一个包含大约150个Scratch程序的存档可以免费下载。

英文网站．
希伯来语的网站．

软件工程师Ada通过相对较大的案例研究(如离散事件模拟)来教授这门语言。该演示强调了Ada 95中引入的面向对象和系统编程特性，以及Ada 2005中的特性。

• 源代码的案例研究和测验GitHub．

这是一本关于使用Spin模型检查器建模和验证并发和分布式系统的介绍性教科书。

以下内容可在GitHub：

• 为Spin 6更新的文档。
• Promela程序的源代码。
• 源代码的Promela程序为Erigone模型检查器．

《只是一个理论》是对现代科学本质概念的概述，它将使读者能够区分科学的主张与神创论和占星术等伪科学的主张。它会让好奇的读者很好地理解什么是真正的科学，也会让读者更好地理解为什么我们每天听到和读到的那么多说法远远不只是“一种理论”。