共查询到20条相似文献,搜索用时 15 毫秒
1.
2.
3.
康鹏 《数字社区&智能家居》2011,(34):8988-8989
命题逻辑的推理证明是《离散数学》课程的重点内容之一.该文对在命题逻辑推理证明题中常用的证明方法和技巧进行了分析和探讨,以加深学生理解,以便灵活使用. 相似文献
4.
“离散数学”实践教学研究 总被引:2,自引:1,他引:1
“离散数学”作为计算机专业基础课,它的实践环节往往被忽略。本文对于实践环节的设计、分析、问题及其解决方案进行了研究和实践,获得了感性和理性的理解和认识。 相似文献
5.
李轶 《计算机光盘软件与应用》2011,(1)
离散数学是现代科学的一个重要分支,是计算机科学中基础理论的核心课程,而谓词逻辑是其中一个十分重要的内容之一.如何将计算机自动推理的另一个经典方法--吴方法引入到离散数学的教学中是本文着重探讨的问题. 相似文献
6.
李轶 《计算机光盘软件与应用》2010,(6):193-194
离散数学是现代科学的一个重要分支,是计算机科学中基础理论的核心课程,而谓词逻辑是其中一个十分重要的内容之一。如何将计算机自动推理的另一个经典方法——吴方法引入到离散数学的教学中是本文着重探讨的问题。 相似文献
7.
本文阐述了离散数学课程中的一个非常重要的概念即等价关系以及各种具体的等价关系和等价关系在计算机领域中的应用,并运用认识论中的同一性原理和联系与发展的观点,分析了各种等价关系间的联系,说明了对等价关系的概念以及各种具体的等价关系及其应用的教学对促进学生抽象思维能力和逻辑推理能力提高的重要性。 相似文献
8.
9.
"离散数学"是计算机专业的核心课程,是研究计算机科学的数学理论基础。有序二叉决策图(OBDD-Ordered Binary Decision Diagram)是描述布尔函数的一种新的有效的数据结构。文章提出在课本知识的讲授过程中,引入OBDD来解析离散数学在计算机专业其他学科中的具体应用,加深学生对所学知识点的理解,并激发学生的学习兴趣和创新能力,从而引导学生充分认识离散数学在计算机专业中的重要作用。这对于提高"离散数学"课程的教学水平和质量,以及学生对后续课程的学习和今后进一步的科学研究均具有现实意义。 相似文献
10.
"离散数学"是计算机及相关专业的一门重要课程。该课程概念多、理论性强、高度抽象。在教学过程中,教师要强调课程的实用价值和重要性,引起学生足够的重视,在教学中注重反例的作用,做到一题多解,举一反三,注重特殊与一般相结合及时归纳与小结,提升教学质量。 相似文献
11.
12.
13.
通过分析离散数学课程的特点,强调命题逻辑是离散数学的重要内容以及计算思维培养的重要性,从理论知识、混合教学、教学设计和评价模式4个方面探讨如何在命题逻辑教学中培养计算思维能力。 相似文献
14.
将数学建模思想融入到大学数学类课程教学中是现代大学生素质教育和创新性人才培养的重要方法和手段。文章通过对数学建模的认识和对离散数学具体教学过程中的实例分析,阐述数学建模思想融入离散数学教学的重要意义和具体的教学案例,通过建模思想的融入提高学生的学习积极性。 相似文献
15.
文章从离散数学课程能力培养方向出发,初步分析当前教学过程中面临的问题,然后在教学内容和教学方法方面进行了改革研究。在课程教学内容中对每部分内容从难易程度、培养能力及如何结合选课学生的专业选择教学内容进行了探讨和实践;教学方法方面,从教学技巧、理论联系实际、网络4A教学和上机实验方面做了研究。教学研究进行3年以来,各方面取得了很好教学效果。 相似文献
16.
17.
18.
提高“离散数学”课程教学质量的探索 总被引:3,自引:2,他引:1
本文根据笔者实际教学经验,从组织教学内容、改进教学方式、启发式教学、类比法和增加举例等方面对如何提高离散数学教学效果进行了一些有益的探索。 相似文献
19.
离散数学作为一门高度抽象的计算机专业课,为了激发学生的学习兴趣,本文系统地介绍了其关系理论中的实验设计,意在培养学生理解理论知识的同时锻炼学生的思维构架和计算机语言操作能力。 相似文献