基于一阶谓词和范畴论的形状与形状型

doi:10.3969/j.issn.1000-1565.2010.03.021

河北大学学报(自然科学版) ›› 2010, Vol. 30 ›› Issue (3): 323-326.DOI: 10.3969/j.issn.1000-1565.2010.03.021

基于一阶谓词和范畴论的形状与形状型

卢素魁

河北大学,数学与计算机学院,河北,保定,071002

出版日期:2010-05-25 发布日期:2010-05-25
基金资助:
河北省科技攻关项目

Shape and Shape Type Based on the First Order Predicate and Category Theory

LU Su-kui

Online:2010-05-25 Published:2010-05-25

摘要/Abstract

摘要： 为了对形状的语义分析进行更加深入地研究,在形式系统、一阶谓词演算和范畴论的基础上,给出了形状及形状型的定义,并讨论了形状与形状型在计算机科学中的应用.

关键词: 形状, 形状型, 形式系统, 一阶谓词演算, 范畴

中图分类号:

TP391

卢素魁. 基于一阶谓词和范畴论的形状与形状型[J]. 河北大学学报(自然科学版), 2010, 30(3): 323-326.

LU Su-kui. Shape and Shape Type Based on the First Order Predicate and Category Theory[J]. Journal of Hebei University (Natural Science Edition), 2010, 30(3): 323-326.

基于一阶谓词和范畴论的形状与形状型

Shape and Shape Type Based on the First Order Predicate and Category Theory

PDF (PC)

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 1

编辑推荐

Metrics

本文评价