期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到2篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
Φ扩张相容映射的公共不动点定理
1
作者 陈仕洲 《韩山师范学院学报》 2006年第6期3-7,共5页
利用度量空间中自映射对相容的定义,讨论了完备度量空间中Φ扩张相容映射公共不动点的存在性,推广和改进了张石生、谷峰等人一些相关的结果。
关键词 完备度量空间 相容映射 Φ扩张相容映射 公共不动点
下载PDF
一阶逻辑完备性定理的代数证明 被引量：1
2
作者 王国俊 《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2002年第4期7-11,共5页
在一阶逻辑中回避了通常使用的相容扩张方法,基于商Lindenbaum代数并引入一阶语言的一种γ 解释,证明了一阶逻辑的完备性定理.
关键词 代数证明 一阶逻辑 LINDENBAUM代数 γ-解释 完备性定理 相容扩张 数理逻辑
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部