计算机科学中的离散数学

Hacker News 上怎么说

• xyzzyz · 2015 年

  ……具备阅读和编写数学证明的一些经验。读者可能在算法、自动机或复杂度理论等计算机科学课程，或者某种面向计算机科学学生的“离散数学”课程中积累过这类经验。他们也可能在抽象代数或线性代数等本科数学课程中获得过这种经验。这些数学课程的内容可能会与其中一些……

  …has some experience in reading and writing mathematical proofs. Readers may have gained such experience in computer science courses such as algorithms, automata or complexity theory, or some type of “discrete mathematics for computer science students” course. They also may have gained such experience in undergraduate mathematics courses, such as abstract or linear algebra. The material in these mathematics courses may overlap with some of…

• ufopilot · 2022 年

  ……这本书，它讲得也极其有耐心。我个人之前很纠结为什么要用 little-o 记号来定义全导数。离散数学方面还有大把教科书，比如 Lewis 和 Zax 写的《Essential Discrete Mathematics for Computer Science》，或者 Oscar Levin 写的《Discrete Mathematics: An Open Introduction》。有些入门书还会尝试塞进一点点实分析和点集拓扑。讨论的主题包括使用……的方法

  …book, it's also very patient. I personally struggled with the motivation for defining total derivative through little-o notation. There are a ton more textbooks on discrete math like, say, " Essential Discrete Mathematics for Computer Science" by Lewis & Zax or "Discrete Mathematics: An Open Introduction" by Oscar Levin. Some intro books also attempt to include a tiny bit of real analysis and general topology. Topics include ways of using…

正在加载完整评论……