视频目录 / 数学逻辑、集合与证明

热度排名 #586

相继式演算入门

Introduction to Sequent Calculus

把前提放在左边，把由它们推出的结论放在右边。跟着一条推理规则观察符号怎样挪动，最后看完整证明怎样由许多小步骤组成。

Breandan Considine · 2 串讨论 · 热度 4.311

在此播放

讨论出处

• Hacker News · 原讨论 ↗2021-05-03 · 帖子分数 121
• Hacker News · 原讨论 ↗2021-05-03 · 帖子分数 3