应用型本科院校《数理逻辑》课程教学探讨.docxVIP

应用型本科院校《数理逻辑》课程教学探讨 　　摘要：该文分析了《数理逻辑》课程的特点以及应用型本科院校在本课程教学过程中存在的问题，分析了学生对本课程缺少学习动力的原因。提出以“激发兴趣、理论为主、实践为辅、理实结合”的教学模式。将本课程中的知识点与计算机专业其他专业课的知识点相结合，激发学生对本课程的学习兴趣，继而引出本课程的重要性，最大限度地引起学生的创造性和主观能动性。最后该文利用教育心理学的方法介绍了在本课程教学过程中的一些改革措施的探讨，为应用型本科院校计算机专业在理论课程教学方面提供一个可行的探讨。　　关键词：数理逻辑；教育心理学；应用型大学；教学模式；学习动机　　中图分类号：G642 文献标识码：A 文章编号：1009--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]。数理逻辑有着概念抽象、推理独特、方法灵活等特点。?W生在高中阶段没有系统的专门针对逻辑课程的学习，特别是逻辑系