文章关于

文章

计算、算法与工程的学习笔记。

  • Jul 25, 2026计算问题、表示与正确性把“找一条最快路线”这类模糊需求变成可分析的计算问题:问题与实例、正确性关系 R ⊆ I×O、前置/后置条件、任务类型、编码与输入长度,以及正确性证明的基本结构。
  • Jul 24, 2026你好,世界第一篇文章。
© 2026
订阅