全文获取类型
| 收费全文 | 322篇 |
| 免费 | 2篇 |
| 国内免费 | 14篇 |
专业分类
| 系统科学 | 15篇 |
| 丛书文集 | 20篇 |
| 教育与普及 | 12篇 |
| 理论与方法论 | 8篇 |
| 现状及发展 | 1篇 |
| 综合类 | 282篇 |
出版年
| 2023年 | 1篇 |
| 2022年 | 2篇 |
| 2020年 | 2篇 |
| 2019年 | 2篇 |
| 2017年 | 1篇 |
| 2016年 | 2篇 |
| 2015年 | 7篇 |
| 2014年 | 10篇 |
| 2013年 | 8篇 |
| 2012年 | 9篇 |
| 2011年 | 7篇 |
| 2010年 | 9篇 |
| 2009年 | 13篇 |
| 2008年 | 17篇 |
| 2007年 | 20篇 |
| 2006年 | 7篇 |
| 2005年 | 8篇 |
| 2004年 | 17篇 |
| 2003年 | 12篇 |
| 2002年 | 13篇 |
| 2001年 | 21篇 |
| 2000年 | 14篇 |
| 1999年 | 10篇 |
| 1998年 | 12篇 |
| 1997年 | 13篇 |
| 1996年 | 13篇 |
| 1995年 | 13篇 |
| 1994年 | 15篇 |
| 1993年 | 8篇 |
| 1992年 | 14篇 |
| 1991年 | 7篇 |
| 1990年 | 9篇 |
| 1989年 | 9篇 |
| 1988年 | 6篇 |
| 1987年 | 5篇 |
| 1944年 | 1篇 |
| 1943年 | 1篇 |
排序方式： 共有338条查询结果，搜索用时 15 毫秒
81.
王彩芬 《西北师范大学学报(自然科学版)》2001,37(3):27-32
采用Herbrand定理及归结原理证明在程序证明中遇到的逻辑公式是可满足的。并给出了相应的算法;同时讨论了已知循环程序中循环不变式的求解方法。 相似文献
82.
83.
证明与模态命题系统S2－S4等价的系统P2－P4的布尔值为1,而分别与S1和S5等价的系统P1和P5的布尔值不能确定,由此,证明了V^B是P2－P4的布尔模型。 相似文献
84.
Goldbach猜想对于Peano公理组的条件独立性——对一些数论问题的逻辑讨论（I） 总被引：3，自引：3，他引：0
王世强 《北京师范大学学报(自然科学版)》2001,37(4):452-455
用模型论方法证明了,在对于自然数系Goldbach猜想及一阶Peano公理组的某种等价表述下,前者在逻辑上独立于后者,此外,还宣布了一些其他结果。 相似文献
85.
对李冶《测圆海镜》的新认识 总被引：1，自引：0，他引：1
和现在通行的看法相反，《测圆海镜》不是一本讨论天元术的书，与天元术有关的部分只是应用天元术以解勾股形罢了。其核心是其中的《识别杂记》部分，这里有完善的定义，完善合适的公理，丰富多彩的定理，已经建立了一个完善的公理系统，为我国数学开辟了一条公理推演的新路。 相似文献
86.
徐罗山 《陕西师范大学学报(自然科学版)》1992,(2)
利用连续格理论获得 LF 实直线 R(L)的截空间的一个表现定理.同时得到 R(L)是:(i)连通的;(ii)非强仿紧的(L≠{0,1});(iii)R(L)的底空间是平庸空间(L≠{0,1});(iV)R(L)的截空间是分明 T_2空间. 相似文献
87.
89.
悖论及其对数学发展的影响 总被引：2，自引：0，他引：2
采用历史分析和类比的方法，从悖论的定义，归纳出悖论的类型并总结了解决悖论的方法，分析了数学悖论的历史和发展，得出数学悖论既引起了著名的第三次数学危机，又推动数学的各个分支不断向前发展，并提出研究和解决悖论问题，不但可以丰富数学理论，还可以创造出新的科学观点，促进数学的研究和推动数学的发展。 相似文献
90.