论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 综合期刊 \
- 其它期刊 \
- 电脑知识与技术：学术版期刊 \
离散数学逻辑推理证明方法的探讨
离散数学逻辑推理证明方法的探讨
基本信息来源于合作网站，原文需代理用户跳转至来源网站获取
摘要：
命题逻辑的推理证明是《离散数学》课程的重点内容之一。该文对在命题逻辑推理证明题中常用的证明方法和技巧进行了分析和探讨，以加深学生理解，以便灵活使用。
推荐文章
小学数学逻辑推理的教学实践研究
小学数学
逻辑推理
教学实践
离散数学中的证明方法探讨
演绎证明
归纳证明
存在性证明
唯一性证明
对角线法则
培养逻辑推理能力,发展数学核心素养
高中数学
逻辑推理
核心素养
离散数学教学方法的研究
离散数学
教学方法
启发式教学
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
文献信息
| 篇名 | 离散数学逻辑推理证明方法的探讨 | ||
| 来源期刊 | 电脑知识与技术：学术交流 | 学科 | 教育 |
| 关键词 | 离散数学 命题逻辑 推理 证明方法 | ||
| 年，卷（期） | 2011,（12） | 所属期刊栏目 | |
| 研究方向 | 页码范围 | 8988-8989 | |
| 页数 | 2页 | 分类号 | G642 |
| 字数 | 语种 | ||
| DOI | |||
五维指标
引文网络
引文网络
二级参考文献 (0)
共引文献 (0)
参考文献 (6)
节点文献
引证文献 (0)
同被引文献 (0)
二级引证文献 (0)
2011(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
研究主题发展历程
节点文献
离散数学
命题逻辑
推理
证明方法
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
电脑知识与技术：学术版
主办单位：
时代出版传媒股份有限公司
中国计算机函授学院
出版周期：
旬刊
ISSN：
1009-3044
CN：
34-1205/TP
开本：
出版地：
安徽合肥市濉溪路333号
邮发代号：
26-188
创刊时间：
语种：
出版文献量（篇）
41621
总下载数（次）
23
总被引数（次）
0
期刊文献
相关文献
推荐文献
- 期刊分类
- 期刊（年）
- 期刊（期）
- 期刊推荐
电脑知识与技术：学术版2021
电脑知识与技术：学术版2020
电脑知识与技术：学术版2019
电脑知识与技术：学术版2018
电脑知识与技术：学术版2017
电脑知识与技术：学术版2016
电脑知识与技术：学术版2015
电脑知识与技术：学术版2014
电脑知识与技术：学术版2013
电脑知识与技术：学术版2012
电脑知识与技术：学术版2011
电脑知识与技术：学术版2010
电脑知识与技术：学术版2009
电脑知识与技术：学术版2008
电脑知识与技术：学术版2007
电脑知识与技术：学术版2006
电脑知识与技术：学术版2005
电脑知识与技术：学术版2011年第9X期
电脑知识与技术：学术版2011年第9期
电脑知识与技术：学术版2011年第8X期
电脑知识与技术：学术版2011年第8期
电脑知识与技术：学术版2011年第7X期
电脑知识与技术：学术版2011年第7期
电脑知识与技术：学术版2011年第6X期
电脑知识与技术：学术版2011年第6期
电脑知识与技术：学术版2011年第5X期
电脑知识与技术：学术版2011年第5期
电脑知识与技术：学术版2011年第4X期
电脑知识与技术：学术版2011年第4期
电脑知识与技术：学术版2011年第3X期
电脑知识与技术：学术版2011年第3期
电脑知识与技术：学术版2011年第2X期
电脑知识与技术：学术版2011年第2期
电脑知识与技术：学术版2011年第1X期
电脑知识与技术：学术版2011年第12X期
电脑知识与技术：学术版2011年第12期
电脑知识与技术：学术版2011年第11X期
电脑知识与技术：学术版2011年第11期
电脑知识与技术：学术版2011年第10X期
电脑知识与技术：学术版2011年第10期
电脑知识与技术：学术版2011年第1期
