全文获取类型
收费全文 | 1496篇 |
免费 | 165篇 |
国内免费 | 80篇 |
专业分类
化学 | 229篇 |
晶体学 | 1篇 |
力学 | 34篇 |
综合类 | 159篇 |
数学 | 856篇 |
物理学 | 462篇 |
出版年
2024年 | 3篇 |
2023年 | 24篇 |
2022年 | 31篇 |
2021年 | 41篇 |
2020年 | 39篇 |
2019年 | 52篇 |
2018年 | 34篇 |
2017年 | 34篇 |
2016年 | 42篇 |
2015年 | 33篇 |
2014年 | 66篇 |
2013年 | 73篇 |
2012年 | 50篇 |
2011年 | 70篇 |
2010年 | 68篇 |
2009年 | 109篇 |
2008年 | 81篇 |
2007年 | 98篇 |
2006年 | 93篇 |
2005年 | 81篇 |
2004年 | 65篇 |
2003年 | 66篇 |
2002年 | 65篇 |
2001年 | 47篇 |
2000年 | 39篇 |
1999年 | 40篇 |
1998年 | 33篇 |
1997年 | 28篇 |
1996年 | 33篇 |
1995年 | 52篇 |
1994年 | 25篇 |
1993年 | 27篇 |
1992年 | 17篇 |
1991年 | 9篇 |
1990年 | 13篇 |
1989年 | 13篇 |
1988年 | 8篇 |
1987年 | 8篇 |
1986年 | 5篇 |
1985年 | 6篇 |
1984年 | 3篇 |
1983年 | 5篇 |
1982年 | 2篇 |
1981年 | 2篇 |
1980年 | 3篇 |
1979年 | 2篇 |
1977年 | 1篇 |
1973年 | 1篇 |
1972年 | 1篇 |
排序方式: 共有1741条查询结果,搜索用时 31 毫秒
1.
2.
It is proved that the variety of relevant disjunction lattices has the finite embeddability property. It follows that Avron's relevance logic RMI min has a strong form of the finite model property, so it has a solvable deducibility problem. This strengthens Avron's result that RMI min is decidable. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim) 相似文献
3.
一阶形式系统K~*及其完备性 总被引:2,自引:0,他引:2
裴道武 《数学年刊A辑(中文版)》2002,(6)
模糊命题演算的形式系统L*已经在模糊逻辑与模糊推理的结合研究中得到了成功的应用.本文考虑与系统L*相应的一阶逻辑理论,建立了一阶形式系统K*,并证明了这个系统的完备性. 相似文献
4.
Bernhard Heinemann 《Mathematical Logic Quarterly》1997,43(2):203-215
Based on a modification of Moss' and Parikh's topological modal language [8], we study a generalization of a weakly expressive fragment of a certain propositional modal logic of time. We define a bimodal logic comprising operators for knowledge and nexttime. These operators are interpreted in binary computation structures. We present an axiomatization of the set T of theorems valid for this class of semantical domains and prove – as the main result of this paper – its completeness. Moreover, the question of decidability of T is treated. 相似文献
5.
Motivated by some functional models arising in fuzzy logic, when classical boolean relations between sets are generalized,
we study the functional equation S(S(x, y), T(x, y)) = S(x, y), where S is a continuous t-conorm and T is a continuous t-norm. Some interesting methods for solving this type of equations are introduced. 相似文献
6.
This paper proposes a model for the parametric representation of linguistic hedges in Zadeh’s fuzzy logic. In this model each linguistic truth-value, which is generated from a primary term of the linguistic truth variable, is identified by a real number r depending on the primary term. It is shown that the model yields a method of efficiently computing linguistic truth expressions accompanied with a rich algebraic structure of the linguistic truth domain, namely De Morgan algebra. Also, a fuzzy logic based on the parametric representation of linguistic truth-values is introduced. 相似文献
7.
戴伏生 《数学的实践与认识》2006,36(2):186-192
经典的D IJKSTRA和BELLM AN-F LOYD通信网络路由算法,只能根据特定网络参数得到最佳路由,却无法获得网络存在的全部可用路由,而通信网理论研究及网络管理等方面,往往需要获得节点之间的全部可用路由.研究出一种路由新算法,遵循逻辑代数运算规则、采用关联矩阵中行与行之间整合与删除方式计算,N个节点的网络只需N-1次整合及删除运算,就能得到源节点到任意节点两点之间全部路由结果.详细论证了算法的正确性与合理性,简介了算法的并行运算可行性及与经典路由算法的兼容性等问题.通过算例详细说明算法的计算过程,并验证其正确性. 相似文献
8.
关于PFI-代数与剩余格 总被引:10,自引:0,他引:10
本文提出了一种强FI代数-PFI代数,并且深入研究了它的性质,借此进一步揭示了FI-代数和剩余格之间更加密切的联系,进而以FI-代数为基本框架建立了R0-代数、正则剩余格等逻辑系统的结构特征(包括对隅结构)及其相互关系.这种以FI-代数为基础来统一处理剩余格和R0-代数的方法,同样适合于格蕴涵代数和MV代数等代数结构,而且从中更能清楚地看出它们之间的密切联系,也将有助于对相应形式逻辑系统与模糊推理的研究. 相似文献
9.
从D触发器激励表入手,分别给出了采用单边沿D触发器和双边沿D触发器的2^n进制异步加法计数器、减法计数器的设计方法.在此基础上,采用逻辑函数修改技术,通过实例讨论了基于单边沿D触发器和双边沿D触发器的异步任意进制计数器的设计.该设计方法方便,快速,具有一定的实用意义. 相似文献
10.
In [3] it was shown that a (real) signed measure on a cyclic coarse-grained quantum logic can be extended, as a signed measure,
over the entire power algebra. Later ([9]) this result was re-proved (and further improved on) and, moreover, the non-negative
measures were shown to allow for extensions as non-negative measures. In both cases the proof technique used was the technique
of linear algebra. In this paper we further generalize the results cited by extending group-valued measures on cyclic coarse-grained
quantum logics (or non-negative group-valued measures for lattice-ordered groups). Obviously, the proof technique is entirely
different from that of the preceding papers. In addition, we provide a new combinatorial argument for describing all atoms
of cyclic coarse-grained quantum logics. 相似文献