切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
一个错误证明的剖析
一个错误证明的剖析
来源 :数学教学通讯:教师阅读 | 被引量 : 0次 | 上传用户:cwsyydr01
【摘 要】
:
逆否命题与原命题等价的证明,一些参考书都是如下证明的.证明:先证“AB”“”(用反证法)假设不成立.则它的否定命题A 成立.因为有 AB,所以B 成立,而与 B 矛盾,因此成立.同理
【作 者】
:
叶志平
【机 构】
:
深圳市西乡中学518102
【出 处】
:
数学教学通讯:教师阅读
【发表日期】
:
1997年5期
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
逆否命题与原命题等价的证明,一些参考书都是如下证明的.证明:先证“AB”“”(用反证法)假设不成立.则它的否定命题A 成立.因为有 AB,所以B 成立,而与 B 矛盾,因此成立.同理可证所以
其他文献
基于DSP的ARINC429通信接口板的设计
ARINCA29是航空电子设备之间数据传输的航空工业标准,介绍了基于DSP(TMS320LF2407A)的ARINCA29标准通信扩展板的硬件组成原理及软件设计。该扩展板以双端口RAM作为数据交换的载
期刊
ARINCA29总线
双端口RAM
DSP
ARINCA29 bus
Dual interface RAM
DSP
一种基于移动agent的新型分布式入侵检测系统
本文首先阐述了入侵检测系统的基本概念、分类及移动agent的基本概念和优点;还分析了一种传统的分布式入侵检测系统模型;最后,提出了一种基于移动agent的新型分布式入侵检测系统
期刊
分布式入侵检测系统
移动AGENT
人工智能
计算机网络
网络安全
Intrusion detection system
Mobile agent
Netw
晚熟柑橘种植技术要点分析
晚熟柑橘是现代人群十分喜爱的水果之一,本文中从各个角度对晚熟柑橘种植技术进行分析,在种植区域选择、苗木培养以及病虫害防治工作中为晚熟柑橘种植进行结果分析,旨在提高晚熟
期刊
晚熟柑橘
种植技术
要点分析
对办公自动化问题的思考
<正>办公自动化并不是一个陌生的名词,这个术语由来已久。在计算机技术才开始普及的七十年代,办公自动化就成了人们一直关心的议题,其应用和市场前景令许多的计算机行业纷纷
期刊
办公自动化
办公过程
办公自动化应用
问题的思考
降低难度突出重点——浅谈川教版本义务教材初中数学对二元一次方程组有关概念的处理
现行通用教材,在“二元一次方程组”一章的有关概念中难点较多,如二元一次方程解的不定性和相关性,方程组涵义的广泛性,以及方程组解的意义等.义务教材应如何处理这些概念至
期刊
二元一次方程组
突出重点
初中数学
方程组解
降低难度
概念
通用教材
义务教育
数学教学大纲
相关性
浅析房地产企业内部控制存在的问题及对策
在我国企业的内部管理机制中,内部控制始终占有着重要的地位。随着国家调控不断地出台、市场竞争不断地加剧,内部控制为强化房地产企业的经营管理,提高房地产企业的市场竞争力起
期刊
房地产企业
内部控制
问题
对策
油藏数值模拟实时监控的实现
利用VC++多线程的功能实现油藏数值模拟实时监控.实践证明:该方法能节约大量的计算时间,并且在多个处理器存在的情况下会自动并行运行.(1)计算模块多线程的实现利用全局MFC函
期刊
油藏
数值模拟
实时监控
VC++
推进新型城镇化 构筑戍边新堡垒
“城镇化是现代化的必由之路。对于兵团来说,城镇不仅是经济发展增长极、现代文明聚集地,还是维稳戍边新堡垒、全面小康火车头。”近日,新疆维吾尔自治区副主席、新疆生产建设兵
报纸
浅析园林景观工程施工与养护管理
园林景观工程涉及到土方工程、堆筑地形、植物种植、给排水工程等多项内容,系统而且复杂;与前期园林设计、后期养护管理等工作息息相关,园林设计与资金投入是好的园林作品的
期刊
园林景观
施工
养护
相辅相成
瓜葵套种大田节水增收新模式
“关井、压田、节水”已成为民勤县收成乡农民“增收”的“瓶颈”。瓜葵套种——大田节水增收新模式,既节水增收,又合理解决了土地压缩后的矛盾,切实为民勤县收成乡农民“关井、
期刊
瓜葵套种
节水增收
新模式
与本文相关的学术论文