视频目录 / 数学导览与专题

热度排名 #2024

迪杰斯特拉 EWD 361｜编程是一门数学性质的学科

EWD361: Programming as a discipline of mathematical nature

听他为何把编程当成建立可证明的关系。可从循环入手，区分运行若干测试成功与有理由保证每次都满足不变量。

Amisi Kiarie · 1 串讨论 · 热度 1.418

在此播放

讨论出处

• Hacker News · 原讨论 ↗2026-06-20 · 帖子分数 1