定理机器证明思想的产生与发展

一、定理机器证明思想的产生与发展所谓定理的机器证明 ,是指使用计算机证明定理的成立 ,即把人证明定理的过程 ,通过一套符号体系加以形式化 ,变成一系列在计算机上自动实现的符号计算过程。其实质是把具有智能特点的推理演绎过程机械化。定理的机器证明是涉及人类智能问题的主要研究课题之一。从传统的手工证明到定理的机器证明 ,是现代数学思想方法的一次重大突破。机器证明大体上经历了这样一个过程 :公理化代数化坐标化机械化。近代的机器证明思想由莱布尼兹首先提出 ,并直接导源于他的定理证明机械化设想。到１９世纪末 ,希尔伯…     

民事诉讼证明标准再探析

民事诉讼证明标准是民事诉讼法的一个基本问题,对民事诉讼证明标准进行了界定,明确提出客观真实与法律真实是证明任务,不是证明标准,介绍了证明标准的类型和作用范围,并对我国民事诉讼证明标准的构建进行了初步设想.     

几类适宜用反证法证明的命题

否定命题判断的相反判断 ,从而肯定原来判断的正确性 ,这种证明法称为反证法。使用反证法的步骤可归纳为 :一、假设命题的结论不成立 ,即命题结论的否定方面成立 (每个否定方面均应考虑到 ) ;二、以命题的否定方面作为条件进行推理 ,得出和已知条件、公理、定义和定理等相矛盾或自相矛盾的结论 ;三、确认命题的所有否定方面不能成立 ,从而肯定命题的结论成立。哪些命题适宜用反证法证明 ,要一般地回答这个问题是不容易的 ,也不是绝对的 ,在此 ,提出如下几类适宜用反证法证明的命题 ,仅供参考。(一 )当命题含有涉及到各种“无限”形式的结论…     

有关平均值的不等式及其证明

对两个平均值不等式，给出只用一元函数一阶导数的证明方法，同时对更为一般的平均值不等式，给出了统一的证明。     

巨额财产来源不明罪若干问题探析

本文主要分析探讨了巨额财产来源不明罪的罪名、客体、举证责任、巨额财产来源不明的证据与法定刑完善等问题。主张以拒不说明巨额财产真实来源罪作为本罪的罪名更为科学 ;本罪的客体是国家工作人员的职务廉洁性和国家机关的正常活动与威信 ;建议立法妥善解决说明是否圆满、财产持有人等问题 ;本罪的法定刑亟需完善     

关于离散Hopfield联想网络的权值设定及稳定性分析

本改进了Hopfield网络权值的设定，使之保证每一个存贮的模式为平衡状态，并且证明网络由任一模式出发，一定收敛到一个平衡态，且每一平衡态是Lyapunov意义下稳定的。     

第一西洛定理的若干注记

给出了第一西洛定理的三种不同的证明方法。     

论反例的作用与构造方法

通过具体的例子阐明高等代数中反例的作用与构造反例的方法。     

反演关系的机械化证明

反演关系是组合论中的一个重要内容，其证明十分繁杂，又要求很高的技巧，将近几年刚刚发展起来的证明组合恒等式的ＷＺ方法运用到反演关系的证明中，从而给出了两类反演关系的机械化证明方法。