民事诉讼证明标准再探析

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

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

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

微分中值定理的延伸及应用

微分中值定理是高等数学微分学的核心内容,在给出三个微分中值定理的基础上,进一步探究每个中值定理的推广延伸形式,并加以证明和运用.     

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

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

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

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

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

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

第一西洛定理的若干注记

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

论反例的作用与构造方法

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

Toponogov比较定理的简单证明

讨论黎曼几何中的比较定理,给出Toponogov定理的一个简单证明,证明主要依赖于Petersen的一个思路和对内设半径的讨论,从而把结论推广到截曲率有上界的情形.