Lanzhou University of Technology Institutional Repository (LUT_IR)
题名 | n值逻辑系统中命题的绝对真度及其随机化理论 |
作者 | 李建生 |
学位类型 | 硕士 |
导师 | 严克明 ; 李骏 |
答辩日期 | 2005 |
学位授予单位 | 兰州理工大学 |
学位名称 | 工学硕士 |
学位专业 | 运筹学与控制论 |
关键词 | 数理逻辑 蕴涵代数 三角模 剩余格 绝对真度 绝对相似度 伪距离 |
摘要 | 无论是二值逻辑还是多值逻辑,都注重形式推理而不大关心数值计算。数理逻辑侧重严密的逻辑推理,而缺乏数值计算的灵活性和广泛的应用范围。通过把数值计算引入到数理逻辑中,就可以建立起符号化与数值计算之间的联系。 “指派真值”的做法或多或少已经反映出了数理逻辑概念的程度化思想。程度化的思想也正是人脑智能的反映。 王国俊教授从逻辑理论基本概念的程度化入手,提出了计量逻辑学,通过把数值计算融入到数理逻辑系统中,使得数理逻辑更加灵活,应用也更加广泛。 |
其他摘要 | The characteristic of mathematical logic lies in symbolization and formalization,which is quite different from computational mathematics. The former emphasises on formal reasoning and strict proof, while the later concerns with numberical computation and approximate solutions. Computational mathematics is more flexible than mathematical logic. It can build the connection between mathematical logic and computational mathematics by bringing the numberical calculation into mathematical logic. |
页数 | 55 |
语种 | 中文 |
学号 | P0507010502 |
文献类型 | 学位论文 |
条目标识符 | https://ir.lut.edu.cn/handle/2XXMBERH/96797 |
专题 | 兰州理工大学 |
作者单位 | 兰州理工大学 |
第一作者单位 | 兰州理工大学 |
推荐引用方式 GB/T 7714 | 李建生. n值逻辑系统中命题的绝对真度及其随机化理论[D]. 兰州理工大学,2005. |
条目包含的文件 | 条目无相关文件。 |
个性服务 |
查看访问统计 |
谷歌学术 |
谷歌学术中相似的文章 |
[李建生]的文章 |
百度学术 |
百度学术中相似的文章 |
[李建生]的文章 |
必应学术 |
必应学术中相似的文章 |
[李建生]的文章 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论