- 博客(6)
- 收藏
- 关注
RSS订阅原创 CS70学习笔记（六）L5
这一讲回归到一些较为抽象的基础的概念，包括集合、函数、映射等在note 0 中已经对集合做过相关介绍，因此重点放在function上。
2023-08-18 01:06:36
49
1
原创 CS70学习笔记（四）L3
续上一章继续介绍证明方法，这一讲来到了数学归纳法中文教科书中给出如下的定义：一般地，证明一个与正整数 n 有关的数学命题，可按如下两个步骤进行：（1）（归纳奠基）证明当nn0n0∈N∗）时命题成立；（2）（归纳递推）假设当 n = k （ k∈N∗, k≥n0）时命题成立，证明当 n = k+1 时命题也成立。根据（1)(2)就可以断定命题对于从n0开始的所有正整数 n 都成立。上述证明方法叫作。类似的可以得到证明的结构。
2023-08-16 20:23:06
85
1
原创 CS70学习笔记（一）L1
这门课有一个部分就叫“homework party”还有常规的“lab”、“discussion”，教授非常鼓励同学相互学习，以及和ta多多交流，也引用了一句话。离散数学和电脑的诞生密不可分，有些结论是在电脑诞生之前产生，有些结论在之后，因此有必要将两者结合在一起。有说最初的程序就是对应证明的真假，电脑也可以理解为让数学“具象化”，让数学有实际作用。四个人要过河，过河需要手电筒（有且只有一个），四个人过河分别要1,2,5,10分钟。不必灰心，最重要的是要会了。离散与连续相对，如整数是离散的，实数是连续的。
2023-08-11 01:54:23
161
2
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人