CS Wiki

标签: 部分正确性

此标签下有1条笔记。

  • 2026年4月20日

    5.5 程序正确性

    • 离散数学
    • 程序正确性
    • Hoare三元组
    • 循环不变量
    • 部分正确性
    • 程序验证
    • 学习/离散数学/归纳与递归

Created with Quartz v4.5.2 © 2026

  • GitHub
  • Discord Community