全文获取类型
收费全文 | 183篇 |
免费 | 3篇 |
国内免费 | 1篇 |
专业分类
丛书文集 | 7篇 |
教育与普及 | 5篇 |
理论与方法论 | 2篇 |
现状及发展 | 1篇 |
综合类 | 172篇 |
出版年
2021年 | 1篇 |
2015年 | 4篇 |
2014年 | 2篇 |
2013年 | 3篇 |
2012年 | 6篇 |
2011年 | 9篇 |
2010年 | 8篇 |
2009年 | 4篇 |
2008年 | 11篇 |
2007年 | 19篇 |
2006年 | 12篇 |
2005年 | 12篇 |
2004年 | 6篇 |
2003年 | 23篇 |
2002年 | 10篇 |
2001年 | 11篇 |
2000年 | 8篇 |
1999年 | 4篇 |
1998年 | 4篇 |
1997年 | 4篇 |
1996年 | 3篇 |
1995年 | 2篇 |
1994年 | 3篇 |
1993年 | 5篇 |
1992年 | 3篇 |
1991年 | 4篇 |
1989年 | 2篇 |
1987年 | 1篇 |
1986年 | 2篇 |
1985年 | 1篇 |
排序方式: 共有187条查询结果,搜索用时 15 毫秒
1.
给出了一种类型函数极限运算的公式及其在微积分极限计算中的具体应用,应用此极限公式可以求某些极限运算中参数的值,给出一元函数在某一点连续的充分条件和求一个曲线的渐近线,同时提供了一个命题的证明方法. 相似文献
2.
3.
通过一个命题的证明,得出关于W.H.Young不等式的另一种形式,并说明这种形式的不必要性,借此来说明W.H.Young不等式形式的内在统一性和数学思维的严密性。 相似文献
4.
关于二项式系数的Jones问题 总被引:3,自引:0,他引:3
乐茂华 《华南理工大学学报(自然科学版)》2003,31(12):84-85
设n是正整数 ,J .P .Jones曾经猜测 :当n >3时 ,如果 2n - 1n ≡ 0 (modn3) ,则n必为奇素数 ,本文中运用初等数论方法证明了 :当n是偶数时 ,2n - 1n 0 (modn2 ) .由此可知Jones猜想在n为偶数时成立 相似文献
5.
研究一类椭圆方程弱解的存在性。获得了一个弱解的无界序列的存在性定理。其中Ω包函R^n是具有光滑边界的有界开区域。主要结果改进和发展了前人的一些相应结果. 相似文献
6.
樊明亚 《上饶师范学院学报》2002,22(1):46-49
我国逻辑界对复合命题的定义、选言命题的定义以及不相容选言命题的身份这三个理论问题,有不同的观点。应从“真假决说”角度来定义复合命题;复合命题是其中还包含命题,而且其真假由所包含的命题决定的命题;应采取给联言命题、假言命题下定义同样的“反映说”方式来定义两种选言命题;相容选言命题是反映若干事物情况可以同存并且至少有一个存在的选言命题、不相容选言命题是反映若干事物情况不能同存,至少有一个而且至多有一个存在的选言命题;应持“两立说”来对待不相容选言命题,不能对V进行结合运算,这是f10这一真值函项本身的性质使然,不影响不相容选言命题的存在。 相似文献
7.
基于命题逻辑的组件约束检测 总被引:1,自引:0,他引:1
针对组件约束数量大、复杂度高的问题,提出了一种基于命题逻辑的组件约束检测算法.通过命题符号化的过程,即通过5个联结词将日常语言中的命题转化成数理逻辑中的形式命题.该算法首次使用受限真值表的概念来描述组件约束,清楚、准确地揭示了软件组织结构、动态行为以及组件之间的转换,通过包含、否定和插入等规则来合并真值表,以解决检测组件约束时存在的冗余与冲突问题,并获得期望行为的最小组件集合,从而保证了组件约束之间相互一致.与基于规则模式表方法相比,所提算法克服了人工检测的不确定性,改善了检测的时间性能,并可将冲突错判率降低大约10%,平均处理时间降低大约33%. 相似文献
8.
互逆蕴涵命题的空间曲线投影柱面表示 总被引:1,自引:1,他引:0
周训伟 《北京联合大学学报(自然科学版)》2007,21(1):12-14
互逆主义逻辑是建立在解析几何的基础之上的。在空间解析几何中,空间曲线是两曲面的交线,在空间曲线中消去一元,即得投影柱面。与此类似,在互逆主义逻辑中,互逆蕴涵命题前件的两个合取支为两个曲面,它们的合取为空间曲线,若后件所表示的曲面恰为或真包含该空间曲线的投影柱面,则该互逆蕴涵命题成立,否则不成立。 相似文献
9.
谢启江 《苏州大学学报(医学版)》1989,(2)
本文给出了另一类近似推理命题——假言命题的Fuzzy表达及其求值算法,并提出语言真值的“动词化”设想。作者认为在专家系统中采用语言真值的“动词化”方法可能更有效。 相似文献
10.
熊天义 《淮北煤炭师范学院学报(自然科学版)》1991,(4)
本文在[1]的基础上,把普通命题推广到F命题,应用基本逻辑联结词,对F命题进行了逻辑演算。文中还推出了基本F公式,借以推证引出其它的为F的F函数。 相似文献