中国大学视频公开课
北京大学公开课：离散数学概论
北京大学公开课：离散数学概论
本课程共100集 翻译完 欢迎学习
讲师：陈斌
课程介绍：通过数理逻辑，你可以把啰嗦的推理过程写成简洁的公式，这可是学术论文的必备要素；在集合论里，你可以知道自然数是怎么来的，数学归纳法为什么会那么神奇？你在《数据结构和算法》里学到的许多东西，源头尽在图论里边；最后我们来认识一下计算机的本质，一起探讨机器能力的极限，以及人类知识的边界。
立即播放
用手机看
课程免费缓存，随时观看～
扫码下载网易公开课APP
收藏
课程列表
【第1集】北京大学公开课：课程介绍 译
【第2集】北京大学公开课：形式化及其极限 译
【第3集】北京大学公开课：悖论，版画，卡农 译
【第4集】北京大学公开课：数理逻辑介绍 译
【第5集】北京大学公开课：什么是命题 译
【第6集】北京大学公开课：排中律 译
【第7集】北京大学公开课：命题符号化 译
【第8集】北京大学公开课：逻辑连结词（上） 译
【第10集】北京大学公开课：命题公式 译
【第11集】北京大学公开课：真值函数 译
【第12集】北京大学公开课：命题形式化 译
【第13集】北京大学公开课：重言式 译
【第14集】北京大学公开课：逻辑等价式和逻辑蕴涵式 译
【第15集】北京大学公开课:代入原理和替换原理 译
【第16集】北京大学公开课：证明逻辑等价式和逻辑蕴涵式 译
【第17集】北京大学公开课：范式及基本术语 译
【第18集】北京大学公开课：求范式的一般步骤 译
【第19集】北京大学公开课：主范式 译
【第20集】北京大学公开课：联结词级完备性 译
查看全部课程
相关推荐
