全文获取类型
收费全文 | 216篇 |
免费 | 1篇 |
国内免费 | 1篇 |
专业分类
系统科学 | 17篇 |
丛书文集 | 1篇 |
教育与普及 | 98篇 |
理论与方法论 | 6篇 |
综合类 | 96篇 |
出版年
2021年 | 3篇 |
2020年 | 3篇 |
2019年 | 5篇 |
2018年 | 1篇 |
2017年 | 1篇 |
2013年 | 2篇 |
2011年 | 2篇 |
2010年 | 6篇 |
2009年 | 5篇 |
2008年 | 14篇 |
2007年 | 9篇 |
2006年 | 13篇 |
2005年 | 13篇 |
2004年 | 14篇 |
2003年 | 10篇 |
2002年 | 10篇 |
2001年 | 10篇 |
2000年 | 4篇 |
1999年 | 7篇 |
1998年 | 7篇 |
1997年 | 5篇 |
1996年 | 14篇 |
1995年 | 10篇 |
1994年 | 5篇 |
1993年 | 1篇 |
1992年 | 3篇 |
1991年 | 1篇 |
1990年 | 1篇 |
1989年 | 2篇 |
1988年 | 2篇 |
1986年 | 1篇 |
1985年 | 1篇 |
1984年 | 1篇 |
1983年 | 2篇 |
1982年 | 3篇 |
1981年 | 2篇 |
1980年 | 3篇 |
1979年 | 6篇 |
1978年 | 2篇 |
1965年 | 1篇 |
1964年 | 3篇 |
1963年 | 3篇 |
1958年 | 3篇 |
1957年 | 3篇 |
1956年 | 1篇 |
排序方式: 共有218条查询结果,搜索用时 15 毫秒
81.
82.
83.
关于系统与点关系的哲学思考,就是要从哲学的视角联系实际认识两者的关系。并运用于实践。系统和点的关系是客观存在的,并存在着一种默契和内在的联系和统一;对它们关系的认识是一种灰色思维,两者的关系具有相对性、隐蔽性、稳定性、突变性等特点;对系统与点及其关系的哲学思考具有重要意义。 相似文献
84.
今年3月18日,一个直径为30米的小行星,从距地球表面4.2万千米上空飞过,又让天文学家为之一惊。类似小行星与地球擦身而过的惊险情况,近年来时有报道。由于人们对6500万年前小天体碰撞地球,导致“恐龙灭绝”的前车之鉴心有余悸。所以,科学界为了人类家园地球的安全,加强了对宇宙中小行星、彗星的观察研究。不久前,美国科学家在电脑上模拟出一个直径为4.8千米的小天体,一头栽进太平洋中部引发海啸的实况。因碰撞释放出的能量达到1亿吨TNT,可与数千颗原子弹爆炸的当量比拟,比大多数火山爆发的威力更猛烈。惊涛骇浪将以喷气式飞机的速度和排山… 相似文献
85.
1971年,尼加拉瓜共和国政府发行了一套著名邮票,共10枚。邮票除图案制作精美外,还在每一枚邮票上别出心裁地印上一个公式。E=MC2也在其中,它和其他9个公式一起,被誉为是改变了地球面貌的10大公式。这个当代最伟大的公式是现代物理学之父爱因斯坦于1907年对“狭义相对论”进行理论推导时,获得的 相似文献
86.
莫绍揆 《贵州大学学报(自然科学版)》1988,(1)
由于数理逻辑的兴起以及电子技术的发展,于二十世纪中期导致电子计算机的产生,从而可以用机器代替人们进行推理与计算。数理逻辑还给出了可以使用电子计算机的准则,即当存储量以及计算时间可以无界地增大时,它恰巧可以计算一般递归函数(可能行计算的函数),如果考虑到计算机的现实的物质设备时,则只能计算其时间(空间)复杂度受多项式所界的函数(可现行计算的函数)。使用电子计算机时,必须先进行程序设计,而且我们不应该枝节地就逐个问题而考虑编程序,而应该有一套关于程序设计的理论(软件理论),这其中将讨论程序正确性的核实,程序在运行过程中如有出错如何检查,不同程序之间其优劣如何判定(这又牵涉到程序的结构问题),此外还可讨论计算复杂性对程序的影响等等,这些问题的研究都涉及数理逻辑。最近人们常常谈到第五代计算机,这其间从理论,总体设计(平行计算问题)到具体设计都有大量的数理逻辑问题,是有待探索与解决的。可以说,数理逻辑是计算机科学的一个主要支柱。 相似文献
87.
介绍了改进的矢量中值滤波法算法,并使用该算法对广东省九曲水林场TM图像数据进行滤波消噪处理O 以图像基本统计信息、典型地类分类精度和平滑指数FI为评价指标将矢量中值滤泼的处理结果与传统的滤波算法(均值滤泼、中值滤泼、统计滤泼、自适应滤波和高斯滤波)进行了对比分O析结果表明,对林区TM图像而言,矢量中值滤波器具有出色的平滑去噪能力,并且保持了很好的分类精度,可以替代传统的滤波方O 法。 相似文献
88.
89.
90.
莫绍揆 《南京大学学报(自然科学版)》1980,(1)
在狭义谓词演算中我们讨论了函谓词,即以个体为值的函词和以命题为值的谓词。通常它们以个体为变目,但这种限制太严了,我们应该容许命题亦作为变目。此外,我们又讨论了量词与摹状词,它们合称约束词。根据同样理由,我们也容许它们的作用域可为项(不限于公式),它们的指导变元可为命题变元。在高级谓词演算中,我们还讨论高级函谓词和高级约束词。通常我们把高级函谓词和高级约束词看作是本质不同的。在本文中,我们指出: 第一,二级函谓词和一级约束词是一样的。例如,对二级函谓词φ及二元一级函谓词A而言,φ(A)亦可表为φ_(xy)A(x,y),这里φ_(xy)为具有两个指导变元的一级约束词。另一方面,对一级约束词lim而言,lim f(x)亦可表为lim(a,f),这里lim是二级函谓词,它有一个个体变目和一个函谓词(一级)变目。一般说来,n 1级函谓词和n级约束词是一样的(但参看下文)。其次,当我们把二级函谓词(亦即一级约束词)作用于一级函谓词以作成一项或一公式时,并不是前者(级数较高)以后者(级数较低)为变目,(这是通常的说法所断定的),而是前者填充后者的变目,至少是前者约束后者的变目,无论如何,我们不能说后者是前者的变目。因此通常的表达式Axα(x)和limf(x)应该写成(αA和(flima,或写成Aα(i)和lim af(i)。(我们约定,约束词应依序约束)。第三,由于二级函谓词永不以一级函谓词为变目,也就没有产生更高级函谓词的可能。因此,我们只有个体、命题、(一级)函谓词和(一级)约束词四者,因此广义谓词演算也就变得更简单了。 相似文献