全文获取类型
收费全文 | 445篇 |
免费 | 43篇 |
国内免费 | 108篇 |
专业分类
化学 | 2篇 |
力学 | 1篇 |
综合类 | 5篇 |
数学 | 586篇 |
物理学 | 2篇 |
出版年
2024年 | 8篇 |
2022年 | 3篇 |
2021年 | 2篇 |
2020年 | 2篇 |
2019年 | 6篇 |
2018年 | 7篇 |
2017年 | 4篇 |
2014年 | 5篇 |
2013年 | 5篇 |
2012年 | 6篇 |
2011年 | 4篇 |
2010年 | 11篇 |
2009年 | 6篇 |
2008年 | 10篇 |
2007年 | 18篇 |
2006年 | 17篇 |
2005年 | 24篇 |
2004年 | 38篇 |
2003年 | 32篇 |
2002年 | 33篇 |
2001年 | 36篇 |
2000年 | 27篇 |
1999年 | 32篇 |
1998年 | 37篇 |
1997年 | 30篇 |
1996年 | 25篇 |
1995年 | 24篇 |
1994年 | 17篇 |
1993年 | 16篇 |
1992年 | 23篇 |
1991年 | 17篇 |
1990年 | 10篇 |
1989年 | 7篇 |
1988年 | 8篇 |
1987年 | 8篇 |
1986年 | 4篇 |
1985年 | 5篇 |
1984年 | 4篇 |
1983年 | 2篇 |
1982年 | 3篇 |
1980年 | 2篇 |
1979年 | 1篇 |
1978年 | 1篇 |
1977年 | 1篇 |
1975年 | 1篇 |
1964年 | 5篇 |
1963年 | 1篇 |
1958年 | 1篇 |
1957年 | 2篇 |
1955年 | 2篇 |
排序方式: 共有596条查询结果,搜索用时 0 毫秒
1.
毗连运算是语法系统中最基本和最简单的运算。Tarski,Quine和Hermes等著名数理逻辑学者都曾对它作过非常有意义的讨论。但是他们的讨论都是非形式的,本文首先建立了关于毗连的初等形式系统C,并通过对C的展开,在C中形式地建立了Peano算术模型。最后,作为C的一个扩张,建立了Quine原语法的形式系统PS_0,同时证明宁PS_0可以嵌入到Peano算术中去。这样在可嵌入的意义下,毗连初等系统,Peano算术和原语法系统是等价的。这也证实了Church关于Quine原语法系统的猜想。 相似文献
2.
偏序集上的滤子极大理想 总被引:3,自引:1,他引:2
在偏序集上引入并考察了滤子极大理想的概念,证明了相应的存在性定理。引入并考察了伪极大元和伪既约元的概念,利用图表的形式对连续格中各种类型的既约元和素元之间的关系进行了归纳总结,完善了文献《Continuous Lattices and Domains》(作者:G.Gierz,et al)中的一个图表的相关内容,填补了在分配的连续格情形该图表的一个未知内容,部分地回答了该文献中的一个问题。 相似文献
3.
江其保 《数学年刊A辑(中文版)》1992,(5)
本文给出了一个关于流的共轭的扩张的结论,并证明了如果奇点是渐近稳定的,那么奇点处的线性化可以扩张到奇点的最大吸引区域。 相似文献
4.
本文概述中介公理集合论MS中有关“两种谓词的划分与定义”、“集合的运算”、“谓词与集合”、“小集与巨集”、“MS与ZFC的关系”、“逻辑数学悖论在MS中的解释方法”等文中的定义、引理和定理。 相似文献
5.
设ƒ是实n维单位球上的函数v∈C,SO0(1,n)在ƒ上的作用Tv定义为Tgvƒ(x)=ƒ(g·x)(det g'(x))v/2(n+1).导出了相应于Tv的不变Laplacian,并找到它的一簇特征函数,建立了相应的反演公式与Plancherel公式. 相似文献
7.
在新近的文献[1]中我们给出局部域上一类逼近恒同算子f*Kω(x),现继续这类算子的研究.主要讨论他们的逼近阶,逆逼近定理与相应的极大算子的型等. 相似文献
8.
关于常微分方程中的一类反问题的应用举例 总被引:1,自引:0,他引:1
吴新元 《数学的实践与认识》1991,(1)
[1]中阐述了常微分方程中的一类反问题及其数值处理方法,并且给出了它在化学动力学方面的应用.本文提供若干实例,指出这类反问题在生物生态学和力学方面的某些应用,同时介绍一种适用于求解这类具体的反问题的数值方法. 相似文献
9.
10.
时间序列模型的L1-估计问题是非常重要的.这些估计量的许多性质都被研究过.然而,仍有一些基本问题有待解决.本文将给出平稳自回归模型L1-估计量的极限分布. 相似文献