如果这两个不行,你可以把这两篇论文综合一下哦
离散数学这门课第四章关系的知识点包含章节导引,第一节关系的概念,第二节关系运算,第三节关系的特殊性质及其闭包,第四节等价关系和划分,第五节偏序关系,课后巩固,。
学术堂整理了一篇3000字的计算机论文范文，供大家参考：
范文题目：关于新工程教育计算机专业离散数学实验教学研究
摘要: 立足新工科对计算机类专业应用实践能力培养的要求，分析了目前离散数学教学存在的关键问题，指明了开展离散数学实验教学的必要性。在此基础上，介绍了实验教学内容的设计思路和设计原则，给出了相应的实验项目，并阐述了实验教学的实施过程和教学效果。
关键词:新工科教育;离散数学;计算机专业;实验教学
引言
新工科教育是以新理念、新模式培养具有可持续竞争力的创新型卓越工程科技人才，既重视前沿知识和交叉知识体系的构建，又强调实践创新创业能力的培养。计算机类是新工科体系中的一个庞大专业类，按照新工科教育的要求，计算机类专业的学生应该有很好的逻辑推理能力和实践创新能力，具有较好的数学基础和数学知识的应用能力。作为计算机类专业的核心基础课，离散数学的教学目标在于培养学生逻辑思维、计算思维能力以及分析问题和解决问题的能力。但长期以来“定义－定理－证明”这种纯数学的教学模式，导致学生意识不到该课程的重要性，从而缺乏学习兴趣，严重影响学生实践能力的培养。因此，打破原有的教学模式，结合计算机学科的应用背景，通过开展实验教学来加深学生对于离散数学知识的深度理解是实现离散数学教学目标的重要手段。
1．实验项目设计
围绕巩固课堂教学知识，培养学生实践创新能力两个目标，遵循实用性和可行性原则，设计了基础性、应用性、研究性和创新性四个层次的实验项目。
(1) 基础性实验
针对离散数学的一些基本问题，如基本的定义、性质、计算方法等设计了7个基础性实验项目，如表1所示。这类实验要求学生利用所学基础知识，完成算法设计并编写程序。通过实验将抽象的离散数学知识与编程结合起来，能激发学生学习离散数学的积极性，提高教学效率，进而培养学生的编程实践能力。
(2) 应用性实验
应用性实验是围绕离散数学主要知识单元在计算机学科领域的应用来设计实验，如表2所示。设计这类实验时充分考虑了学生掌握知识的情况，按照相关知识点的应用方法给出了每个实验的步骤。学生甚至不需要完成全部实验步骤即可达到实验效果。例如，在“等价关系的应用”实验中，按照基于等价类测试用例的设计方法给出了实验步骤，对基础较差的学生只需做完第三步即可达到“巩固等价关系、等价类、划分等相关知识，了解等价关系在软件测试中的应用，培养数学知识的应用能力。”的实验目的。
(3) 研究性实验研究性实验和应用性实验一样
也是围绕离散数学主要知识单元在计算机科学领域中的应用来设计实验，不同之处在于，研究性实验的实验步骤中增加了一些需要学生进一步探讨的问题。这类实验项目一方面为了使学生进一步了解离散数学的重要性，另一方面为了加强学生的创新意识与创新思维，提高计算机专业学生的数学素质和能力。表 3 给出了研究性试验项目。
(4) 创新性实验
在实际教学中还设计了多个难度较高的创新性实验题目，例如，基于prolog语言的简单动物识别
系统、基于最短路径的公交线路查询系统、简单文本信息检索系统的实现等，完成该类实验需要花费较长的时间，用到更多的知识。通过这些实验不仅有利于培养学生分析问题、解决问题的能力和创新设计能力，也有利于培养学生独立思考、敢于创新的能力。
3．实验教学模式的构建
通过实验教学环节无疑可以激发学生对课程的兴趣，提高课程教学效率，培养学生的实践创新能力。但是，近年来，为了突出应用性人才培养，很多地方本科院校对离散数学等基础理论课的课时进行了压缩，加之地方本科院校学生基础较差，使得离散数学课时严重不足，不可能留出足够的实验教学时间。针对这种情况，采用多维度、多层次的教学模式进行离散数学实验教学。
(1) 将实验项目引入课堂教学
在离散数学的教学过程中，将能反映在计算机科学领域典型应用的实验项目引入到课堂教学中，引导学生应用所学知识分析问题、解决问题。例如在讲授主析取范式时，引入加法器、表决器的设计，并用multisim进行仿真演示，让学生理解数理逻辑在计算机硬件设计中的作用。又如讲谓词逻辑推理时，引入前一届学生用Prolog完成的“小型动物识别系统”作为演示实验。这些应用实例能够让学生体会数理逻辑在计算机科学领域的应用价值，不仅激发学生的学习兴趣，提高课堂教学效率，也锻炼了学生的逻辑思维，培养了学生的系统设计能力。
(2) 改变课后作业形式，在课后作业中增加上机实验题目
由于课时有限，将实验内容以课后作业的形式布置下去，让学生在课余时间完成实验任务。例如讲完数理逻辑内容后，布置作业: 编写 C语言程序，实现如下功能: 给定两个命题变元 P、Q，给它们赋予一定的真值，并计算P、P∧Q、P∨Q的真值。通过完成，使学生掌握命题联结词的定义和真值的确定方法，了解逻辑运算在计算机中的实现方法。又如，把“偏序关系的应用”实验作为“二元关系”这一章的课后作业，给定某专业开设的课程以及课程之间的先后关系，要求学生画出课程关系的哈斯图，安排该专业课程开设顺序，并编写程序实现拓扑排序算法。通过该实验学生不仅巩固了偏序关系、哈斯图等知识，而且了解到偏序关系在计算机程序设计算法中的应用和实现方法。
(3) 布置阅读材料
在教学中，通常选取典型应用和相关的背景知识作为课前或课后阅读材料，通过课堂提问抽查学生的阅读情况。这样，不仅使学生预习或复习了课程内容，同时也使他们对相关知识点在计算机学科领域的应用有了一定的了解。例如，在讲解等价关系后，将“基于等价类的软件测试用例设计方法”作为课后阅读材料; 在讲解图的基本概念之前，将“图在网络爬虫技术中的应用”作为课前阅读材料; 货郎担问题和中国邮路问题作为特殊图的课后阅读材料。通过这些阅读材料极大地调动学生学习的积极性，取得了非常好的教学效果。
(4) 设置开放性实验项目
在离散数学教学中，通常选择一两个创新性实验项目作为课外开放性实验，供学有余力的学生学习并完成，图1给出了学生完成的“基于最短路径公交查询系统”界面图。同时，又将学生完成的实验系统用于日后的课堂教学演示，取得了比较好的反响。
(5) 利用网络教学平台
为了拓展学生学习的空间和时间，建立了离散数学学习网站，学习网站主要包括资源下载、在线视频、在线测试、知识拓展和站内论坛五个部分模块，其中知识拓展模块包含背景知识、应用案例和实验教学三部分内容。通过学习网站，学生不仅可以了解离散数学各知识点的典型应用，还可以根据自己的兴趣选择并完成一些实验项目。在教学实践中，规定学生至少完成1－2个应用性实验项目并纳入期中或平时考试成绩中，从而激发学生的学习兴趣。
4．结束语
针对新工科教育对计算机类专业实践创新能力的要求，在离散数学教学实践中进行了多方位、多层次的实验教学，使学生了解到离散数学的重要
性，激发了学生的学习兴趣，提高了学生程序设计能力和创新能力，取得了较好的教学效果。教学团队将进一步挖掘离散数学的相关知识点在计算机学科领域的应用，完善离散数学实验教学体系，使学生实践能力和创新思维得以协同培养，适应未来工程需要。
参考文献:
［1］徐晓飞，丁效华．面向可持续竞争力的新工科人才培养模式改革探索［J］．中国大学教学，2017(6)．
［2］钟登华．新工科建设的内涵与行动［J］．高等工程教育研究，2017(3)．
［3］蒋宗礼．新工科建设背景下的计算机类专业改革养［J］．中国大学教学，2018( 11) ．
［4］The Joint IEEE Computer Society/ACM Task Force onComputing Curricula Computing Curricula 2001 ComputerScience［DB / OL］． http:/ / WWW． acm． org / education /curric_vols / cc2001． pdf，2001．
［5］ACM/IEEE － CS Joint Task Force on Computing Curricula．2013． Computer Science Curricula 2013［DB / OL］． ACMPress and IEEE Computer Society Press． DOI: http: / / dx．doi． org /10． 1145 /2534860．
［6］中国计算机科学与技术学科教程2002研究组．中国计算机科学与技术学科教程2002［M］．北京: 清华大学出版社，2002．
［7］张剑妹，李艳玲，吴海霞．结合计算机应用的离散数学教学研究［J］．数学学习与研究，2014(1) ．
［8］莫愿斌．凸显计算机专业特色的离散数学教学研究与实践［J］．计算机教育，2010(14)
这门课一共有9个章节。包括：第一章集合论,第二章命题逻辑,第三章一阶逻辑,第四章关系,第五章函数,第六章图论基础,第七章特殊图,第八章基本计数方法,第九章递推关系和生成函数,。
应用型本科：指以应用型为办学定位，而形成的一批占全国本科高校总数近30%，与传统本科院校不同的本科院校。应用型本科教育对于满足中国经济社会发展，对高层次应用型人才需要以及推进中国高等教育大众化进程起到了积极的促进作用。应用型本科院校的发展初期，需要有良好的政策和外部环境支持，需要建立理论层面的支撑体系。 应用型技术本科与普通本科相比,有更多的实验,实训,实习.相对来说,办法成本较高,学费也较贵. 广西桂林电子科技大学科学计算机科学与技术（应用型本科）主要课程：结构化程序设计、计算方法、离散数学、操作系统、编译原理、TCP/IP协议原理及编程、网络交换及路由技术、ORACLE数据库管理、分布式开发技术、Windows程序设计、单片机原理、嵌入式系统、软件项目管理等。 具体信息建议你上 广西桂林电子科技大学科学 的校园网看看！
用A表示阅读《每月新闻杂志》的人用B表示阅读《时代》的人用C表示阅读《财富》的人（1）ABC = （A∪B∪C） - (A + B + C - AB - BC - CA)= (60 - 8) - (25 + 26 + 26 - 9 - 11 - 8)= 3（2）A -B -C = A - AB - AC + ABC= 25 - 9 - 11 + 3= 8B -C-A = B - BC - BA + ABC= 26 - 8 -11 + 3= 10C -A-B = C - CA - CB + ABC= 26 -8 - 9 + 3= 12
01
人物简介
比尔·盖茨，全名威廉·亨利·盖茨三世，简称比尔或盖茨。1955年10月28日出生于美国华盛顿州西雅图。13岁开始计算机编程设计，18岁考入哈佛大学，1975年与好友保罗·艾伦一起创办了微软公司，比尔盖茨担任微软公司董事长、CEO和首席软件设计师。1986年，比尔·盖茨进入Fortune亿万富豪榜，约3亿1千5百万美元。1995年比尔·盖茨成为世界首富，约200亿美元。比尔·盖茨1995-2007年连续13年成为《福布斯》全球富翁榜首富 ，连续20年成为《福布斯》美国富翁榜首富。
02
人物经历
比尔·盖茨有关于计算机的天赋和洞察力是微软公司和软件业界成功的关键。
他的计算机才能崭露头角是在13岁时，独立编出了第一个电脑程序。
1970年代，还在哈佛大学读书的盖茨与伙伴保罗·艾伦一起为Altair 8800电脑设计Altair BASIC解译器。比尔·盖茨在上学期间，还主修了操作系统，数据库，编译器，计算机图形学，并且这四门都拿了A。盖兹在大二时写了一篇论文，里面用到了他设计出来的一个算法。此文四年后挂了他老师的名字发表到了该领域的顶级期刊《离散数学》上。
下附比尔盖茨大学期间《离散数学》论文
从20岁创办微软起，比尔·盖茨积极地参与微软公司的关键管理和战略性决策，并在新产品的技术开发中发挥着重要的作用。
1980年8月28日，盖茨以5万美元价格购买了一款名QDOS的操作系统软件，对其稍加改进后，将该产品更名为DOS（操作系统软件），然后将其授权给IBM使用。IBM-PC机的替及使MS-DOS取得了巨大的成功，因此80年代，它成了PC机的标准操作系统。
Windows95/98/ME/NT/2000/Me/XP/Server2003/Vista这些微软的拳头产品成功地占有了从PC机到商用工作站甚至服务器的广阔市场，为微软公司带来了丰厚的利润。公司在Internet软件方面也是后来居上，抢占了大量的市场份额。
1984年，微软公司的销售额超过1亿美元。1997年6月为止的会计年度，微软营业额为113亿美金。1999年6月，微软市场价值达到亿美元，名列全球1000大企业榜首，超过了通用电气公司(亿美元)。
微软最核心的竞争力就是可以迅速进入其他领域并且对原有市场主导力量形成威胁的 能力。在IT软件行业流传着这样一句告诫：“永远不要去做微软想做的事情”，可见，微软的巨大潜力已经渗透到了软件界的方方面面,简直是无孔不入，而是所向披靡。
03
人物评价
比尔·盖茨对全人类的影响既深且远，并不仅限于IT行业。而所有的动力都来自于他个人的信仰:「想象未来每个人的桌面上都有一台电脑」。
作为世界第一大 PC 系统的创始人远在1970年代大型主机电脑当道时，他就敢做这种梦，是因为相信自己看到了别人没看到的事情。
04
经典语录
“我深信任何可以增进人与人之间沟通的方法都具有长远的价值，人们借此相互学习，并且共同努力达到彼此认同的自由。”
“幸运之神会光顾世界上的每一个人,但如果她发现这个人并没有准备好要迎接她时,她就会从大门里走进来,然后从窗子里飞出去。”
“只要有坚强的持久心，一个庸俗平凡的人也会有成功的一天,否则即使是一个才识卓越的人,也只能偶遇失败的命运。”
“强烈的欲望也是非常重要的。人需要有强大的动力才能在好的职业中获得成功。你必须在心中有非分之想,你必须尽力抓住那个机会。”
“如果你已经制定了一个远大的计划,那么就在你的生命中,用最大的努力去实现这个目标吧。”
从退学建立微软
比尔·盖茨只用了20年
成为世界首富
蝉联13年《福布斯》榜首
图论方面的话可以投的SCI不是很多，主要是离散数学、Graphs andCombinatorics、ARS Combinatoria、还有Frontiers of Mathematics inChina。
同学们可以投一些影响因子不是太高的杂志，这样可能会容易一些 。Grochow 是越来越多的研究人员之一，他们指出在大数据中寻找联系时，图论有其局限性。图将每一种关系表示为二元组或成对的交互。
然而，许多复杂的系统不能单独用二元连接来表示。该领域的最新进展显示了如何向前发展。考虑尝试建立一个育儿网络模型。显然，每个父母都与孩子有联系，但养育关系不仅仅是这两个联系的总和，因为图论可能会对其进行建模。尝试模拟同行压力等现象也是如此。
ACS Nano图论的纳米网络材料结构分析
许多具有优异性能的材料，可构造有渗透纳米网络(PNNs)。这种快速扩展的复合材料和纳米多孔材料的设计，需要一种统一的方法来描述它们的结构。
然而，它们复杂的非周期结构很难用传统的方法来描述。另一个问题是缺乏计算工具，使人们能够捕获和枚举这些复合材料中典型的随机分枝原纤维的模式。
第一个可能是12，第二个建议画图做
1980年有《现代数学方法》等译著由科学出版社出版。1985年至1986年先后在美国华盛顿大学、西华盛顿大学及加州大学洛杉矶分校研修与教学。。1986年以来，与国外学者合作，从事组合几何与离散几何学研究，有关研究成果相继在《组合论杂志》、《离散数学》等国际权威学术刊物发表，引起关注。其论文被《凸几何学》（由德、奥等国著名数学家编著）评述并作为重要参考文献。1986年夏出席世界数学家大会期间，应大会组委会正式邀请主持离散数学分会会议。1987年至2001年先后七次赴美、德、匈、罗等国讲学授课合作研究，任德国多特蒙的大学、美国缅因大学访问教授。1989年始任美国《数学评论》评论员。1989年以来多次应邀赴德、美、匈、奥、罗、日等国进行学术交流，并应聘任美、德等三所大学的访问教授。1989年春与德国数学家联合发起中德组合数学国际会议，经国家科委批准后，由河北师大主办顺利召开。1990年10月晋升为教授。1991年始享受政府特殊津贴，同年获省级有突出贡献中青年专家称号。1993年被评为全国教育系统劳动模范，同年获曾宪梓教育基金会高等师范院校教师三等奖。1995年被评为省管优秀专家。其传略被美国《世界名人录》等多种辞书所收录。现任河北省政协常委、中国组合数学研究会理事、河北省数学会理事等。近年来在《组合论杂志》（Journal of combinatorial theory）与《离散数学》（discrete Mathematics）等国际权威学术刊物发表了一系列有关组合几何学的学术论文，多次被SCI收录，引起关注。部分论文被德、奥等国专家的专著《凸几何学手册》列为重要参考文献并予评述。传略曾被收入《世界名人录》等多种国际辞书。
答案是18 58=38+15+20-x+3 x=18a) 30%+30%+30%-3*10%=60%b)1-(60%+50%+50%-3*30%+10%)=20%
universal全称existantial存在generalize推广specialize指定
太难了，估计没有人回答的。请朋友自己自力更生吧。
我不太懂一生黑白皮皮提出的问题，建议等其他网友的回答。
1、全称推广规则：universal generalization；
2、全称特指规则：universal specification；
3、存在推广规则：existential generalization；
4、存在特指规则：existential specification。
扩展资料：
离散数学在各学科领域，特别在计算机科学与技术领域有着广泛的应用，同时离散数学也是计算机专业的专业课程，如程序设计语言、数据结构、操作系统、编译技术、人工智能、数据库、算法设计与分析、理论计算机科学基础等必不可少的先行课程。
通过离散数学的学习，不但可以掌握处理离散结构的描述工具和方法，为后续课程的学习创造条件，而且可以提高抽象思维和严格的逻辑推理能力，为将来参与创新性的研究和开发工作打下坚实的基础。
毕业论文是教学科研过程的一个环节，也是学业成绩考核和评定的一种重要方式。毕业论文的目的在于总结学生在校期间的学习成果，培养学生具有综合地创造性地运用所学的全部专业知识和技能解决较为复杂问题的能力并使他们受到科学研究的基本训练。标题标题是文章的眉目。各类文章的标题，样式繁多，但无论是何种形式，总要以全部或不同的侧面体现作者的写作意图、文章的主旨。毕业论文的标题一般分为总标题、副标题、分标题几种。总标题总标题是文章总体内容的体现。常见的写法有：①揭示课题的实质。这种形式的标题，高度概括全文内容，往往就是文章的中心论点。它具有高度的明确性，便于读者把握全文内容的核心。诸如此类的标题很多，也很普遍。如《关于经济体制的模式问题》、《经济中心论》、《县级行政机构改革之我见》等。②提问式。这类标题用设问句的方式，隐去要回答的内容，实际上作者的观点是十分明确的，只不过语意婉转，需要读者加以思考罢了。这种形式的标题因其观点含蓄，轻易激起读者的注重。如《家庭联产承包制就是单干吗?》、《商品经济等同于资本主义经济吗?》等。③交代内容范围。这种形式的标题，从其本身的角度看，看不出作者所指的观点，只是对文章内容的范围做出限定。拟定这种标题，一方面是文章的主要论点难以用一句简短的话加以归纳；另一方面，交代文章内容的范围，可引起同仁读者的注重，以求引起共鸣。这种形式的标题也较普遍。如《试论我国农村的双层经营体制》、《正确处理中心和地方、条条与块块的关系》、《战后西方贸易自由化剖析》等。④用判定句式。这种形式的标题给予全文内容的限定，可伸可缩，具有很大的灵活性。文章研究对象是具体的，面较小，但引申的思想又须有很强的概括性，面较宽。这种从小处着眼，大处着手的标题，有利于科学思维和科学研究的拓展。如《从乡镇企业的兴起看中国农村的希望之光》、《科技进步与农业经济》、《从“劳动创造了美”看美的本质》等。
不一定为真。原因：VxEy(x+y=0)对于所有的x总存在一个相反数。但是不存在一个x，和任意y为相反数。
命题的形式：
1、对于两个命题，如果一个命题的条件和结论分别是另外一个命题的结论和条件，那么这两个命题叫做互逆命题，其中一个命题叫做原命题，另外一个命题叫做原命题的逆命题。
2、对于两个命题，如果一个命题的条件和结论分别是另外一个命题的条件的否定和结论的否定，那么这两个命题叫做互否命题，其中一个命题叫做原命题，另外一个命题叫做原命题的否命题。
3、对于两个命题，如果一个命题的条件和结论分别是另外一个命题的结论的否定和条件的否定，那么这两个命题叫做互为逆否命题，其中一个命题叫做原命题，另外一个命题叫做原命题的逆否命题。
扩展资料：
命题的分类：
1、原命题：一个命题的本身称之为原命题，如：若x>1，则f（x）=(x-1)^2单调递增。
2、逆命题：将原命题的条件和结论颠倒的新命题，如：若f（x）=(x-1)^2单调递增，则x>1。
3、否命题：将原命题的条件和结论全否定的新命题，但不改变条件和结论的顺序，如：若x<=1，则f（x）=(x-1)^2不单调递增。
4、逆否命题：将原命题的条件和结论颠倒，然后再将条件和结论全否定的新命题，如：若f（x）=(x-1)^2不单调递增，则x<=1。
参考资料来源：百度百科-命题
参考资料来源：百度百科-离散数学
如果这两个不行,你可以把这两篇论文综合一下哦
学术堂整理了一篇3000字的计算机论文范文，供大家参考：
范文题目：关于新工程教育计算机专业离散数学实验教学研究
摘要: 立足新工科对计算机类专业应用实践能力培养的要求，分析了目前离散数学教学存在的关键问题，指明了开展离散数学实验教学的必要性。在此基础上，介绍了实验教学内容的设计思路和设计原则，给出了相应的实验项目，并阐述了实验教学的实施过程和教学效果。
关键词:新工科教育;离散数学;计算机专业;实验教学
引言
新工科教育是以新理念、新模式培养具有可持续竞争力的创新型卓越工程科技人才，既重视前沿知识和交叉知识体系的构建，又强调实践创新创业能力的培养。计算机类是新工科体系中的一个庞大专业类，按照新工科教育的要求，计算机类专业的学生应该有很好的逻辑推理能力和实践创新能力，具有较好的数学基础和数学知识的应用能力。作为计算机类专业的核心基础课，离散数学的教学目标在于培养学生逻辑思维、计算思维能力以及分析问题和解决问题的能力。但长期以来“定义－定理－证明”这种纯数学的教学模式，导致学生意识不到该课程的重要性，从而缺乏学习兴趣，严重影响学生实践能力的培养。因此，打破原有的教学模式，结合计算机学科的应用背景，通过开展实验教学来加深学生对于离散数学知识的深度理解是实现离散数学教学目标的重要手段。
1．实验项目设计
围绕巩固课堂教学知识，培养学生实践创新能力两个目标，遵循实用性和可行性原则，设计了基础性、应用性、研究性和创新性四个层次的实验项目。
(1) 基础性实验
针对离散数学的一些基本问题，如基本的定义、性质、计算方法等设计了7个基础性实验项目，如表1所示。这类实验要求学生利用所学基础知识，完成算法设计并编写程序。通过实验将抽象的离散数学知识与编程结合起来，能激发学生学习离散数学的积极性，提高教学效率，进而培养学生的编程实践能力。
(2) 应用性实验
应用性实验是围绕离散数学主要知识单元在计算机学科领域的应用来设计实验，如表2所示。设计这类实验时充分考虑了学生掌握知识的情况，按照相关知识点的应用方法给出了每个实验的步骤。学生甚至不需要完成全部实验步骤即可达到实验效果。例如，在“等价关系的应用”实验中，按照基于等价类测试用例的设计方法给出了实验步骤，对基础较差的学生只需做完第三步即可达到“巩固等价关系、等价类、划分等相关知识，了解等价关系在软件测试中的应用，培养数学知识的应用能力。”的实验目的。
(3) 研究性实验研究性实验和应用性实验一样
也是围绕离散数学主要知识单元在计算机科学领域中的应用来设计实验，不同之处在于，研究性实验的实验步骤中增加了一些需要学生进一步探讨的问题。这类实验项目一方面为了使学生进一步了解离散数学的重要性，另一方面为了加强学生的创新意识与创新思维，提高计算机专业学生的数学素质和能力。表 3 给出了研究性试验项目。
(4) 创新性实验
在实际教学中还设计了多个难度较高的创新性实验题目，例如，基于prolog语言的简单动物识别
系统、基于最短路径的公交线路查询系统、简单文本信息检索系统的实现等，完成该类实验需要花费较长的时间，用到更多的知识。通过这些实验不仅有利于培养学生分析问题、解决问题的能力和创新设计能力，也有利于培养学生独立思考、敢于创新的能力。
3．实验教学模式的构建
通过实验教学环节无疑可以激发学生对课程的兴趣，提高课程教学效率，培养学生的实践创新能力。但是，近年来，为了突出应用性人才培养，很多地方本科院校对离散数学等基础理论课的课时进行了压缩，加之地方本科院校学生基础较差，使得离散数学课时严重不足，不可能留出足够的实验教学时间。针对这种情况，采用多维度、多层次的教学模式进行离散数学实验教学。
(1) 将实验项目引入课堂教学
在离散数学的教学过程中，将能反映在计算机科学领域典型应用的实验项目引入到课堂教学中，引导学生应用所学知识分析问题、解决问题。例如在讲授主析取范式时，引入加法器、表决器的设计，并用multisim进行仿真演示，让学生理解数理逻辑在计算机硬件设计中的作用。又如讲谓词逻辑推理时，引入前一届学生用Prolog完成的“小型动物识别系统”作为演示实验。这些应用实例能够让学生体会数理逻辑在计算机科学领域的应用价值，不仅激发学生的学习兴趣，提高课堂教学效率，也锻炼了学生的逻辑思维，培养了学生的系统设计能力。
(2) 改变课后作业形式，在课后作业中增加上机实验题目
由于课时有限，将实验内容以课后作业的形式布置下去，让学生在课余时间完成实验任务。例如讲完数理逻辑内容后，布置作业: 编写 C语言程序，实现如下功能: 给定两个命题变元 P、Q，给它们赋予一定的真值，并计算P、P∧Q、P∨Q的真值。通过完成，使学生掌握命题联结词的定义和真值的确定方法，了解逻辑运算在计算机中的实现方法。又如，把“偏序关系的应用”实验作为“二元关系”这一章的课后作业，给定某专业开设的课程以及课程之间的先后关系，要求学生画出课程关系的哈斯图，安排该专业课程开设顺序，并编写程序实现拓扑排序算法。通过该实验学生不仅巩固了偏序关系、哈斯图等知识，而且了解到偏序关系在计算机程序设计算法中的应用和实现方法。
(3) 布置阅读材料
在教学中，通常选取典型应用和相关的背景知识作为课前或课后阅读材料，通过课堂提问抽查学生的阅读情况。这样，不仅使学生预习或复习了课程内容，同时也使他们对相关知识点在计算机学科领域的应用有了一定的了解。例如，在讲解等价关系后，将“基于等价类的软件测试用例设计方法”作为课后阅读材料; 在讲解图的基本概念之前，将“图在网络爬虫技术中的应用”作为课前阅读材料; 货郎担问题和中国邮路问题作为特殊图的课后阅读材料。通过这些阅读材料极大地调动学生学习的积极性，取得了非常好的教学效果。
(4) 设置开放性实验项目
在离散数学教学中，通常选择一两个创新性实验项目作为课外开放性实验，供学有余力的学生学习并完成，图1给出了学生完成的“基于最短路径公交查询系统”界面图。同时，又将学生完成的实验系统用于日后的课堂教学演示，取得了比较好的反响。
(5) 利用网络教学平台
为了拓展学生学习的空间和时间，建立了离散数学学习网站，学习网站主要包括资源下载、在线视频、在线测试、知识拓展和站内论坛五个部分模块，其中知识拓展模块包含背景知识、应用案例和实验教学三部分内容。通过学习网站，学生不仅可以了解离散数学各知识点的典型应用，还可以根据自己的兴趣选择并完成一些实验项目。在教学实践中，规定学生至少完成1－2个应用性实验项目并纳入期中或平时考试成绩中，从而激发学生的学习兴趣。
4．结束语
针对新工科教育对计算机类专业实践创新能力的要求，在离散数学教学实践中进行了多方位、多层次的实验教学，使学生了解到离散数学的重要
性，激发了学生的学习兴趣，提高了学生程序设计能力和创新能力，取得了较好的教学效果。教学团队将进一步挖掘离散数学的相关知识点在计算机学科领域的应用，完善离散数学实验教学体系，使学生实践能力和创新思维得以协同培养，适应未来工程需要。
参考文献:
［1］徐晓飞，丁效华．面向可持续竞争力的新工科人才培养模式改革探索［J］．中国大学教学，2017(6)．
［2］钟登华．新工科建设的内涵与行动［J］．高等工程教育研究，2017(3)．
［3］蒋宗礼．新工科建设背景下的计算机类专业改革养［J］．中国大学教学，2018( 11) ．
［4］The Joint IEEE Computer Society/ACM Task Force onComputing Curricula Computing Curricula 2001 ComputerScience［DB / OL］． http:/ / WWW． acm． org / education /curric_vols / cc2001． pdf，2001．
［5］ACM/IEEE － CS Joint Task Force on Computing Curricula．2013． Computer Science Curricula 2013［DB / OL］． ACMPress and IEEE Computer Society Press． DOI: http: / / dx．doi． org /10． 1145 /2534860．
［6］中国计算机科学与技术学科教程2002研究组．中国计算机科学与技术学科教程2002［M］．北京: 清华大学出版社，2002．
［7］张剑妹，李艳玲，吴海霞．结合计算机应用的离散数学教学研究［J］．数学学习与研究，2014(1) ．
［8］莫愿斌．凸显计算机专业特色的离散数学教学研究与实践［J］．计算机教育，2010(14)