四、计算机教育中项目教学法应用的优势和不足之处

　　计算机课程使学生综合能力得到有效提高，学生毕业时就可达到就业岗位的相应要求，不需要对其岗前培训即可顺利适应工作，进而就业率得到一定程度的提高。该教学方法和其它多种教学法相结合进行应用优势互补，研究适应计算机课程的教学内容，在较短时间内可实现项目教学法的预期效果。尽管在计算机教学中应用项目教学法具有一定的优势，但也存在一些不足之处，教育者应提高重视程度。计算机教师对学生知识结构和能力层次应要充分了解是项目教学法实施的前提条件，基于此对教学目标和计划进行详细制定，真正落实计算机教育中的项目教学，使项目教学法充分发挥教学优势。目前，项目教学法在计算机教学中具有比较广泛的应用，其应用性已渗透到众多行业，有效替代了传统落后的教育教学方式，但教学目标的设置，考核机制及教学反馈体系的设置方面缺乏一定的科学性和系统性。在项目教育教学法具体实施过程中对教育教学考核体系的系统科学性还缺乏一定的适应性，开展具体教学活动应严格遵循该教学方法的原则，不可脱离对教学机制的客观有效地评价。因计算机项目教学知识体系相对于其它课程具有较强的个性，在研究知识结构探究项目方面的差别不小。所以应区别对待知识体系的客观评估标准和具体内容，这对建立相应的教学反馈机制具有较高要求，也是计算机项目教学法逐步发展完善过程中亟待解决的一个十分重要的问题。学校在课外科研活动中开设创新实验室，为学生提供课外科研活动的必要条件。创新实验室主要提供给学生开展科研活动的场所和相关的科研设备，一般情况下，学生在实验室中可自带电脑和开发板。嵌入式系统开发小组由学生自发组成，课题根据学生兴趣进行选取，教师根据嵌入式项目相关内容向学生分发子课题进行研发，教师对学生进行定期指导和帮助。

五、总结

　　综上所述，素质教育近年来逐渐受到国家的积极倡导，从根本上探讨使学生提高计算机基础理论知识与应用实践能力的有效方法，为实现与未来时代发展相适应高层次人才的培养，逐渐成为计算机教育工作者的一个重要研究问题。在项目教学法在具体教学中对基础硬件设施的要求相对较高，若这些方面存在不足，均难以开展正常教学活动。因此，在计算机教学中应提高重视，采取全新视角和教学理念对学校计算机硬件及互联网技术建设进行规划，才能与计算机项目教学的实际需求相适应。

参考文献：

　　[1]王宏.项目教学法在中职计算机教学中的探究[J].电脑知识与技术，2013.

　　[2]白顺芳.项目教学法在计算机网络课程中的应用[J].机械职业教育，2009，(12).

　　[3]李冰立.项目教学法在职业学校计算机教学中的应用[J].中国校外教育，2009，(10).

　　[4]杨筠.项目教学法在计算机教学中的应用[J].中国培训，2016，(18).

　　[5]阳际华.项目教学法在中职计算机教学中的应用初探[J].湖南科技学院学报，2011，(08).

　　[6]张姗姗.浅论项目教学法在计算机教学中的应用[J].信息与电脑，2011，(04).

　　[7]高晓，卓琳.项目教学法在计算机教学中的应[J].福建政法管理干部学院学报，2007，(01).

　　[8]李阳.小议计算机教育当中的项目教学法的利与弊[J]，科技信息，2011.7

　　[9]翟兴，沈俊辉，陈国勇.螺旋进度教学法与传统教学法在高等中医院校计算机课程中的教学对比分析[J]，中国中医药信息杂志，2014.8

　　[10]李冰立.项目教学法在职业学校计算机教学中的应用[J]，中国校外教育，2009.6

　　计算机应用论文(第16页)14

摘 要：

数理逻辑是离散数学课程中研究推理的逻辑学科，它为确定一个给出的论证是否有效提供各种法则和技巧，在计算机科学里用来检验程序的正确性，也可以验证定理和推论，同时在计算机模型、计算机程序设计语言、计算机硬件系统等方面有着重要作用。研究数理逻辑在计算机科学领域中的应用，必须从研究数理逻辑的符号化开始讨论、加以分析、验证结论。

关键词：

数理逻辑;命题逻辑;一阶逻辑;推理理论

　　离散数学是现代数学的重要分支，是研究离散量的结构及相互关系的学科，它在计算机理论研究及软、硬件开发的各个领域都有着广泛的应用。其内容大致包含数理逻辑、集合论、代数结构、组合数学、图论和初等数论6部分，这6部分从不同的角度出发，研究各种离散量之间数与形的关系。本文主要研究数理逻辑部分在计算机科学领域中的应用。