非对称度量空间上不动点定理

提出建立在非对称度量空间之间的上收缩映射和下收缩映射的概念.考虑到非对称度量的不对称性,进一步定义了非对称度量空间到自身映射的左不动点和右不动点.最后,给出了非对称度量空间上的两个不动点定理.     

NP问题的3轮零知识证明系统的存在性

研究NP问题的3轮零知识证明的存在性.O.Goldreich与H.Krawczyk在1996年证明BBP以外的语言不存在（欺骗概率可忽略的）3轮黑箱模拟零知识协议,但是否存在3轮非黑箱模拟零知识证明仍然是一个尚未解决的问题.采用一种新的交互证明模式,在标准的DDH假设下,对图的3着色问题构造了一个3轮零知识证明.由于对零知识性的证明采用了一种特殊的方法,文中的协议实际上是非黑箱模拟意义下的零知识证明,从而证明了在DDH假设下,所有的NP语言都有3轮零知识证明系统.     

一阶逻辑完备性定理的新代数证明

给出了一阶逻辑完备性定理的一个新的代数证明，这个证明不使用依赖于Boole代数表示定理的γ-解释，但使用关于Q-滤子△↓的△↓-解释，也需要用到选择公理，另外指出了已有代数证明的不足之处，并作了修正。     

KosnioWski-Stong公式的一个简单证明

Kosniowski-Stong公式是近年来带对合协边领域的一个较重要的结果，它来源于Atiyah与Singer在指标定理方面的工作。此公式现有2种证明方法，其中属于带对合协边理论的是一种验算性质的证明。现利用带对合协边理论基本定理直接导出了此公式，由此可看出这2个重要结果是紧密相连的。     

《组合数学》教学指导

本文主要从组合数学的研究方法及主要内容来介绍组合数学的主要知识点。它包括排列组合的基本计数方法，组合恒等式的证明技巧中常用的公式及其技巧，母函数求特殊容量限制的排列和组合问题，以及利用间接方法来求解计数问题的容斥原理，解决特殊计数的整数分拆，以及如何建立递归关系，用递归关系求母函数的方法，解决存在问题的鸽巢原理及Ramsey的问题，还有集合上等价类计数问题的Polya计数定理应用。     

证据、证明与诉讼活动的关系

本用辩证唯物主义哲学的观点，解析了证据、证明和诉讼活动三之间的关系。章认为：证据属于客现的物质范畴，证明属于主观的意识范畴，两既有区别又有联系。证据和证明，只有在诉讼活动中才得以结合，实现主客观的统一，也才能实现揭露事实真相、准确结案的目的。     

用坐标轴法证明矢量公式

本文介绍了矢量坐标轴法,并将矢量坐标轴法与分量证明法相结合,运用于矢量公式的证明,使证明过程大为简化,我们用于物理教学中收到较好的效果。     

反证法在高等数学中的应用举例

通过例题，详细论述了反证法在高等数学中的应用。     

庞加莱猜想得到完整证明

法国著名数学家庞加莱（Poincaré）1905年修改了他1904年提出的一个猜想，提出：在一个三维空间中，假如每一条封闭的曲线都能收缩成一点，那么这个空间一定是一个三维圆球，这就是庞加莱猜想。后来，这个猜想被进一步推广为高维庞加莱猜想。20世纪60年代初，两位美国数学家Smale和Stallings证明了五维及五维以上的庞加莱猜想；1983年，美国数学家Freedman证明了四维庞加莱猜想。