algorithm - "get it"是如何证明的?

标签 algorithm computer-science proof

<分区>

当我们开始涉足算法设计和更多离散的计算机科学主题时,我们最终不得不一直证明一些事情。每次我看到有人问如何真正擅长证明,常见的(也可能是懒惰的)答案是“练习”。

如果您掌握了基础知识,练习就没问题,但是您如何进入数学证明的思维定势呢?什么时候感应点击?哪些资源最适合教授这些主题?在沉迷于校对之前应该研究哪些基础主题?

最佳答案

他们不是懒惰,实践是唯一的方法。参加你必须做校对的类(class),并在网上查找类笔记和旧试卷,以及来自其他大学的校对答案。

关于algorithm - "get it"是如何证明的?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/1336703/

相关文章:

algorithm - APR计算公式

computer-science - 计算机科学和软件工程有什么区别?

coq - 在 Coq 中证明一个假设是另一个假设的否定

haskell - 使用类型系统检查输出与输入列表的长度

algorithm - 根据元素的特定属性的计数评估指示一组元素状态的分数

algorithm - 合并相同大小的堆

python - 递归函数死于内存错误

eval - eval() 的威力有多大?

computer-science - 当你有一个看起来像组织结构图的数据结构时,它叫什么?

haskell - 如何读取这个GHC核心 "proof"?