首页--数理科学和化学论文--数学论文--数理逻辑、数学基础论文--数理逻辑(符号逻辑)论文--命题演算、谓词演算、类演算论文

两种命题逻辑系统中的真度研究

摘要第1-5页
Abstract第5-7页
前言第7-9页
第一章 预备知识第9-12页
   ·?ukasiwicz命题逻辑系统第9-10页
   ·G?del命题逻辑系统第10-12页
第二章 三值 ?ukasiewicz命题逻辑系统中公式的T - 绝对真度理论第12-19页
   ·公式的T - 绝对真度第12-15页
   ·公式间的T - 绝对相似度和伪距离第15-19页
第三章 三值 ?ukasiewicz命题逻辑系统中公式的向量表示形式第19-30页
   ·公式真度的等价形式与公式间的相似度第19-23页
   ·公式间的伪距离及F(S) 中运算关于? 的连续性第23-30页
第四章 四值G?del命题逻辑系统中公式的概率真度理论第30-45页
   ·公式的概率真度第30-39页
   ·公式间的相似度和概率逻辑度量空间第39-45页
总结第45-46页
参考文献第46-49页
致谢第49-50页
攻读硕士学位期间已发表论文第50页

论文共50页,点击 下载论文
上一篇:抗战时期陕甘宁边区三边分区民族工作研究
下一篇:润滑防塌的微/纳米封堵剂的研制及其性能研究