Logic for Programmers extra credits16 hours agologicmathematicsprogramminghttps://buttondown.com/hillelwayne/archive/logic-for-programmers-extra-credits/Copy Link本周因在布达佩斯参加会议，没有正式的新闻通讯。补充材料撰写了书中未包含的额外主题《程序员的逻辑》。涵盖主题：并发进程的排序计算、一阶逻辑与函数、子类型中的Liskov历史规则，以及全序/偏序关系。补充材料较为粗糙，可能包含错误，但提供了2000-3000字的数学内容。