程序员逻辑学：额外学分

本周因在布达佩斯筹备会议，没有正式的通讯稿，但作者带来了《程序员逻辑学》的四篇补充材料。内容包括：多并发进程的排序计数、一阶逻辑对"函数集合"的量词化及其与集合和类型论的关系、Barbara Liskov的子类型"历史规则"，以及集合上的全序与偏序。这些内容虽未经精编，但提供了约两三千字的数学干货，弥补了本周无通讯的遗憾。