离散数学博导刘叙华教授主讲

deathsq · 发表于 2007-11-1 10:45:00

共23集，每讲有一个半小时左右，至今发现的像上高数一样板书的离散，而不是用ppt，效果更好，边讲边解说。

http://61.178.59.209:6600/G:/new%20vod/本科/离散数学/1.wmv
－－－
http://61.178.59.209:6600/G:/new%20vod/本科/离散数学/23.wmv

crazyboy · 发表于 2007-11-2 01:19:57

可以下载，感谢您的参与1

deathsq · 发表于 2007-11-4 12:54:37

原帖由 deathsq 于 2007-11-1 10:45 发表
共23集，每讲有一个半小时左右，至今发现的像上高数一样板书的离散，而不是用ppt，效果更好，边讲边解说。

http://61.178.59.209:6600/G:/new%20vod/本科/离散数学/1.wmv
－－－
http://61.178.59.209:6 ...

第一章集合
   第一节集合的概念与表示
AH0998    第二节集合及运算
   第三节集合运算的性质
AH0999    第四节序偶
第二章关系和逆
   第一节关系的概念
AH1000    第二节集合关系
AH1001    第三节关系的性质
   第四节关系的闭包
AH1002    第四节关系的闭包
AH1003    第五节等价关系
   第六节半序关系
AH1004    第六节半序关系
   第七节映射
AH1005    第八节复合映射和逆映射
第三章数理逻辑
AH1006    第一节命题与联结词
   第二节公式与解式
AH1007    第二节公式与解式
   第三节范式
AH1008    第三节范式
   第四节公式恒真性的判定
AH1009    第五节公式的蕴涵
AH1010    第六节形式演义
第四章一级逻辑
   第一节谓词和量词
AH1011    第一节谓词和量词
   第二节公式与解式
AH1012    第二节公式与解式
   第三节等价与蕴涵
AH1013    第三节等价与蕴涵
   第四节一级逻辑的例
AH1014    第五节前束范式
第五章群论
AH1015    第一节代数结构概述
   第二节置换
AH1016    第二节置换
   第三节群
AH1017    第四节子群
AH1018 第六章格式与布尔代数
   第一节格的概念
   第二节有余格、分配格
AH1019    第三节布尔代数

离散数学

作者:刘叙华等编

failure131 · 发表于 2007-11-5 12:06:41

哪个学校的呀
你们看过的说下效果怎么样给我们一点建议
谢谢

子非鱼 · 发表于 2007-11-5 14:56:44

老师讲的好不好啊？博导讲课的水平不一定高啊

轩辕剑syz · 发表于 2007-11-5 18:07:13

楼主应该讲讲效果如何啊,这样不是浪费人家时间么?

zelos · 发表于 2007-12-23 20:42:58

老实说，其实这套视频其实下载不了。遗憾。

upsy · 发表于 2007-12-25 18:54:13

我正想要离散数学方面的教材,下载下来看看这个如何,以前下过上海交大的,不过后来删了,觉得不好,听了半天也没学到什么.

deathsq · 发表于 2007-12-26 22:12:30

原帖由 zelos 于 2007-12-23 20:42 发表
老实说，其实这套视频其实下载不了。遗憾。

我下载下来了,大是大了点

deathsq · 发表于 2008-1-31 16:43:52

我电信的，速度还可以，晚上挂机下

deathsq · 发表于 2008-3-2 08:18:03

是中央电大的,但不是先前那个版本,这个版本是鼎鼎大名的刘叙华教授,讲课很有深度

xincheng · 发表于 2008-3-24 13:50:18

是相当好吗？
下来看看吧

king252246 · 发表于 2008-4-6 10:49:01

下不了

deathsq · 发表于 2008-4-6 13:02:19

集合论讲得比较精彩有深度,其他的数理逻辑跟代书系统就比较基础,深度不够

king252246 · 发表于 2008-4-6 14:27:15

请问大家速度快不快

rm86740888 · 发表于 2008-4-7 08:47:24

学习中。。。。

mxtk · 发表于 2008-4-23 14:53:51

为什么我下载不了啊谁能提供一个可以下载的地址啊不胜感激

hbbluecat · 发表于 2008-6-5 19:53:49

这个决对是个好教程

hbbluecat · 发表于 2008-6-5 20:33:28

刘叙华，教授，博士生导师。1937年生，黑龙江哈尔滨人。1961年吉林大学数学系毕业，留校任教。1985～1986年在美国依利诺大学计算机系作访问学者。曾任吉林大学计算机科学研究所所长、教育部符号计算与知识工程开放实验室（吉林大学）主任、中国计算机学会理事、人工智能专业委员会副主任、全国高校人工智能研究会会长、中国系统工程学会模糊数学学会常务理事、国家自然科学基金委员会计算机学科组成员、国家教委科技委员会计算机学科组成员、国家高技术智能计算机研究与开发中心学术委员会委员、吉林省计算机学会理事长。主要从事定理机器证明和自动推理研究工作，发表论文50余篇。著有《离散数学》、《定理机器证明》、《模糊逻辑与推理》、《数理逻辑基础》和《基于归结方法的自动推理》等著作。获国家教委优秀科技成果奖1次；获国家教委科技进步二等奖2次；获吉林省优秀图书二等奖1次，获吉林省优秀教学成果二等奖1次、三等奖1次。

yuweits2006 · 发表于 2008-6-7 20:35:16

我用快车下最后总是变成叉，为什么？

xihongtao1979 · 发表于 2008-9-3 18:54:19

严重支持~~~~~

shanfeng · 发表于 2008-9-22 11:59:19

wildflycat · 发表于 2008-9-23 21:34:07

谢谢分享，正在下呢

xiao00 · 发表于 2008-10-24 12:38:27

支持。。。。

xiao00 · 发表于 2008-10-24 12:44:51

下步了

jiaolina · 发表于 2009-2-15 21:50:14

不太好下啊

		自动登录	找回密码
密码			建立账号

离散数学博导刘叙华教授主讲

评分

回复 #10 niexinnm 的帖子

haha

好贴

下步了

浏览过的版块

离散数学 博导 刘叙华教授主讲

评分

回复 #10 niexinnm 的帖子

haha

好贴

下步了

浏览过的版块

离散数学博导刘叙华教授主讲