Logic for Programmers 额外内容

Hillel Wayne — Computer Things 新闻
logic programming education book supplements formal-methods

摘要

Hillel Wayne 为其著作《Logic for Programmers》发布补充章节，涵盖并发进程、一阶逻辑、Liskov 历史规则及排序等主题。

<p>之前我说过本周没有正式的通讯稿，因为我正在布达佩斯为会议做准备。不过，我还是给你们准备了点东西。</p> <p>我原本想在《Logic for Programmers》中涵盖很多有趣的主题，但本书已经足够厚重，而且其中许多内容过于枝节或技术性，无法很好地融入。因此，我一直在撰写一些补充材料并上传到<a target="_blank" rel="noopener noreferrer nofollow" href="https://github.com/logicforprogrammers/book-assets/tree/master/supplements">此处</a>。目前我已经完成了四篇：</p> <ol><li><p>如何计算多个并发进程的排序数量</p></li><li><p>一阶逻辑如何量化“函数集合”、“函数集合”长什么样，以及函数如何用集合来定义（附带有柯里化和类型理论的一点内容）</p></li><li><p>Barbara Liskov 在子类型中的“历史规则”</p></li><li><p>集合上的全序和偏序。</p></li></ol> <p>现在我要提醒一下，这些内容都是即兴写就的，没有经过本书那样细致的编辑，因此可能比较粗糙，甚至可能存在错误。不过，这大约有两三千字的数学内容，希望能弥补本周没有正式通讯的遗憾。下周见！</p>
查看原文
查看缓存全文

缓存时间: 2026/06/02 15:40

# Logic for Programmers 额外内容 来源：https://buttondown.com/hillelwayne/archive/logic-for-programmers-extra-credits 所以我说这周没有正式的通讯，因为我正在布达佩斯准备一个会议。但我还是给你们准备了一点东西。 有很多有趣的话题我想在 *Logic for Programmers* 中涵盖，但这本书本身已经足够密集，而且许多内容太过旁支或技术性，不适合放进去。所以我一直在写一些补充材料，并上传到这里（https://github.com/logicforprogrammers/book-assets/tree/master/supplements）。目前已经有了四个： 1. 我们如何计算多个并发进程的排序数量 2. 一阶逻辑如何量化“函数集合”，函数集合是什么样的，以及如何用集合来定义函数（外加一点柯里化和类型论） 3. 子类型中的 Barbara Liskov“历史规则” 4. 集合上的全序和偏序。 现在我要说明一下，这些内容都是即兴写的，没有经过书本身那种精心编辑，所以可能比较粗糙，也可能有错误。不过，这大概有两三千字的数学内容，希望能弥补这次没有正式通讯的缺憾。下周见！ *如果你是在网页上阅读，可以在这里订阅（https://buttondown.com/hillelwayne）。每周更新一次。我的主站在这里（https://www.hillelwayne.com/）。* *我的新书，*Logic for Programmers*，现已早期访问！在这里获取（https://leanpub.com/logic/）。*

相似文章

面向程序员的逻辑学 v0.15，现场编程

Hillel Wayne — Computer Things

Hillel Wayne 宣布其著作《Logic for Programmers》的 0.15 候选版本，并重点介绍了一场以 Strudel 和 CLAVIER-36 为特色的现场编程聚会，用于音乐编程。

《Logic for Programmers》食物募捐活动只剩一周

Hillel Wayne — Computer Things

Hillel Wayne为其书籍《Logic for Programmers》提供折扣，以此推广为Greater Chicago Food Depository举办的募捐活动，并分享了关于结构化并发和goto语句历史的技术笔记。