《电大课程吉林大学《离散数学》》[WMV]

用户共享的电驴资源列表
[电大课程吉林大学《离散数学》].1.wmv	222.79 MB
[电大课程吉林大学《离散数学》].2.wmv	222.04 MB
[电大课程吉林大学《离散数学》].3.wmv	214.91 MB
[电大课程吉林大学《离散数学》].4.wmv	214.32 MB
[电大课程吉林大学《离散数学》].5.wmv	232.32 MB
[电大课程吉林大学《离散数学》].6.wmv	227.62 MB
[电大课程吉林大学《离散数学》].7.wmv	231.61 MB
[电大课程吉林大学《离散数学》].8.wmv	214.53 MB
[电大课程吉林大学《离散数学》].9.wmv	221.20 MB
[电大课程吉林大学《离散数学》].10.wmv	215.49 MB
[电大课程吉林大学《离散数学》].11.wmv	223.15 MB
[电大课程吉林大学《离散数学》].12.wmv	230.91 MB
[电大课程吉林大学《离散数学》].13.wmv	216.22 MB
[电大课程吉林大学《离散数学》].14.wmv	214.74 MB
[电大课程吉林大学《离散数学》].15.wmv	215.71 MB
[电大课程吉林大学《离散数学》].16.wmv	220.73 MB
[电大课程吉林大学《离散数学》].17.wmv	214.39 MB
[电大课程吉林大学《离散数学》].18.wmv	225.44 MB
[电大课程吉林大学《离散数学》].19.wmv	221.62 MB
[电大课程吉林大学《离散数学》].20.wmv	220.83 MB
[电大课程吉林大学《离散数学》].21.wmv	220.80 MB
[电大课程吉林大学《离散数学》].22.wmv	110.81 MB
[电大课程吉林大学《离散数学》].23.wmv	131.57 MB
全选	4.77 GB

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