期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到2篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
归纳数据类型的范畴论方法 被引量：1
1
作者 苗德成 奚建清 苏锦钿 《计算机科学》 CSCD 北大核心 2015年第6期8-11,共4页
归纳数据类型是类型论研究的重要分支,传统的数理逻辑或代数方法侧重于描述归纳数据类型的有限语法构造,在语义性质与归纳规则的分析与设计方面存在一定的不足。基于范畴论的方法,在集合范畴的框架内给出谓词的形式化定义,分析谓词范畴... 归纳数据类型是类型论研究的重要分支,传统的数理逻辑或代数方法侧重于描述归纳数据类型的有限语法构造,在语义性质与归纳规则的分析与设计方面存在一定的不足。基于范畴论的方法,在集合范畴的框架内给出谓词的形式化定义,分析谓词范畴与代数范畴的构成与性质,并探讨集合范畴上自函子到谓词范畴上自函子的提升,最后利用伴随函子及其伴随性质深入分析了归纳数据类型具有普适意义的归纳规则。 展开更多
关键词 归纳数据类型 范畴论 谓词范畴 提升 伴随函子
在线阅读 下载PDF
内涵能构逻辑的特征
2
作者 张文祥 《中山大学学报（社会科学版）》 CSSCI 北大核心 2003年第S1期114-122,共9页
内涵能构逻辑研究是国内外逻辑学研究的空白点。本文针对抽象思维的能构性特点,总结了内涵逻辑研究的现有成果,从重新确切界定数理逻辑学的基本范畴着手,说明了“信息的内涵性质”、“谓词范畴的两重性”、“抽象间隔”、“赋值的相对... 内涵能构逻辑研究是国内外逻辑学研究的空白点。本文针对抽象思维的能构性特点,总结了内涵逻辑研究的现有成果,从重新确切界定数理逻辑学的基本范畴着手,说明了“信息的内涵性质”、“谓词范畴的两重性”、“抽象间隔”、“赋值的相对性”、“赋值映射的不动点”,刻划了一个决定论框架,并把它嵌入了信息流逻辑的框架。为进一步论证内涵能构逻辑的不动点语义作了准备。 展开更多
关键词 信息的内涵性质 谓词范畴的两重性 抽象间隔 赋值的相对性 不动点
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
关于我们 | 版权声明 | 联系我们 | 帮助中心| 意见反馈
主办单位：上海市教育委员会
技术支持：重庆维普资讯有限公司
渝公网安备 50019002500403号
使用帮助 返回顶部