⚙️ 工程

《程序员逻辑》附加学分材料Logic for Programmers extra credits

buttondown.com/hillelwayne·2026-06-02 节选正文

作者为《程序员逻辑》一书发布了补充阅读材料。这些内容由于过于边缘或技术性过强而未能收录在原书中。材料涵盖了多种与编程相关的逻辑学进阶话题，并已开源上传至 GitHub 供读者免费查阅。此举在保持原书紧凑性的同时，为深度学习者提供了更丰富的扩展资源。读者可以通过这些补充章节，进一步探索形式化验证和逻辑证明在软件工程中的实际应用。

阅读原文

Hillel Wayne

So I said there wasn’t a proper newsletter this week, since I’m in Budapest prepping for a conference. But I still got a thing for y’all.

There’s a lot of interesting topics I wanted to cover for Logic for Programmers, but the book is dense enough as it is and many of these were too tangential or technical to fit in well. So I’ve been writing some supplements and uploading them here. I’ve got four so far:

How we compute the number of orderings of multiple concurrent processes

How first-order logic can quantify over “a set of functions”, what a “set of functions” looks like, and how functions can be defined in terms of sets (plus a bit on currying and type theory)

Barbara Liskov’s “history rule” in subtyping

Total and partial orders on sets.

Now I’m going to caveat that these were written off the cuff and haven’t gone through the obsessive editing of the book itself, so they may be rough and there might be errors in them. Still, it’s like 2-3000 words of math content, so hopefully covers not having a proper newsletter this time. Seeya next week!

If you're reading this on the web, you can subscribe here. Updates are once a week. My main website is here.

My new book, Logic for Programmers, is now in early access! Get it here.

需要完整排版与评论请前往来源站点阅读。