n值逻辑系统中命题的绝对真度及其随机化理论

题名	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.