离散数学中数理逻辑教学的一些观点

• 作者: 刘敏 刘玉珍 张新芬
• 来源期刊: 山东农业大学学报（自然科学版）
• 关键词: 离散数学 数理逻辑 命题逻辑 谓词逻辑
• 年，卷（期）: 2014,（z1）
• 页码范围: 134-136
• 页数: 3页
• 分类号: 0141
• 字数: 2663字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-2324.2014.z.030

摘要

离散数学分为四部分：集合论，图论，数理逻辑，代数结构。数理逻辑是离散数学课程中研究推理的部分，它为确定一个给出的论证是否正确提供了重要的法则和技巧，它也用在计算机科学里用来检验程序的是否正确，同时也可以验证定理和推论，它也为今后学习相关计算机模型、计算机程序设计语言、计算机硬件系统、计算机体系结构及人工智能等相关课程打下坚实的基础。本文重点从课堂导入、与其它学科结合、提高学生解决实际问题能力等方面阐述了在教授数理逻辑教学时的一些观点。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘玉珍		5	3	1.0	1.0
2	刘敏		28	94	5.0	9.0
3	张新芬		1	0	0.0	0.0