文献类型：期刊文献

中文题名：关于数理逻辑发展史及公式理解的教学实践

作者：徐国愚[1]

第一作者：徐国愚

机构：[1]河南财经政法大学计算机与信息工程学院,河南郑州450002

第一机构：河南财经政法大学计算机与信息工程学院

年份：2020

卷号：17

期号：16

起止页码：226-227

中文期刊名：科技创新导报

外文期刊名：Science and Technology Innovation Herald

语种：中文

中文关键词：数理逻辑;离散数学;基本等值式;推理定律

外文关键词：Mathematical logic;Discrete mathematics;basic equivalence;Law of reasoning

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