合舍系统及其定理的能行证明

以合舍作为唯一初始联结词,在括号表示法中,只需要使用一对左右括号「」就可以无歧义地表达所有的逻辑函数,并进而建立包括括号「」的引入规则和消去规则在内的自然推演系统NPD1,可以证明该系统与通常的命题逻辑推理系统相等价.通过定义可以给出常见的其他联结词并证明相关定理.受亚里士多德化归思想的启发,构建了系统NPD1的7组化归规则,并给出化归程序;依据此程序,可以将系统内的任一定理能行地化归为一个形如的公式.     

Cauchy中值定理的又一个证明

借助笔者在文[1]中给出的引理1并应用反证法给出了柯西中值定理的一个证明，它与有关文献中的证法不同.     

Morley定理及其推广的三角证明

给出Morley定理及其推广的三角证明     

利用Bernoulli概率分布简化Weierstrass逼近定理的证明

本文利用概率论中Bernoulli概率分布的某些结果,减化了Weierstass多项式逼近定理的证明。     

关于K-拟亚纯映射的一个掩盖定理的研究及其证明

根据K-拟亚纯映射的定义,对其概念认真分析和探讨,并对单位圆上的K-拟亚纯映射,应用模的方法,证明了K-拟亚纯映射的一个掩盖定理。     

四色定理的简洁证明及其意义

严格分析四色定理成立的条件,即可以用简洁方法证明四色定理。这一证明对于认识论和思维科学研究有重要意义。     

关于蕴涵重言式不是推理式的证明

现行形式逻辑读本错误地用纯真值函数的蕴涵重言式表达能从已知获取新知的传统逻辑复合命题推理。含蕴涵怪论的蕴涵重言式的本质特征是纯真值函数,其整个命题的真值取决于它的支命题的真值。除了假言易位推理和联言推理而外,传统逻辑的其他所有复合命题推理用蕴涵重言式表达后都出怪论。     

从蝴蝶定理的证明看高等几何对初等几何的作用

本文用高等几何方法证明了用初等几何方法较难证明的“蝴蝶定理”,并给出定理的推广命题,从中显示出高等几何在初等几何中的作用。     

微积分中值定理的统一证明及推广形式

Cauchy中值定理统一了微积分中值定理各种形式,从而建立了微分中值定理和积分中值定理之间的内在联系.以Rolle中值定理为基础,借助不同形式辅助函数可对其它几个中值定理作出多种形式的统一证明;利用Taylor公式可以进一步导出微积分中值定理的推广形式.     

卡诺定理证明方法的比较

文章通过对卡诺定理证明方法的比较 ,得出第一、第二种证明方法有循环论证之嫌 ,而第三种方法简洁、逻辑性强。     

基于本体与Prolog的平面几何定理证明

基于本体理论、本体模型等方面的研究,以一个平面几何定理证明问题为例,详细地描述了平面几何本体的构建过程、基于本体和Prolog规则的推理,及其在平面几何问题求解中的应用。实验结果表明,将本体应用于几何定理机器证明是一种行之有效的方法,该方法避开了以往的代数方法中多次反复判断的问题,更接近自然语言的描述,能明确地表达领域知识和实现概念分层,从而能快速地构建几何模型,还可以进行复杂关系间的推理,最终实现基于本体和Prolog规则的平面几何定理证明。     

MPI环境下的几何定理并行自动推理

将几何定理机器证明和并行计算结合起来考虑,尝试用并行计算方法来提高传统定理证明算法效率,探讨了前推法、数值并行法的并行算法,分析了两种定理证明算法在消息传递编程模型下的任务划分、通信组织、任务调度等问题,并用MPICH2实现了这两种并行算法,对算法的并行性能指标进行了测试,测试数据表明,两种并行算法在基于MPI-2的并行计算环境下,能很好地发挥并行计算的优势,有效缩短构造性几何命题机器证明的时间。     

分部积分教学有效课堂的探究

高等职业教育是职业技术教育的高级阶段,是培养高等技术应用型人才的教育。针对高等职业教育的特点,通过多年数学教学,以分部积分的课堂教学为例,对有效课堂的构建问题进行了不懈的探索。     

西方国家高等教育地方化研究及启示

在对西方主要发达国家高等教育地方化总体把握的基础上,对高等教育地方化的历史演进和现状进行考察,可以探究高等教育地方化在发达国家的发展方式、共同特征、出现的问题以及未来发展的方向。其经验和教训对我国高等教育地方化的实践具有重要借鉴意义。     

近十年IChO实验试题特点及对我国竞赛实验培训的启示

实验竞赛是国际化学奥林匹克竞赛的重要内容,占考试总分的40%。对于测试选手的实验知识、实验技能以及科学素养,都有重要的价值。研究近十年IChO实验试题特点,对于我们进一步认识IChO实验竞赛,促进我国的奥赛实验培训有重要的启示。     

论英语教学中有效提问的策略

课堂提问是教学中十分重要的活动.有效的提问能够启发学生的思维,激发学生的学习兴趣,培养学生探究问题的能力.文章针对课堂提问中存在的问题,分析并论述了有效提问的策略.     

《联合国反腐败公约》对我国治理商业贿赂的立法启示

《联合国反腐败公约》是当今世界关于治理腐败方面最为完整、全面而又具有广泛性、创新性的国际法律文书。其创新性的理念与策略及制度设计对我国治理商业贿赂有极强的借鉴意义。我国治理商业贿赂立法应借鉴《公约》打防并举,以防为主的理念,将治理行动与行政法治建设结合,并在完善刑事立法,加强民事、行政立法及增强国际合作等方面进行综合性建设。     

生活体验研究的涵义、特点与实践路径——范梅南教育现象学研究方法之研究

生活体验研究是范梅南教育现象学研究方法,这种研究方法是在现象学基础上,受教育科学研究范式转型的影响下提出和发展起来的。生活体验研究是一种强调人的研究方法,有实践性、反思性、敏感性和人文性的特点;同时生活体验研究作为人文科学视野中教育学的一种研究方法,在使教育研究由理论走向实践的过程中,也有其本身的实践路径。     

中国大学英语教学误区折射——中国留学生海外生活调查

本文通过对一组中国留学生留学生活的调查阐述了中美教育体系、学习理念、方法的差异。留学生在美学习期间对英语阅读理解、专业学习、校园设施和社交生活的适应过程 ,反映了我国教育领域存在的误区和盲区。缺乏科学的教育理论的指导 ,导致了我国学生应试能力强 ,应用能力差 ,以及英语教学高投入、低产出的现状。广大英语教师应对现状进行思考。