- 博客(6)
- 收藏
- 关注
原创 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关注的人