全文获取类型
收费全文 | 190篇 |
免费 | 4篇 |
国内免费 | 4篇 |
专业分类
系统科学 | 14篇 |
丛书文集 | 7篇 |
教育与普及 | 2篇 |
理论与方法论 | 7篇 |
现状及发展 | 6篇 |
综合类 | 162篇 |
出版年
2021年 | 2篇 |
2020年 | 3篇 |
2019年 | 1篇 |
2016年 | 3篇 |
2013年 | 4篇 |
2012年 | 5篇 |
2011年 | 9篇 |
2010年 | 8篇 |
2009年 | 12篇 |
2008年 | 8篇 |
2007年 | 8篇 |
2006年 | 14篇 |
2005年 | 12篇 |
2004年 | 9篇 |
2003年 | 10篇 |
2002年 | 10篇 |
2001年 | 9篇 |
2000年 | 6篇 |
1999年 | 5篇 |
1998年 | 8篇 |
1997年 | 4篇 |
1996年 | 7篇 |
1995年 | 5篇 |
1994年 | 2篇 |
1993年 | 6篇 |
1992年 | 4篇 |
1991年 | 7篇 |
1990年 | 9篇 |
1989年 | 1篇 |
1988年 | 3篇 |
1987年 | 3篇 |
1986年 | 1篇 |
排序方式: 共有198条查询结果,搜索用时 15 毫秒
131.
132.
从逻辑哲学观点看量子逻辑 总被引:1,自引:0,他引:1
1.根据逻辑哲学,量子逻辑可以定位于一种以非分配性为特征的非经典逻辑,它以量子力学家实际使用的科学推理为现实原型或经验基础;2.普特南从量子逻辑的产生而得出根据经验的理由,逻辑是整体可修正的结论。但他同时又主张逻辑联词的意义不变,因此陷入二难困境。3.根据量子力学几种不同解释来重新审视经验理由和逻辑可修正性论证,发现形而上学考量更不可忽视。4.对应原理具有消解普特南二难的方法论功效,量子逻辑对于经典逻辑的继承性与革新性同时可以得到合理解释。 相似文献
133.
134.
135.
蒋学锋 《贵州师范大学学报(自然科学版)》1992,10(4):22-29
本文在简介制约逻辑的基础上,提出了基于制约逻辑的消解原理,并探讨了基于这一原理的人工智能语言及其机器实现。 相似文献
136.
冉太模 《贵州大学学报(自然科学版)》1987,(2)
本文介绍作者在 IBM—PC 机上用非过程性语言 Prolog 实现的一个科技情报检索系统。本系统具有按主题词,作者,年代和类别检索功能和对情报的编辑功能。虽然具有这五种功能,但是,源程序较短。作者用该系统管理最近几年由《Mathematical Riew》,《Computer&.Control Abstracts》和《Mathematics Abstract》(西德)等三种刊物提供的关于数理逻辑和理论计算机方面的研究情报,使用方便、检索速度快,证明了本系统的实用性。 相似文献
137.
138.
多值T门的电路实现及其应用 总被引:2,自引:1,他引:1
张德龙 《安徽大学学报(自然科学版)》1990,14(2):45-56
本文在介绍多值T门算子概念的基础上,着重研究了如何运用DYL集成线性与或门实现多值T门及其在多值逻辑网络设计中的应用。 相似文献
139.
徐本顺 《曲阜师范大学学报》1988,(3)
本文简单评述了中年数学家朱梧槚所取得的几项重要科研成果:1955—1957年,他与著名数学家徐利治教授合作,获得了连续统假设不可判定的正确思想,并且给出了一个朴素而直观性的证明;1979—1987年,与人合作在数学基础理论方面主要作了如下两件工作,其一是抛球问题的解决,其二是关于有穷或无穷值逻辑悖论的构造;1982—1987年,他与肖奚安合作共同创立了中介公理集合论系统MM。 相似文献
140.
数字多路选择器网络设计的一种代数方法 总被引:3,自引:0,他引:3
姜文彬 《系统工程与电子技术》2002,24(3):99-103
多路选择器是一种重要的多功能通用逻辑元件。利用布尔代数运算 ,导出了求布尔函数的简化的不相交SOP形式的一种代数方法 ,提出了基于这种SOP形式的数字多路选择器网络设计的一种代数方法。这种方法可以使待设计的数字多路选择器网络简化到最小树形网络。给出的设计实例说明这种方法是有效而易行的 相似文献