关于数理逻辑发展史及公式理解的教学实践

数理逻辑是离散数学的一个重要组成部分,学习数理逻辑对于学生学习计算机相关理论,掌握数学证明方法以及逻辑思维能力具有重要的意义。本文针对数理逻辑内容抽象以及公式难于记忆等问题,结合自身教学实践,对数理逻辑的发展历史及应用进行了梳理,对基本等值式及推理定律的记忆方法进行了介绍,能够帮助学生更好的学习与理解相关知识。

Mathematical logic is an important part of discrete mathematics.Learning mathematical logic is of great significance for students to learn computer related theories,mathematical proof methods and logical thinking ability.Towards the problems of abstraction of mathematical logic and the equation hardly to remember,this paper analyzes the history and application of mathematical logic.It also introduces the memory method of the basic equivalent and the inference law,which can help students better Learning and understanding related knowledge.