论文部分内容阅读
文章用数理逻辑的方法对数学常用的证明方法进行了逻辑分析,为正确简便地运用数学证明方法提供了理论依据。
数学证明方法的逻辑分析
【摘 要】
：
文章用数理逻辑的方法对数学常用的证明方法进行了逻辑分析,为正确简便地运用数学证明方法提供了理论依据。
【机 构】
：
襄樊学院数学系
【出 处】
：
襄樊学院学报
【发表日期】
：
2002年05期
其他文献
语文课堂教学改革如何深入推进,切实构建"以学生学习为中心"的课堂?面对这个问题,本文提出"助学课堂"的教学主张,从课程观、语文观、教学观三个方面入手,探索"助学课堂"的实
投融资模式在我国中小企业一直是机遇和挑战并存,尤其是近年来在投融资方面遇到的瓶颈,很值得探讨。分析当前我国中小企业面临的现实问题,寻求解决途径,即改善企业自身管理,
在杜甫晚年以《登高》为代表的登览诗中,常常将对个体生命的忧患意识融入到由深沉的社会历史感、宏大的空间感和悠远的时间感交织在一起而构成的三维一体的立体结构中。它是
中国的花文化源远流长,包括物质花文化和精神花文化两个方面,同时花文化又具有深邃的意蕴。同时,花文化与国花均是一个国家和民族文化的重要组成部分。以北京四季青镇国花园
人力资源审计是企业管理审计的重要内容,旨在评价和监督企业人力资源管理的经济性、效率性和效果性。本文根据管理审计的基本原理,论述了人力资源审计的本质与职能、人力资源
通过对河口区养殖菊黄东方鲀Takifugu flavidus胚胎发育的连续观察,研究了菊黄东方鲀胚胎发育的时序和特点。结果显示,菊黄东方鲀受精卵呈淡黄色或柠檬色,沉性并具有弱黏性,
本文主要阐述工程建设过程中材料设备的管理,制定一系列行之有效的管理制度、措施和程序,保证材料设备的管理处于受控状态,并应用计算机技术进行日常信息处理,提高现场工作效
目的：观察超声多普勒引导下痔动脉结扎加痔本体围扎悬吊术治疗脱垂性痔病的临床疗效并探讨其机理。方法：选择48例Ⅱ、Ⅲ期混合痔住院病人,按照随机对照原则,分为治疗组和对照组
邦,是印度独立后设立的地方最高行政单位。独立以来,印度的邦级区划经历了频繁的变动,民族凝聚力微弱、地方民族主义势力较强、近代以来的教派政治和独立后独特的政治体制是