首页
首页
沸点
课程
直播
活动
竞赛
商城
APP
插件
搜索历史
清空
创作者中心
写文章
发沸点
写笔记
写代码
草稿箱
会员
登录
6.042J
Simuels
创建于2021-07-11
订阅专栏
记录6.042J课程学习.
等 1 人订阅
共4篇文章
创建于2021-07-11
订阅专栏
默认顺序
默认顺序
最早发布
最新发布
Simuels
1年前
算法
Lecture 2: Induction(反证法 数学归纳法)
反证法 间接证明(indirect proof): 反证法:proof by contradiction.需要假定需要证明的命题为假,然后推出一个矛盾,从而证明不可能为假 等等 反证法的例子:证明$\
527
点赞
评论
Simuels
1年前
算法
Lecture 1: Introduction and Proofs
定义:mathematical proof(数学证明)is a verfication(验证) of proposition(定理) by a chian of logical deductions(
65
点赞
评论
Simuels
1年前
算法
后端
ch01-什么是证明
这部分学过了而且比较简单,我就直接看中文翻译了. https://finit-xu.gitbook.io/msc20180606/i-proofs/1-what-is-a-proof 1.1 命题(p
149
点赞
评论
Simuels
1年前
算法
开坑:6.042J:计算机科学的数学
这是学习MIT 6.042J (计算机科学的数学) 课程的开坑BLOG,学这个主要的目的是为之后学算法导论做准备
536
点赞
评论
温馨提示
当前操作失败,如有疑问,可点击申诉