免费论文摘要：命题论理体例中表面的真度观念及其运用

妇孺皆知,数理论理的特性在乎标记化和情势化,它和计划数学有着半斤八两的作风;前者提防情势推导尔后者提防数值计划;前者夸大庄重论据尔后者承诺好像求解.帝国俊熏陶从基础观念的水平化动手,创造了计量论理学,搭设了人为智能和数值计划之间的桥梁.在计量论理学中,提出了公式的真度观念,同声,给出了一致度和伪隔绝的观念.尔后,波及到计量论理学的接洽已有很多功效.然而,那些接洽功效不过对准单个公式的真度,并未商量公式集的真度.基于此,正文在命题论理体例中初次引入表面的真度观念,使得真度的观念由单个公式的真度实行为公式集的真度.作品的构造和重要实质如次:第一章? 普通常识 ?重要引见了命题论理体例中的关系常识,为反面的接洽做铺垫.第二章? 二值命题论理体例L中表面的真度? 开始在命题论理体例中引入表面的真度观念,使得真度的观念由单个公式的真度实行为公式集的真度;其次,证领会表面Γ的真度与散发度之间的联系: div(Γ)=1-τ(Γ), 进而简化了散发度的观念,结果,将表面Γ1和Γ2分为六类,辨别计划了各类中表面Γ1,Γ2与Γ1∪Γ2的真度、散发度及相容度之间的联系.第三章? 命题论理体例Gn中表面的真度 ?在该体例中证领会表面的真度与散发度之间的联系:div(Γ)=1-τ(Γ),进而简化了散发度的观念,而且指出此论断在论理体例Gn, Πn和L*n中创造;同声计划了表面Γ1,Γ2与Γ1∪Γ2的真度、散发度及相容度之间的联系.第四章?? 命题论理体例L*和G?del中表面的真度 ?证领会表面的真度与散发度之间的联系: div(Γ)=1-τ(Γ),进而简化了散发度的观念.第六章 ??二值命题论理体例L中表面的前提真度? 鉴于前提几率和表面的真度的观念,开始引入了表面Γ在消息Σ下的前提真度的观念,简称为表面的Σ-真度;其次,计划了表面Γ的Σ-真度和Σ-散发度之间的联系:div(Γ︳Σ)=1-τ(Γ︳Σ);结果,将表面Γ1和Γ2分为六类,辨别计划了各类中表面Γ1,Γ2与Γ1∪Γ2的Σ-真度、Σ-散发度及Σ-相容度之间的联系.

来源：半壳优胜育转载请保留出处和链接！

本文链接：http://87cpy.com/250859.html