题名 | 逻辑命题中公式列的收敛性及应用 |
作者 | 蒙頔 |
答辩日期 | 2012 |
文献子类 | 硕士 |
授予单位 | 兰州理工大学 |
导师 | 李骏 |
关键词 | 计量逻辑学 逻辑度量空间 度量收敛 赋值收敛 真度收敛 |
学位名称 | 理学硕士 |
学位专业 | 运筹学与控制论 |
英文摘要 | 本文利用计量逻辑学中公式的真度作为工具,分别在二值命题逻辑系统和值命题逻辑系统中给出了公式列按真度收敛的定义,研究了公式列按度量收敛、赋值收敛及真度收敛的性质,给出了三种收敛各自的充分必要条件,讨论了度量收敛、赋值收敛和真度收敛之间的关系。 |
语种 | 中文 |
页码 | 34 |
内容类型 | 学位论文 |
源URL | [http://ir.lut.edu.cn/handle/2XXMBERH/101658] ![]() |
专题 | 兰州理工大学 |
作者单位 | 兰州理工大学 |
推荐引用方式 GB/T 7714 | 蒙頔. 逻辑命题中公式列的收敛性及应用[D]. 兰州理工大学. 2012. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论