全文获取类型
收费全文 | 347篇 |
免费 | 1篇 |
国内免费 | 15篇 |
专业分类
系统科学 | 15篇 |
丛书文集 | 21篇 |
教育与普及 | 12篇 |
理论与方法论 | 8篇 |
现状及发展 | 2篇 |
综合类 | 305篇 |
出版年
2023年 | 1篇 |
2022年 | 3篇 |
2021年 | 1篇 |
2020年 | 3篇 |
2019年 | 2篇 |
2017年 | 1篇 |
2016年 | 2篇 |
2015年 | 7篇 |
2014年 | 13篇 |
2013年 | 9篇 |
2012年 | 9篇 |
2011年 | 7篇 |
2010年 | 9篇 |
2009年 | 13篇 |
2008年 | 17篇 |
2007年 | 22篇 |
2006年 | 8篇 |
2005年 | 9篇 |
2004年 | 20篇 |
2003年 | 14篇 |
2002年 | 14篇 |
2001年 | 22篇 |
2000年 | 14篇 |
1999年 | 11篇 |
1998年 | 13篇 |
1997年 | 14篇 |
1996年 | 16篇 |
1995年 | 13篇 |
1994年 | 16篇 |
1993年 | 8篇 |
1992年 | 14篇 |
1991年 | 7篇 |
1990年 | 9篇 |
1989年 | 9篇 |
1988年 | 6篇 |
1987年 | 5篇 |
1944年 | 1篇 |
1943年 | 1篇 |
排序方式: 共有363条查询结果,搜索用时 0 毫秒
251.
252.
刘大宏 《西安石油大学学报(自然科学版)》1995,(1)
分别给出BCK-代数,蕴涵BCK-代数,BCI-代数及蕴涵BCI-代数的一个等价公理系,说明了蕴涵BCI-代数是蕴涵BCK-代数的自然推广,亦说明了蕴涵性是“双B”代数的“固有属性”. 相似文献
253.
徐本顺 《曲阜师范大学学报》1988,(3)
本文简单评述了中年数学家朱梧槚所取得的几项重要科研成果:1955—1957年,他与著名数学家徐利治教授合作,获得了连续统假设不可判定的正确思想,并且给出了一个朴素而直观性的证明;1979—1987年,与人合作在数学基础理论方面主要作了如下两件工作,其一是抛球问题的解决,其二是关于有穷或无穷值逻辑悖论的构造;1982—1987年,他与肖奚安合作共同创立了中介公理集合论系统MM。 相似文献
254.
在G肖盖著的《拓扑学》一书中有如下一个命题: 令(a_(m,n))是一个由N×N到T_2空间的映射,如果,则。在本文中,举出一个反例说明上述命题不能成立,并得到一些修正的结论:令(a_(m,n))是由N×N到拓扑空间X的映射,且ⅰ)若X是T_3空间,则; ⅱ)若X是T_2空间,则当且仅当是X的紧子集。 相似文献
255.
双模态逻辑是多模态逻辑的一种,该逻辑系统可以同时处理两个初始模态算子。本文从多模态基底系统出发,给出双模态逻辑系统的一般理论,即分析双模态相互作用公理及相应的框架条件,给出双模态系统的基本构成以及双模态系统的极小基础。双模态逻辑系统的一般理论具有应用意义,它是具体的双模态系统的一般化概括;同时,双模态逻辑的研究方法是研究多模态逻辑一般理论的一个新视角,对于多模态逻辑一般理论的研究具有理论意义。 相似文献
256.
257.
258.
陈世联 《曲靖师范学院学报》1991,(1)
Zermelo选择公理的提出对近代数学的发展和逻辑的严密性起了很大的推动作用,而且它几乎渗透到每一个数学分支。分析学中一些定理及命题的证明都要以它为依据,例如,它使得下面几个定理的证明成为可能。 相似文献
259.
沈百英 《南京大学学报(自然科学版)》1987,(2)
本文把文[3]中的规则θ_2~*去掉,从而得到第一类原始逆归算术A~0V_1V_2系统,即系统A_0甲,这里A_0为存在性公理V_1与I_2为唯一性规则(见正文)。 相似文献
260.