期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
标引与情报提供的五公理理论
被引量:
1
1
作者
庄子逸
《大学图书馆通讯》
1988年第5期9-18,共10页
本文的目的在于向国内同行介绍一种用于情报检索系统设计的新理论,虽然文章较长,但内容紧凑,对文献标引、标引语言及检索系统的性能评价都有高度的理论概括,并提出了一个公理系统。这种研究方法及研究结论都是值得我们借鉴的。尤其值得...
本文的目的在于向国内同行介绍一种用于情报检索系统设计的新理论,虽然文章较长,但内容紧凑,对文献标引、标引语言及检索系统的性能评价都有高度的理论概括,并提出了一个公理系统。这种研究方法及研究结论都是值得我们借鉴的。尤其值得我们注意的是,本文对“查全与查准间的互逆关系”、“标引一致性是标引质量的度量标准之一”提出了有说服力的异议,可供我们作进一步的研究和讨论。
展开更多
关键词
标引语言
可预言性
文献集合
有序性
标引一致性
确定性公理
情报检索系统
相关文献
情报系统
查询
在线阅读
下载PDF
职称材料
关于选择公理及其弱形式(Ⅰ)
2
作者
陈练寒
彭澎
《武汉水利电力大学(宜昌)学报》
1998年第1期82-85,共4页
先介绍AC独立于ZF,然后研究AD、DCK、ACK和WK之间的关系(k≥ω1).
关键词
确定性公理
选择
公理
力迫法
集合论
在线阅读
下载PDF
职称材料
题名
标引与情报提供的五公理理论
被引量:
1
1
作者
庄子逸
机构
上海大学文学院文献信息管理系
出处
《大学图书馆通讯》
1988年第5期9-18,共10页
文摘
本文的目的在于向国内同行介绍一种用于情报检索系统设计的新理论,虽然文章较长,但内容紧凑,对文献标引、标引语言及检索系统的性能评价都有高度的理论概括,并提出了一个公理系统。这种研究方法及研究结论都是值得我们借鉴的。尤其值得我们注意的是,本文对“查全与查准间的互逆关系”、“标引一致性是标引质量的度量标准之一”提出了有说服力的异议,可供我们作进一步的研究和讨论。
关键词
标引语言
可预言性
文献集合
有序性
标引一致性
确定性公理
情报检索系统
相关文献
情报系统
查询
分类号
G258.6 [文化科学—图书馆学]
在线阅读
下载PDF
职称材料
题名
关于选择公理及其弱形式(Ⅰ)
2
作者
陈练寒
彭澎
机构
三峡工程开发总公司
武汉水利电力大学(宜昌)基础课部
出处
《武汉水利电力大学(宜昌)学报》
1998年第1期82-85,共4页
文摘
先介绍AC独立于ZF,然后研究AD、DCK、ACK和WK之间的关系(k≥ω1).
关键词
确定性公理
选择
公理
力迫法
集合论
Keywords
determinacy axiom
choice axiom
forcing
分类号
O144 [理学—基础数学]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
标引与情报提供的五公理理论
庄子逸
《大学图书馆通讯》
1988
1
在线阅读
下载PDF
职称材料
2
关于选择公理及其弱形式(Ⅰ)
陈练寒
彭澎
《武汉水利电力大学(宜昌)学报》
1998
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部