离散数学逻辑推理证明方法的探讨

• 作者: 康鹏
• 来源期刊: 电脑知识与技术
• 学科: 教育
• 关键词: 离散数学 命题逻辑 推理 证明方法
• 年，卷（期）: 2011,（34）
• 所属期刊栏目: 信息技术与课程整合
• 页码范围: 8988-8989
• 分类号: G642
• 字数: 1436字
• 语种: 中文
• DOI: 10.3969/j.issn.1009-3044.2011.34.088

摘要

命题逻辑的推理证明是《离散数学》课程的重点内容之一.该文对在命题逻辑推理证明题中常用的证明方法和技巧进行了分析和探讨,以加深学生理解,以便灵活使用.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	康鹏		4	3	1.0	1.0