数理逻辑中的归纳定义和归纳证明

运用数学归纳法能证明一个表示逻辑定理的全称命题的真实性,即通过证明一集合对象具有某性质,从而证明该集合所有对象具有该性质,其原因在于用归纳法证明的集必须首先是一个用归纳定义给出的归纳集,它是与自然数集相同的最小归纳集,它具有封闭性,即:如果该集合的初始元有某性质,并且有一生成函数使得在初始元基础上,可不断生成新的元,如果这些生成元也有该性质,那么由生成元运用生成函数所生成的其他生成元,也有该性质,于是可断定,该集合中所有元都有该性质.归纳集所具有的这种封闭性质,就是数学归纳法原理.它是一前件真而后件不能假的蕴涵命题,因此归纳证明实际是通过证明它的前件(奠基和归纳两步)真,从而证明后件(归纳命题)必然真的演绎证明.     

矩阵算子代数上的完全正映射

证明了二阶矩阵 C* 代数之间 *同构在满足辛群作用不变性时可表示为 C* 代数间的两个 *同构的直和 ,同时给出了矩阵 C*代数的一些类似数值矩阵的性质 .通过证明完全正映射的一个类似于 Krein- Milman定理的性质 ,给出了一个纯的完全正映射延拓的存在性证明 .     

SIKKEMA算子与连续模

文献〔1〕给出了Bernstein算子一些新性质 .本文证明Sikkema算子也有类似性质 ,并推广到多元的情况     

论刑事起诉证明标准的具体化

刑事诉讼各阶段案件终结要求运用证据证明案件事实达到一定的证明标准.刑事起诉证明标准不应等同于审判证明标准,而应遵守客观认识规律和刑事犯罪基本理论,结合司法实践,分类建立相应的起诉证明标准.即根据案件的性质和特点,建立认罪轻微刑事案件、重罪案件和死刑案件等几类具体起诉证明标准,以便合理行使好公诉权,维护法律公平正义.     

利用凸函数证明不等式

凸函数是数学分析中一类特殊的函数.利用凸函数的定义及性质可以证明许多不等式.     

等式和不等式的概率证明

在近几年的教学过程中,发现概率论独特的思考方法在等式和不等式的证明中有着特殊的作用,并且对有些问题的证明显然比其它的证法简洁.本文运用概率的有关性质和结论,证明几个等式和不等式.     

二元Kantorovi多项式在L~p空间的Lipschitz性质

研究了二元Kantorovic多项式在L~p空间的Lipschitz性质,证明该多项式与函数属于同一Lipschltz类.     

医院出具死亡证明行为之可诉性研究——以"南通市中房建设工程有限公司诉南通市第四人民医院案"为楔子

无论从内容、用途还是性质上看,医院出具死亡证明的活动都属于行政证明行为.基于此类行为权利义务的实际影响性和法律效力的特殊性,当事人可以对其提起行政诉讼.因医院出具死亡证明而引发的行政纠纷的出现,为我国行政诉讼受案范围规范模式和实质标准的重构提供了生动的注脚.     

论刑事证明责任的性质及其运用

对证明责任性质的探讨有助于深化对刑事证明责任性质的研究。证明责任是为了解决案件事实真伪不明时,法律关于诉讼风险的分配问题。而刑事证明责任的性质是指,作为控诉方的检察机关如果对指控被告人的犯罪事实不能提出证据加以证明或者证明不能满足排除合理怀疑的标准,最终导致法院没有支持控诉方的主张,败诉的风险由检察机关来承担的问题。据此,在刑事诉讼中,侦查机关和法院不承担证明责任,真正意义上的证明责任,即败诉风险的负担,始终固定在控诉一方。     

论英国法刑事证明责任的实质蕴涵——兼评“阶段说”与“分层说”

英国刑事证明责任的疑难,表现在应怎样理解"提供证据责任"的基本性质及法律定位.英国法中"提供证据的责任"不是实质意义的证明责任,只是"说服责任"的程序性展开.对本方而言,是"说服责任"的"反映",对对方而言,是"说服责任"的"反对". "提供证据的责任"与"说服责任"存在本质的不同.这是理解英国法刑事证明责任的"转移"、"分配"等概念的基础,也是厘清被告人承担证明责任性质的关键.割裂"说服责任"与"提供证明责任"内在关系的"描述"理论即"阶段说"与"分层说",在英国法中不成立.强调"说服责任"实质意义的"实质说",同时意味着强调"提供证据责任"依附意义的"光影说". 明确这一点,有利于消除对英国刑事证明责任的模糊认识和对后续问题的深入研究.     

临界点附近轨线的拓扑结构

本文利用解析拓扑方法,证明二阶非线性系统(3)和二阶线性系统(4)在原点附近解的性质是相同的.     

微积分中的奇偶性讨论

文章在定义区间(区域)关于原点(轴)对称的情况下,利用奇偶函数的性质特点探讨微积分的相关结论及证明.     

转动变换与转动图像

根据矢量算符在希尔伯特空间中转动变换的性质,利用转动图像给出了量子力学中与转动变换有关的常用公式.与其他证明方法相比,利用转动图像的方法更为简洁.     

一维等熵流的临界流量分析

给出定常一维等熵流的临界流量(最大流量)发生在喉部马赫数(Ma)为1时的一种新的证明.它克服了现有证明方法中或对流体性质制限的局限性,或避免了现有方法中所用基本方程求导的不协调性,因而具有明显的优点.     

L^p空间的单调函数

研究在Lp（0,2π）,（p>1）空间内弱收敛的单调函数列,导出并证明其一组性质.     

地理标志与证明商标矛盾与差异性辨析——以“金华火腿”案为例

“金华火腿”案这类代表地理标志与商标冲突的案件数量,随着社会经济的发展呈现出上升的趋势.2003年国家工商总局通过制定《集体商标、证明商标注册和管理办法》,将地理标志纳入证明商标范围之中.然而,在实际操作程序之中却将地理标志与证明商标区分得甚为严格,从而造成很多的地理标志无法得到法律保护的严重结果.本文通过回顾我国地理标志立法过程中的教训,在分析地理标志和证明商标在性质、权属诸方面明显区别的基础之上,论证从根本上将地理标志和证明商标进行立法内容和执法权限划分的合理性.     

电子证据的证明能力与证明力之关系探析——以两大诉讼法修改为背景

电子证据是指借助电子设备展现的、以电子形式存在的可在诉讼中作为法院认定案件事实依据的所有证据材料.与传统证据相比,电子证据具有技术性、依赖性、不稳定性和可恢复性等特质.电子证据的证明能力是其证明力的前提和基础,证明能力关乎电子证据是否具有证据资格,而证明力则关涉电子证据证明效果的大小,两者在性质、表现形式、要求和适用规则上存在诸多不同.     

视听资料及其证据排除规则

我国法定证据形式之一的视听资料,是与争议事实的发生过程同步产生的照片、录音和录像;影响视听资料证明能力的主要因素包括获得该证据的具体情形,采纳该证据的目的和使用该证据的程序的性质,应当依据具体情形分类确定视听资料的证明能力.关于非私人场所或获得全部当事人同意的关于私人场所的视听资料,具有证明能力.利用公权力制作的关于私人场所的视听资料,可能侵害公民通讯秘密权或隐私权,法官应遵循合法、权衡的原则限制其证明能力.在民事诉讼中,由当事人亲自制作的关于私人场所的视听资料,若没有被非法宣扬,具有证明能力,反之,不具有证明能力;由非当事人制作的此类视听资料,不具有证明能力;在刑事诉讼中,法官应当权衡侵害他人权利的此类视听资料的证明能力.     

用概率方法证明不等式

通过构造适当的随机变量,利用概率论中的相关性质和某些概率不等式,较为系统地论述了不等式证明的概率方法,显示了概率应用的巧妙、简捷和有效.     

Sobolev方程的特征线混合有限元法

利用特征线方法与混合有限元方法相结合的技巧,研究一维Sobo lev方程,考虑全离散特征线混合有限元解的相关性质,证明了解的存在唯一性和稳定性.