首页--数理科学和化学论文--数学论文--数理逻辑、数学基础论文--数理逻辑(符号逻辑)论文

经典命题逻辑中逻辑理论的计量化及应用

摘要第1-7页
Abstract第7-9页
第1章 引言第9-11页
   ·课题的研究意义和国内外研究现状第9-10页
   ·本论文研究的内容第10-11页
第2章 预备知识第11-19页
   ·系统L中的公式、赋值及模型第11-13页
   ·逻辑系统L中公式的真度第13-16页
   ·逻辑系统L中公式之间的相似度和伪距离第16-17页
   ·命题逻辑系统L理论Г的发散度、相容度及近似推理理论第17-19页
第3章 二值命题逻辑中逻辑理论的计量化及应用第19-35页
   ·系统L中逻辑理论的模型第19-23页
   ·逻辑系统L中理论的真度第23-29页
   ·逻辑系统L中理论的相似度和伪距离第29-31页
   ·逻辑系统L中理论的真度的应用第31-35页
结论与展望第35-36页
参考文献第36-40页
致谢第40-41页
附录A 攻读学位期间所发表的学术论文目录第41页

论文共41页,点击 下载论文
上一篇:具有脉冲接种和时滞的SVEIR传染病模型的研究
下一篇:具有阶段结构的酗酒模型的全局稳定性