搜索筛选:
搜索耗时0.1069秒,为你在为你在102,285,761篇论文里面共找到 13 篇相符的论文内容
发布年度:
[期刊论文] 作者：周训伟,鲍泓,
来源：计算机工程与科学 年份：2006
Carroll Morgan的规则精化方法是一种典型的程序精化方法,是一种形式方法.本文用互逆主义逻辑对其进行了改造:将其中的精化法则改造成为逻辑定理,以二层假言推理和小前提逆二...
[期刊论文] 作者：周训伟,鲍泓,
来源：北京联合大学学报：自然科学版 年份：2005
指出数学不是建立在集合论之上,而是建立在人类计数实践之上.经典数理逻辑是有量词的,而互逆主义数理逻辑没有量词,绝大多数逻辑在计算机的应用系统中也都是没有量词的.为说...
[期刊论文] 作者：周训伟,鲍泓,
来源：毕节学院学报：综合版 年份：2006
互逆主义逻辑中的互逆真蕴涵的建立过程与经典逻辑中的实质蕴涵的定义一样，都是三真一假的真值表，但含义却不尽相同。...
[会议论文] 作者：周训伟;鲍泓;,
来源：第二十二届中国数据库学术会议 年份：2005
本文建立了互逆主义集合论,包括零层、一层和二层集合论.本文指出关系数据库可以认为是建立在互逆主义一层集合论之上.然后在互逆主义二层集合论的基础上建立二层单准关系数...
[会议论文] 作者：周训伟,鲍泓,
来源：2005中国计算机大会 年份：2005
本文介绍了互逆主义集合论的各种约束变元，对不同的约束变元进行不同的交运算，使得当两个关系的属性不完全相同时交运算也能进行。提出二层单准关系数据库、二层复关系数据库、......
[会议论文] 作者：周训伟,鲍泓,
来源：第二十四届中国数据库学术会议 年份：2007
本文对数据仓库中OLAP操作的数学基础进行了研究。结果表明：各种数据立方体和数据超立方体都可用泛矩阵表示；各种OLAP操作都可以建立在相应的泛矩阵运算之上；泛矩阵理论内容十分......
[会议论文] 作者：周训伟,鲍泓,
来源：全国第五次程序设计语言发展与教学学术会议、第三届全国Web信息系统及其应用学术会议暨全国首届语义Web与本体论学术研讨会 年份：2006
二层单准Prolog语言基于互逆主义逻辑中的二层单准演算,其中会出现二层递归现象、即头和体中出现相同的经数联符.本文讨论了五种二层递归:体中只有一个二单经数命题的二层递...
[会议论文] 作者：周训伟,鲍泓,
来源：2008数据库开发、管理及技术应用交流研讨会 年份：2008
互逆主义逻辑的复联符命题是没有量词的，互逆主义复联符语义网也与分区语义网不同。本文用关系数据库实现互逆主义复联符语义网。具体方法是让表只有二到三个元，分别与语义......
[会议论文] 作者：周训伟,鲍泓,
来源：第二届两岸逻辑教学学术会议 年份：2006
经典离散数学是由计算机科学中要用到的、相互之间没有什么联系的数学分支如数理逻辑、集合论、抽象代数、图论所组成;周氏离散数学是与经典离散数学不同的离散数学。周氏离...
[会议论文] 作者：周训伟,鲍泓,
来源：2009国际信息技与应用论坛 年份：2009
在所提出的互逆主义数理逻辑的二层单准逻辑演算的二层假言推理的基础上构造了二层单准Prolog、自底向上的二层单准专家系统、二层单准Prolog的形式语义、自顶自下的二层单准专家系统、二层单准关系数据库、互逆主义机器人规划、互逆主义多agent规划等二层人工......
[期刊论文] 作者：梁晔,周训伟,鲍泓,
来源：微计算机信息 年份：2008
与经典逻辑相比,互逆主义逻辑取消了量词,较好的解决了表达力和可解性的矛盾,能够简洁的实现逻辑定理的推理。互逆主义逻辑将命题进行了分类,逻辑定理的表示和语义检索是从元...
[期刊论文] 作者：周训伟，鲍泓，ZHOUXun-wei，BAOHong,
来源：计算机工程与科学 年份：2006
...
[会议论文] 作者：周训伟,鲍泓,傅百文,
来源：第五届中国Rough集与软计算学术研讨会 年份：2005
互逆主义数理逻辑认为对任何定理和定律都要先证明或证实(建立)，得证之后才能使用(运用)。因此，建立定理和定律与运用定理和定律应分别加以刻画。本文主要围绕大前提逆一层单准......
相关搜索：
