原创《应用型本科院校数理逻辑课程教学》：该文是关于数理逻辑论文范文，为你的论文写作提供相关论文资料参考。
摘 要：该文分析了《数理逻辑》课程的特点以及应用型本科院校在本课程教学过程中存在的问题,分析了学生对本课程缺少学习动力的原因.提出以“激发兴趣、理论为主、实践为辅、理实结合”的教学模式.将本课程中的知识点与计算机专业其他专业课的知识点相结合,激发学生对本课程的学习兴趣,继而引出本课程的重要性,最大限度地引起学生的创造性和主观能动性.最后该文利用教育心理学的方法介绍了在本课程教学过程中的一些改革措施的探讨,为应用型本科院校计算机专业在理论课程教学方面提供一个可行的探讨.
关键词：数理逻辑；教育心理学；应用型大学；教学模式；学习动机
中图分类号：G642 文献标识码：A 文章编号：1009-3044（2018）03-0138-02
Abstract： This paper analyzes the characteristics of mathematical logic course and the problems existing in the teaching process of applied-oriented undergraduate universities. We analyzes the reasons why students lack learning motivation, and proposed a teaching method ‘Stimulate interest, theory based, practice supplemented, the combine theory and practice’. In this paper, we combining the knowledge points in this course with the knowledge points of other specialized courses in computer science, and thus make the students" interest in learning this course. Furthermore, we explain then the importance of this course and drawn out to maximize the creativity and subjective initiative of students. Lastly, this paper introduces some reform measures in the course of teaching Based on educational psychology. This paper provides a feasible discussion on the teaching of theoretical courses for computer majors in application-oriented universities.
Key words： mathematical logic, educational psychology, application-oriented university, teaching method, learning motivation
数理逻辑是计算机专业本科生的一门重要的核心基础课程,是计算机专业其他课程的基础,也是理解计算机专业课程与其他课程区别的一个重要标志[1].然而数理逻辑课程所讲述的知识点不是一个实际的针对某一个具体的应用.本课程因为概念抽象,推理复杂,方法灵活等特点,学生在实际的学习、教师在课程讲授的过程中都存在一些问题,使得学生,特别是应用型本科院校的学生,不能够很好地掌握本门课程所讲授的知识点,从而影响了本科生后续的专业课学习.
1 数理逻辑课程面临的问题
《数理逻辑》课程是学生从高中进入大学后第一年第一学期学习的课程,是计算机专业其他专业课程的先导课程,目前一些应用型本科院校教师在讲授、学生在学习的过程中主要存在以下一些问题：
1） 大学生学习自主性不强：在进入大学之前,学生在高中阶段接受的都是被动式教育,老师会将这门课的重点、难点明确地告诉学生.并且通过大量的试题分析来考查学生对知识点的掌握情况.然而进入大学以后,随着老师讲授方式的改变,大学生的学习习惯还没有能够及时的改变,导致了对课程的学习不足.
2） 课程难度大：数理逻辑课程涉及的知识点较多,且比较抽象.课程内容包含命题逻辑系统,谓词逻辑系统,逻辑演算系统,逻辑系统的公理体系[2].数理逻辑有着概念抽象、推理独特、方法灵活等特点.學生在高中阶段没有系统的专门针对逻辑课程的学习,特别是逻辑系统的概念对学生来说特别的陌生.使得学生在学习的过程中,往往由于对所学知识点不够清楚,从而会导致因为难度大,而学生不想学的现象.
3） 课程重要性的认知不足：一些计算机专业的学生,特别是应用型本科院校的学生,往往认为计算机专业就是学好某几门程序设计语言、数据库、数据结构的一些应用型比较明显的课程.特别是学生学习了某个程序设计语言课程后,能够利用所学习的程序设计语言设计一个功能软件,学生因此带来的成就感比较强,对这些课程产生了强大的认可度和归属感.学生因此认为学好某一门程序设计语言就能够在毕业的时候找到一份不错的工作.学生的学习功利性比较明显,对一些理论课程,比如数理逻辑、算法设计与分析,的重要性认识不足,往往忽略对该课程的学习.
4） 学校课程设置偏差：现在很多本科院校、特别是应用型本科院校以最后学生的就业率、就业单位作为学校课程设置的目标.这些应用型本科院校往往重视学生对于某一具体课程的实践能力,而忽略了学生对于计算机专业基础的学习.在一些本科院校往往对数理逻辑这门课程不够重视,甚至有些院校将数理逻辑这门课程作为选修课来开设.在这个过程中,学生往往因为课程难度比较大,从而不选择这门课.在老师层面,往往因为课程的理论性太强,导致有些老师不愿意开设这门课程,或者在课程讲授的过程中只讲授一些基本的知识,使得课程的知识点没有一个连贯的体系.
数理逻辑论文参考资料：
结论：应用型本科院校数理逻辑课程教学为关于本文可作为相关专业数理逻辑论文写作研究的大学硕士与本科毕业论文数理逻辑论文开题报告范文和职称论文参考文献资料。
