张锦文
【姓名】 张锦文
【职称】
【研究领域】 数学;
【研究方向】
【发表文献关键词】 序量,概括公理,协调性,基量,二型类,公理系统,公理,真类,自然数,子系,加下标表,定理1,范畴论,元素,分离公理,空集合,公理模式,序数,无序对,完全性定理,笛卡尔积,合论,云簇,内射,系统Z,以证...
【工作单位】 中国科学院软件研究所
【曾工作单位】 中国科学院软件研究所;
【所在地域】 北京
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/7 0 1 7 5 274
中国期刊全文数据库    共找到7篇
[1]张锦文;廖群;.模糊逻辑的语法和语义[J]计算机研究与发展.1988,(08)
[2]张锦文.聚合、序量与基量[J]数学学报.1986,(02)
[3]张锦文;.集合论公理系统的一类非标准模型——正规弗晰集合结构[J]曲阜师范大学学报(自然科学版).1988,(03)
[4]张锦文.公理系统ACG的层谱[J]中国科学(A辑 数学 物理学 天文学 技术科学).1989,(05)
[5]张锦文;.集合论公理系统的层谱[J]数学季刊.1989,(03)
[6]张锦文.A HIERARCHY OF AXIOM SYSTEM ACG[J]Science in China,Ser.A.1990,(02)
[7]张锦文;王驹;.关于力迫方法的注记[J]曲阜师范大学学报(自然科学版).1990,(02)
更多