收藏本站
《计算机教育》 2010年02期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

“离散数学”中的OBDD案例教学研究

徐周波  古天龙  
【摘要】:"离散数学"是计算机专业的核心课程,是研究计算机科学的数学理论基础。有序二叉决策图(OBDD-Ordered Binary Decision Diagram)是描述布尔函数的一种新的有效的数据结构。文章提出在课本知识的讲授过程中,引入OBDD来解析离散数学在计算机专业其他学科中的具体应用,加深学生对所学知识点的理解,并激发学生的学习兴趣和创新能力,从而引导学生充分认识离散数学在计算机专业中的重要作用。这对于提高"离散数学"课程的教学水平和质量,以及学生对后续课程的学习和今后进一步的科学研究均具有现实意义。
【作者单位】桂林电子科技大学计算机与控制学院;
【分类号】:TP301.6-4

手机知网App
【相似文献】
中国期刊全文数据库 前10条
1 刘贞荣;图论在有限元节点标号优化问题上的应用[J];数值计算与计算机应用;1981年03期
2 张平;;《图的算法》[J];计算机工程与应用;1981年11期
3 韩瑞根;离散数学与《离散数学基础》[J];华中科技大学学报(自然科学版);1982年06期
4 张云鹤;;异或运算、布尔差分的逻辑空间图象特点及其应用[J];工程图学学报;1982年00期
5 ;华中工学院出版社部分新书简介(一)[J];华中科技大学学报(自然科学版);1983年S1期
6 ;华中工学院出版社部分计算机书目[J];华中科技大学学报(自然科学版);1985年S3期
7 ;短讯数则[J];计算机工程与设计;1985年01期
8 林秉方;;《离散数学及其在计算机中的应用》一书的特点[J];电信科学;1987年05期
9 王英;;离散数学[J];长沙电力学院学报(自然科学版);1987年04期
10 梁明明;;一种关系模式的第三范式分解算法[J];南京邮电大学学报(自然科学版);1987年02期
中国重要会议论文全文数据库 前10条
1 龚启荣;;数理逻辑符号系统F与知识表示[A];第一届、第二届东亚符号学国际会议论文集[C];1998年
2 冯平;马智刚;;离散数学在电气与信息工程中的应用[A];电工理论与新技术2004年学术研讨会论文集[C];2004年
3 王强;;四元图灵机与五元图灵机的等价性[A];’2004计算机应用技术交流会议论文集[C];2004年
4 赵玉鹏;;面向对象方法论研究[A];“工程科技论坛”暨首届中国自然辩证法研究会工程哲学委员会学术年会工程哲学与科学发展观论文集[C];2004年
5 林邦瑾;龚启荣;;充分条件与制约关系[A];贵州省科学技术优秀学术论文集(2004年度)[C];2004年
6 朱宁;符名培;李雨;;信息与计算科学专业的主成分模型分析[A];广西计算机学会2004年学术年会论文集[C];2004年
7 燕飞;唐涛;;形式化方法在基于通信的列车运行控制系统(CBTC)中的应用研究[A];可持续发展的中国交通——2005全国博士生学术论坛(交通运输工程学科)论文集(下册)[C];2005年
8 王文宾;赵庆祯;;用统计软件SPSS分析学生成绩影响因素[A];山东省计算机学会2005年信息技术与信息化研讨会论文集(一)[C];2005年
9 廖琳;龚启荣;;论罗素的逻辑主义[A];贵州制约逻辑学会2005年学术年会暨首届全国性逻辑系统专题研讨会论文集[C];2005年
10 张冠军;姜豪;;离散数学课程中的群论教学经验点滴[A];数学·物理·力学·高新技术研究进展——1998(7)卷——中国数学力学物理学高新技术交叉研究会第7届学术研讨会论文集[C];1998年
中国重要报纸全文数据库 前10条
1 杨芳;《数学小丛书》小身材 大味道[N];中国教育报;2002年
2 金彧;IT自考学习资源大搜索(一)[N];中国电脑教育报;2002年
3 葛海峡;我国首家离散数学与理论计算机科学研究中心在福大成立[N];福建科技报;2002年
4 赖文忠 林文泰;离散数学与理论计算机科研中心落户福大[N];福建日报;2002年
5 报记者 赖文忠 通讯员 林文泰;离散数学将成为数学发展新主流[N];福建日报;2002年
6 田野;计算机四级考试 通关之心得[N];中国电脑教育报;2003年
7 冯华;参加全国计算机等级考试全解答[N];南京日报;2004年
8 张宝敏;徐伟——见义勇为的优秀大学生[N];大众科技报;2006年
9 记者  李珂 通讯员  林文泰;我省一项目获国家自然科学奖二等奖[N];福建日报;2006年
10 本报记者  李珂 通讯员  林文泰;图论“范定理”[N];福建日报;2006年
中国博士学位论文全文数据库 前3条
1 闫海峰;结点站间铁路集装箱运输组织的理论与方法研究[D];西南交通大学;2004年
2 赵永强;图的限制染色及其相关问题的研究[D];河北师范大学;2005年
3 徐喜荣;图的标号问题的研究[D];大连理工大学;2006年
中国硕士学位论文全文数据库 前10条
1 朱云飞;域上的有限自动机[D];湘潭大学;2002年
2 杨萍;竞赛数学中的Ramsey型问题[D];华南师范大学;2003年
3 郑秀云;APOS理论指导下的高中数学概念教学[D];福建师范大学;2003年
4 孟巍;有向图的点外弧泛圈性与一类梁振动系统的稳定性[D];山西大学;2004年
5 赵玉鹏;面向对象方法论研究[D];广西大学;2004年
6 李绍良;复杂系统的研究方法[D];哈尔滨理工大学;2004年
7 闫浮;离散数学体系结构[D];北京化工大学;2001年
8 赵燕;组合数学中的Hopf方法[D];曲阜师范大学;2005年
9 毕建华;基于有限域上遍历矩阵的单向函数构造[D];吉林大学;2005年
10 韩爱庆;受凸包约束的模拟退火聚类[D];武汉科技大学;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026