APP下载
反馈
北京大学公开课:离散数学概论
本课程共100集 翻译完 欢迎学习

讲师:陈斌

课程介绍:通过数理逻辑,你可以把啰嗦的推理过程写成简洁的公式,这可是学术论文的必备要素;在集合论里,你可以知道自然数是怎么来的,数学归纳法为什么会那么神奇?你在《数据结构和算法》里学到的许多东西,源头尽在图论里边;最后我们来认识一下计算机的本质,一起探讨机器能力的极限,以及人类知识的边界。

立即播放
用手机看
课程免费缓存,随时观看~
扫码下载网易公开课APP
收藏
课程列表
【第1集】北京大学公开课:课程介绍
【第2集】北京大学公开课:形式化及其极限
【第3集】北京大学公开课:悖论,版画,卡农
【第4集】北京大学公开课:数理逻辑介绍
【第5集】北京大学公开课:什么是命题
【第7集】北京大学公开课:命题符号化
【第8集】北京大学公开课:逻辑连结词(上)
【第10集】北京大学公开课:命题公式
【第11集】北京大学公开课:真值函数
【第12集】北京大学公开课:命题形式化
【第13集】北京大学公开课:重言式
【第14集】北京大学公开课:逻辑等价式和逻辑蕴涵式
【第15集】北京大学公开课:代入原理和替换原理
【第16集】北京大学公开课:证明逻辑等价式和逻辑蕴涵式
【第17集】北京大学公开课:范式及基本术语
【第18集】北京大学公开课:求范式的一般步骤
【第19集】北京大学公开课:主范式
【第20集】北京大学公开课:联结词级完备性
查看全部课程
相关推荐
01:35
以后我军跃空机!可进行无视实体观物...
1222播放
05:56
男子用铁链锁妻15年,整天粘着妻子...
543播放
03:13
毛笔书法的3种字体,赵孟頫范字“立...
1074播放
03:24
会玩儿!居家抗疫带娃“宅”出新天际
1468播放
01:30
有意思的数学题,有三个数字10,如...
745播放
01:02
稻城亚丁
985播放
02:09
蒸格旧了不要扔,把它挂在阳台,巧妙...
1262播放
04:08
黑芝麻鸡蛋这样吃,让你一个月头发乌...
1477播放
02:50
桃花运分三种,烂桃花可能会摧毁你,...
1480播放
02:00
秋天多吃山药,补充营养助消化
2504播放
02:38
白噪音美食小时候最爱吃的番茄肉丝鸡...
692播放
10:25
四川大学公开课:什么是股东权利
4.2万播放
10:10
浙江大学:国共二次合作与抗日民族统...
2.6万播放
06:53
水分子中的氢键
3.4万播放