谈辅助函数在数学证明中的应用

来源 :安徽农业技术师范学院学报 | 被引量 : 0次 | 上传用户:haha7289
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
其他文献
目的:观察神经干细胞和脑源性神经营养因子联合应用对老年痴呆大鼠学习记忆能力及其基底前脑小白蛋白神经元的作用。方法:实验于2003-12/2005-10在广州医学院解剖教研室神经生物
方言的构成来源于人们在一个特定区域,根据习俗、传统、地域特色所形成的语言系统,它是最 具有地域特色的一种产物,但是在城市的不断变化中,方言也逐渐的发生着改变.本文根据
背景:磁共振弥散加权成像中表观弥散系数对脑缺血性疾病的诊断,已被临床证实。不同弥散梯度方向在磁共振弥散加权成像对人脑不同部位的表观弥散系数的影响成为研究的重点之一。
6月30日。窗外,时不时地,会传来几声鸟鸣,把偌大个校园衬托得更显幽静。终于意识到,闲适的假期,是真的来了!只是,耳旁没有了往日的喧嚣和嘈杂,竟有那么一点点的不习惯。于是,
背景:牙齿缺失后,牙槽骨内成骨与破骨的动态平衡被打破,牙槽嵴呈现出不可逆转的骨吸收,其后果是大量的牙槽骨丢失;骨形态发生蛋白在骨及牙齿的生长发育和创伤修复中发挥重要作用。
音乐作品是每个时代独有的深刻沉淀,是世界音乐传统文化中璀璨而独具特色的瑰宝,创作者将复杂而深远的意境,巧妙地蕴含在独特的旋律中,或含蓄内敛需人沉心感悟,或激进喷薄令
目的:介绍近期以英文为主的国际听力学文献,以国际会议、主要杂志编辑部推荐的文章为主,使读者能够基本了解国外本专业的发展趋势。本文侧重以助听器选配、验证以及听力康复为主
绩效考核实际上属于企业财务内控管理手段的一种,通过对企业个人或部门的工作业绩进行考察,从而纠正管理偏差,促进企业目标的达成。考核一般有控制、结果以及战略管理三个导
本院开展整体护理已近四年时间,由开始注重护士观念的更新、模式病房的建设,直至引导护士全面运用护理程序于护理临床及管理中.护士对整体护理工作内涵的理解是到位的.但是,
人工流产术在计划生育工作中广泛应用,由于手术简单,既往不需要麻醉.但在长期的临床工作中发现,人流术中部分病人对疼痛刺激敏感,不能配合手术,大声痛苦呻吟,甚至出现人流综