-
题名基于一阶谓词和范畴论的形状与形状型
- 1
-
-
作者
卢素魁
-
机构
河北大学数学与计算机学院
-
出处
《河北大学学报（自然科学版）》
CAS
北大核心
2010年第3期323-326,共4页
-
基金
河北省科技攻关项目(072135115)
-
文摘
为了对形状的语义分析进行更加深入地研究,在形式系统、一阶谓词演算和范畴论的基础上,给出了形状及形状型的定义,并讨论了形状与形状型在计算机科学中的应用.
-
关键词
形状
形状型
形式系统
一阶谓词演算
范畴
-
Keywords
shape
shape type
formal system
first order predicate calculus
category
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-
-
题名一阶形式系统K^＊及其完备性
被引量：17
- 2
-
-
作者
裴道武
-
机构
西安交通大学理学院
-
出处
《数学年刊（A辑）》
CSCD
北大核心
2002年第6期675-684,共10页
-
文摘
模糊命题演算的形式系统L＊已经在模糊逻辑与模糊推理的结合研究中得到了成功的应用.本文考虑与系统L＊相应的一阶逻辑理论,建立了一阶形式系统K＊,并证明了这个系统的完备性.
-
关键词
模糊逻辑
一阶谓词演算
形式系统K^＊
R0代数
完备性
-
Keywords
Fuzzy logic, First-order predicate calculus, Formal system K*, R0 algebra, Completeness
-
分类号
O159
[理学—基础数学]
-
-
题名试探逻辑代数的特点和运用
- 3
-
-
作者
王平
-
机构
同济大学社会科学系
-
出处
《同济大学学报（社会科学版）》
1990年第0期85-92,共8页
-
文摘
逻辑代数的建立,展示了形式逻辑的改造,宣告了数理逻辑的诞生。然而,它在形式逻辑和数理逻辑中并未得到系统的运用。问题在于它的特点尚未得到充分的发挥。逻辑代数有何特点?如何运用?有必要进一步探讨。
-
关键词
逻辑代数
一阶谓词演算
命题演算
个体域
形式逻辑
公理系统
形式系统
布尔代数
数理逻辑
普遍有效式
-
分类号
C55
[社会学]
-
-
题名用Transputer网络实现进程并发计算模型
- 4
-
-
作者
刘恩林
司光亚
-
出处
《计算机工程与科学》
CSCD
1989年第1期89-96,共8页
-
文摘
一、引言一般地,对新的计算机系统结构的研究都以一定的计算模型为基础。如以一阶谓词演算为计算模型的并行逻辑结构,基于作用型计算模型的归约结构,基于状态转换的数据流结构等等。进程并发计算模型是对传统的冯·诺依曼计算模型的改进,以便充分实现并行性的开发。英国INMOS公司及其牛津大学的合作者们以进程并发模型为基础,不但设计出能对该模型进行逻辑描述的新的程序设计语言occam,而且设计并生产了能高效执行occam代码的Transputer处理机芯片。
-
关键词
计算模型
TRANSPUTER
高效执行
计算机系统结构
状态转换
一阶谓词演算
诺依曼
并行性
LINKS
归约
-
分类号
TP3
[自动化与计算机技术—计算机科学与技术]
-
