葛春鹏

摘要：该文分析了《数理逻辑》课程的特点以及应用型本科院校在本课程教学过程中存在的问题，分析了学生对本课程缺少学习动力的原因。提出以“激发兴趣、理论为主、实践为辅、理实结合”的教学模式。将本课程中的知识点与计算机专业其他专业课的知识点相结合，激发学生对本课程的学习兴趣，继而引出本课程的重要性，最大限度地引起学生的创造性和主观能动性。最后该文利用教育心理学的方法介绍了在本课程教学过程中的一些改革措施的探讨，为应用型本科院校计算机专业在理论课程教学方面提供一个可行的探讨。

关键词：数理逻辑；教育心理学；应用型大学；教学模式；学习动机

中图分类号：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 数理逻辑课程面临的问题

《数理逻辑》课程是学生从高中进入大学后第一年第一学期学习的课程，是计算机专业其……