全文获取类型
收费全文 | 93篇 |
免费 | 0篇 |
国内免费 | 9篇 |
专业分类
系统科学 | 4篇 |
丛书文集 | 7篇 |
理论与方法论 | 3篇 |
现状及发展 | 1篇 |
综合类 | 87篇 |
出版年
2022年 | 1篇 |
2020年 | 1篇 |
2015年 | 4篇 |
2014年 | 1篇 |
2013年 | 4篇 |
2011年 | 2篇 |
2010年 | 2篇 |
2009年 | 3篇 |
2008年 | 4篇 |
2007年 | 11篇 |
2006年 | 7篇 |
2005年 | 5篇 |
2004年 | 7篇 |
2003年 | 5篇 |
2002年 | 3篇 |
2001年 | 6篇 |
2000年 | 2篇 |
1999年 | 2篇 |
1998年 | 4篇 |
1997年 | 2篇 |
1996年 | 1篇 |
1995年 | 4篇 |
1994年 | 5篇 |
1993年 | 4篇 |
1992年 | 3篇 |
1991年 | 1篇 |
1990年 | 2篇 |
1989年 | 1篇 |
1988年 | 2篇 |
1987年 | 3篇 |
排序方式: 共有102条查询结果,搜索用时 0 毫秒
1.
2.
一阶逻辑完备性定理的新代数证明 总被引:1,自引:1,他引:0
给出了一阶逻辑完备性定理的一个新的代数证明,这个证明不使用依赖于Boole代数表示定理的γ-解释,但使用关于Q-滤子△↓的△↓-解释,也需要用到选择公理,另外指出了已有代数证明的不足之处,并作了修正。 相似文献
3.
叶仰明 《厦门大学学报(自然科学版)》2002,41(6):692-696
约束数据模型作为一种新的数据模型正受到广泛关注。为了约束数据库的应用,需要研究它的设计。为此本文对约束数据库中的函数依赖给出定义,并提出函数依赖的公理系统,证明了它的有效性和完备性;在此基础上完成了约束数据库设计的核心工作:把约束关系模式分解为3NF或BCNF的算法。 相似文献
4.
在公理化方法定义的几何中引进“平行”关系,然后把结合公理I;改成“平行公理”,我们就得到一种新的几何——仿射几何.本文将证明这种几何同构于某一体(域)上的n维仿射几何,若添加牍序公理,则这种几何同构于某一有序体(域)上的n维仿射几何,最后我们指出:三维仿射几何的结合公理、平行公理和顺序公理就是Hilben公理体系中的结合公理、平行公理和顺序公理。 相似文献
5.
白世忠 《五邑大学学报(自然科学版)》2004,18(2):1-4
利用强半开邻域引入和研究了拓扑分子格的弱Ti^*分离公理,这是Ti^*分离公理的推广(i=1,2,3,4). 相似文献
6.
给出LF拓扑空间中T212分离公理的三条重要性质,即弱同胚不变性、相对可积性和可和性. 相似文献
7.
在不分明拓扑学中,紧性是被普遍关心的问题,而且作了较为深入的研究,得到了一系列较好的结果,如文献[1—5],本文目的是在文献[6]中提出的拓扑分子格理论的框架下,首先是借助于完全分配格中元的成分概念把不分明拓扑空间中的Q-紧性概念推广到拓扑分子格中;其次是对于完全分配格中的不可比分子在拓扑分子格中引入了强T_2分离性概念。 相似文献
8.
9.
10.
周明中 《安庆师范学院学报(自然科学版)》2001,7(1):68-70
依 A rrow提出的选举问题的四条公理为准则 ,利用联合尺度条件 ,阐明目前流行的筛选平均分排序法 (即去掉一个最高分和一个最低分后 ,用余下的各分数的算术平均分作为待评人的最后得分 )是一种看似公正 ,实为错误的排序方法 相似文献