- 博客(7)
- 收藏
- 关注
RSS订阅原创 《计算机科学中的数学》学习笔记（07 递归数据类型）
递归定义是一种定义事物的方法，其中定义本身引用了正在被定义的事物。这是不涉及递归的明确定义部分，指明属于该数据类型的某个已知基本元素。这是定义中递归的部分，指明如何从已知基本元素或已构建的元素，构造新的元素。用递归定义方法时应当注意，方法的递归定义应当遵循数据类型的递归定义，否则的话会得到一些奇怪的函数。书中还列举了考拉兹猜想（Collatz conjecture）和阿克曼函数（Ackermann function）的例子，但是给出的阿克曼函数与我们通常看到的定义不太一样。
2023-08-19 22:35:47
68
原创 《计算机科学中的数学》学习笔记（06 状态机）
假设有一个男性集合M和一个女性集合W，两个集合中的人数相同，都为n。集合M中每个男性都各自有一张对集合W中所有女性的偏好列表（按照心仪程度从高到低排列），同样，集合W中的每个女性也都各自有一张对集合M中所有男性的偏好列表。现在需要达成一个目标，为集合M中所有男性和集合W中的所有女性创建稳定婚姻关系，最终使得没有任何不是配偶的两个人（一个男性和一个女性）更喜欢彼此而不是他们配偶。
2023-08-16 10:16:22
219
原创 《计算机科学中的数学》学习笔记（05 归纳法）
书本信息：作者: [美] Eric Lehman / [美] F. Thomson Leighton / [美] Albert R. Meyer出版社: 电子工业出版社出品方: 博文视点副标题: 信息与智能时代的必修课原作名: Mathematics for Computer Science。
2023-08-04 12:49:53
201
原创 《计算机科学中的数学》学习笔记（04 数学数据类型）
本书的翻译将domain翻译成“域”，也就是通常所说的“定义域”，定义域是函数输入的集合。也就是说，定义域包含了所有可以输入到函数中的值。
2023-07-27 07:51:17
213
原创 《计算机科学中的数学》学习笔记（03 逻辑公式）
书本信息：作者: [美] Eric Lehman / [美] F. Thomson Leighton / [美] Albert R. Meyer出版社: 电子工业出版社出品方: 博文视点副标题: 信息与智能时代的必修课原作名: Mathematics for Computer Science。
2023-07-15 23:10:40
193
原创 《计算机科学中的数学》学习笔记（02 良序原理）
书本信息：作者: [美] Eric Lehman / [美] F. Thomson Leighton / [美] Albert R. Meyer出版社: 电子工业出版社出品方: 博文视点副标题: 信息与智能时代的必修课原作名: Mathematics for Computer Science# 02 良序原理（Well Ordering Principle）
2023-07-14 10:01:15
720
原创 《计算机科学中的数学》学习笔记（01 什么是证明）
什么是证明命题（Propositions）谓词（断言，Predicates）公理化方法我们的公理逻辑推理证明的模式证明蕴涵（implication）证明“当且仅当”案例证明法反证法数学证明的优秀实践
2023-07-13 11:13:50
287
1
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人