检索结果-南通市图书馆

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

基于XML的证明论研究

科技通报 2014年第8期30卷 233-236页

作者：张艳莉李高鹏陕西师范大学国际商学院陕西西安710062 西京学院工程技术系陕西西安710123

XML渐已成为Web上数据表示和交换的通用语言。然而作为一种描述性的语言,XML不支持智能化的信息服务。本文提出了基于XML的证明论,用XDD(XML Declarative Description),一种由XML语法与说明描述理论相结合而得到的语言表示已知前提和待... 详细信息

XML渐已成为Web上数据表示和交换的通用语言。然而作为一种描述性的语言,XML不支持智能化的信息服务。本文提出了基于XML的证明论,用XDD(XML Declarative Description),一种由XML语法与说明描述理论相结合而得到的语言表示已知前提和待求解的问题,并通过证明论方法实现问题求解。该方法可用于建立基于XML的智能信息系统。

关键词： XML 说明描述证明论问题求解

民事诉讼的思维方式论析——认识论抑或证明论

在线全文

学校读者我要写书评

暂无评论

求索 2001年第4期 49-51页

作者：王学棉清华大学法学院北京 100084

文章认为从法官角度出发研究民事诉讼必然会得出民事诉讼的思维方式是认识论的结论 ,但这种结论存在明显的不足。从当事人的角度出发则可发现民事诉讼的思维方式是证明论。这一研究方法既符合逻辑学的原理 ,也符合民事诉讼的规律 ,是对... 详细信息

文章认为从法官角度出发研究民事诉讼必然会得出民事诉讼的思维方式是认识论的结论 ,但这种结论存在明显的不足。从当事人的角度出发则可发现民事诉讼的思维方式是证明论。这一研究方法既符合逻辑学的原理 ,也符合民事诉讼的规律 ,是对民事诉讼思维方式的正确揭示。

关键词：民事诉讼思维方式认识论证明论民事诉讼证明行为民事诉讼当事人

在线全文

学校读者我要写书评

暂无评论

模型论弱力迫的证明论特征

北京师范大学学报（自然科学版） 1996年第1期32卷 32-35页

作者：张玉平王世强北京师范大学数学系

推广形式的模型论弱力迫关系适合Ｇｅｎｔｚｅｎ证明论的一些右规则，因而模型论弱力迫关系可以用证明论性质刻画。

关键词：模型论模型论力迫证明论模型论弱力迫

社会治理创新背景下对公证职能的再认识——从公证“证明论”和“服务论”之争谈起

在线全文

学校读者我要写书评

暂无评论

中国司法 2017年第2期 55-58页

作者：周志扬北京市公证协会北京市长安公证处

近年来,公证行业内对于公证职能,产生了所谓"证明论"和"服务论"两种不同的观点。论辩双方都有相应的学术成果发表,有的还形成专著出版。笔者认为,对公证职能的进一步研究和思考,是中国公证事业自上世纪70年代末恢复重建以来,随着实践的... 详细信息

近年来,公证行业内对于公证职能,产生了所谓"证明论"和"服务论"两种不同的观点。论辩双方都有相应的学术成果发表,有的还形成专著出版。笔者认为,对公证职能的进一步研究和思考,是中国公证事业自上世纪70年代末恢复重建以来,随着实践的不断深化,公证从业人员的认识也随之逐步深化的结果。这样的讨论,触及了公证从业者对自身社会价值定位的认识,如果能将这一讨论再作进一步深化,对于推进公证事业在新时期的成长发展将有大益

关键词：公证服务公证制度司法制度公证行业元数学数学理论证明论服务论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

综述:一般逻辑程序的证明论语义

计算机科学 2004年第9期31卷 152-156页

作者：陈寅李磊中山大学软件研究所广州510275

一般逻辑程序是知识表示的重要工具,也是非单调推理研究的领域之一。一般逻辑程序的证明论语义给出一个证明过程,对应于相应的模型论语义,同时也为模型论语义的实现提供基础。本文对一般逻辑程序的证明论研究进行综述,涉及到基于各种模... 详细信息

一般逻辑程序是知识表示的重要工具,也是非单调推理研究的领域之一。一般逻辑程序的证明论语义给出一个证明过程,对应于相应的模型论语义,同时也为模型论语义的实现提供基础。本文对一般逻辑程序的证明论研究进行综述,涉及到基于各种模型论语义的证明过程,并且对各研究在语法约束、推理方式、正确性和完备性结论及实现的情况等各方面加以比较,最后给出了此问题进一步的一些研完方向。

关键词：逻辑程序证明论非单调推理知识表示正确性语义完备性模型论证明过程一般

在线全文

学校读者我要写书评

暂无评论

证明论及其发展

数学季刊 1988年第3期 66-72页

作者：徐云从北京计算机学院

(一) 众所周知,Russell悖论的出现曾经引起数学史上关于数学奠基问题的第三次大论战。 Hilbert为了保卫古典数学陆续于本世纪20年代前后发表了证明论(即元数学)的主张。他认为:包括Cantor集论在内的古典数学是“我们最有价值的宝藏”,... 详细信息

(一) 众所周知,Russell悖论的出现曾经引起数学史上关于数学奠基问题的第三次大论战。 Hilbert为了保卫古典数学陆续于本世纪20年代前后发表了证明论(即元数学)的主张。他认为:包括Cantor集论在内的古典数学是“我们最有价值的宝藏”,而传统逻辑中的排中律是“普遍有效的”,应该保存这些古典数学的“有成效的概念结构和推理方法”。然而“绝对无穷概念的命题确实是超越人们直观性证据之外”的东西,它“是通过人们的心智过程被插入或外推出来的概念”。但是实无穷在数学思维中是不可缺少的,应

关键词：定理序列元数学概括公理数学分支协调性证明论数学理论