全文获取类型
| 收费全文 | 6611篇 |
| 免费 | 101篇 |
| 国内免费 | 591篇 |
专业分类
| 系统科学 | 107篇 |
| 丛书文集 | 586篇 |
| 教育与普及 | 183篇 |
| 理论与方法论 | 53篇 |
| 现状及发展 | 27篇 |
| 综合类 | 6347篇 |
出版年
| 2024年 | 10篇 |
| 2023年 | 75篇 |
| 2022年 | 56篇 |
| 2021年 | 89篇 |
| 2020年 | 100篇 |
| 2019年 | 90篇 |
| 2018年 | 34篇 |
| 2017年 | 95篇 |
| 2016年 | 86篇 |
| 2015年 | 131篇 |
| 2014年 | 240篇 |
| 2013年 | 218篇 |
| 2012年 | 249篇 |
| 2011年 | 316篇 |
| 2010年 | 308篇 |
| 2009年 | 381篇 |
| 2008年 | 387篇 |
| 2007年 | 352篇 |
| 2006年 | 285篇 |
| 2005年 | 275篇 |
| 2004年 | 246篇 |
| 2003年 | 309篇 |
| 2002年 | 267篇 |
| 2001年 | 274篇 |
| 2000年 | 277篇 |
| 1999年 | 224篇 |
| 1998年 | 220篇 |
| 1997年 | 219篇 |
| 1996年 | 258篇 |
| 1995年 | 226篇 |
| 1994年 | 185篇 |
| 1993年 | 173篇 |
| 1992年 | 164篇 |
| 1991年 | 130篇 |
| 1990年 | 135篇 |
| 1989年 | 105篇 |
| 1988年 | 57篇 |
| 1987年 | 28篇 |
| 1986年 | 14篇 |
| 1985年 | 6篇 |
| 1982年 | 3篇 |
| 1981年 | 2篇 |
| 1980年 | 1篇 |
| 1965年 | 1篇 |
| 1957年 | 1篇 |
| 1932年 | 1篇 |
排序方式： 共有7303条查询结果，搜索用时 125 毫秒
21.
一阶逻辑完备性定理的新代数证明 总被引：1，自引：1，他引：0
给出了一阶逻辑完备性定理的一个新的代数证明，这个证明不使用依赖于Boole代数表示定理的γ-解释，但使用关于Q-滤子△↓的△↓-解释，也需要用到选择公理，另外指出了已有代数证明的不足之处，并作了修正。 相似文献
22.
何平 《广西师范学院学报(自然科学版)》2002,19(2):33-36
采用计算机代数方法，通过Mathematica软件计算线性谐振子的波函数，几率密度和几率最大值的位置。计算方法简单、通用，易于推广。 相似文献
23.
对于复特征灵敏度分析问题，文中给出了一种代数法求解公式。从理论分析的角度来说，所提出的方法既适全于单频，也适合于重频。为了说明算法的数值稳定性，文中给出了严格的数学证明。 相似文献
24.
朱军 《湖北民族学院学报(自然科学版)》1996,14(2):1-2
在[1]中K.R.Davidson提出了Nest代数和CSL代数中十个未解决的问题之一是A.Hopenicasser在[2]中的猜想。即对任意的交换子空间格&.是否有本文主要得到如下结果:rad(alg&)和以及都含相同的紧算子。 相似文献
25.
古代三大逻辑传统从其产生直到中古，都以对话和辩论的原则和技术作为重要的或主要的研究对象。从希腊逻辑发展而成的现代逻辑已经成为全人类共同的知识财富，现代逻辑的主流是被称为现代形式逻辑的数理逻辑。论辩逻辑服务于“取当求胜”，它属于并非形式化的逻辑。由于现实需要，特别是在法律论辩的活动中得到有效应用，论辩逻辑正在复兴，并有所创新，而且从中国名辩学和印度因明学中吸取营养。 相似文献
26.
27.
28.
29.
30.
BZ-代数的零化子 总被引：2，自引：0，他引：2
岳振才 《汉中师范学院学报》2003,21(2):1-3
将BCK／BCI-代数的零化子概念推广到BZ-代数中，给出BZ-代数零化子的若干基本性质，举反例说明了BZ-代数中零化子一般不是理想． 相似文献