cs70 学习小结 图论以及模运算 技术总结
阅读 137 评论 0 点赞 0

cs70 学习小结 图论以及模运算

在计算机科学中,我们不仅需要知道如何证明命题的正确性,还需要掌握如何建模现实世界中的复杂关系。图论(Graph Theory)和模运算(Modular Arithmetic)为我们提供了描述这些关系的语言与工具。本文将继续探索CS70中的核心内容,重点介绍图论的基本概念、特殊图结构以及模运算这一强大

#离散数学#技术分享
cs70 学习小结 命题真伪的确立与归纳法精要 文章
阅读 41 评论 0 点赞 0

cs70 学习小结 命题真伪的确立与归纳法精要

在计算机科学与数学领域, 严谨的逻辑推理 是构建一切理论的基石。CS70作为离散数学与概率论的入门课程,其核心便是教会我们如何 确立命题的真伪 。本文将记录初学者如何在这一过程中,掌握命题逻辑、经典证明方法以及强大的数学归纳法。 证明方法的基石 确立一个普遍性命题(例如“对所有x,如果p(x)成立,那么q(x)也成立”...

#技术分享#离散数学