全文获取类型
收费全文 | 4833篇 |
免费 | 93篇 |
国内免费 | 209篇 |
专业分类
系统科学 | 191篇 |
丛书文集 | 168篇 |
教育与普及 | 97篇 |
理论与方法论 | 269篇 |
现状及发展 | 45篇 |
综合类 | 4365篇 |
出版年
2024年 | 20篇 |
2023年 | 64篇 |
2022年 | 80篇 |
2021年 | 72篇 |
2020年 | 69篇 |
2019年 | 54篇 |
2018年 | 23篇 |
2017年 | 41篇 |
2016年 | 61篇 |
2015年 | 77篇 |
2014年 | 208篇 |
2013年 | 192篇 |
2012年 | 235篇 |
2011年 | 293篇 |
2010年 | 263篇 |
2009年 | 266篇 |
2008年 | 358篇 |
2007年 | 348篇 |
2006年 | 262篇 |
2005年 | 247篇 |
2004年 | 228篇 |
2003年 | 239篇 |
2002年 | 203篇 |
2001年 | 197篇 |
2000年 | 151篇 |
1999年 | 114篇 |
1998年 | 107篇 |
1997年 | 108篇 |
1996年 | 111篇 |
1995年 | 88篇 |
1994年 | 68篇 |
1993年 | 54篇 |
1992年 | 43篇 |
1991年 | 59篇 |
1990年 | 43篇 |
1989年 | 44篇 |
1988年 | 23篇 |
1987年 | 9篇 |
1986年 | 7篇 |
1985年 | 2篇 |
1982年 | 1篇 |
1981年 | 1篇 |
1978年 | 1篇 |
1932年 | 1篇 |
排序方式: 共有5135条查询结果,搜索用时 15 毫秒
991.
采用Lattice公司的可编程逻辑器件ispLSI 1016的设计出可扩量程的数字频率计,给出了设计过程及部分模块的电路结构。 相似文献
992.
文章从历史发展的角度论述了语用学与语义学的产生.它们都是对语言意义的研究但所覆盖的层次不同,语用学可以说是对语义学的补充.正是因为语用学的出现,人们才找到了自然语言的逻辑. 相似文献
993.
杨晓斌 《淄博学院学报(自然科学与工程版)》2001,3(1):12-15
本在模糊命题逻辑演绎系统的基础上,引入了模糊意义下的一阶逻辑的相关概念,建立了模糊一阶(谓词)逻辑的准形式演绎系统。并且证明了相应的可靠性定理。 相似文献
994.
莫志浩 《解放军理工大学学报(自然科学版)》2001,2(5):100-102
对于一个形式系统而言,在不改变其完备性的前提下,形式越简洁,使用越方便。现在中介命题系统MP推理规则集S的简化定价集S1已经建立,其中S1共有14条推理规则,如果这些推理规则中有一条可以由S1的其余推理规则推导出来,那么它就是不独立的,可以将其删去而不影响形式系统S1的效力,从而得到形式上更为简洁的系统。为此目的笔者利用值模型法对形式系统S1的每条推理规则的独立性一一进行了探讨,发现一条不独立的规则,并且证明了其余每条推理规则都独立于其余推理规则。 相似文献
995.
王昕 《山西师范大学学报:自然科学版》2001,15(1):35-40
针对事件驱动仿真器检测时间延迟的困难,提出时间校验网络来检测时间延迟,论述时间校验的几种方法及在时间校验中的几个问题。 相似文献
996.
基于ALTERA CPLD的单稳态脉冲展宽电路 总被引:2,自引:0,他引:2
主要介绍了CPLD设计单稳态窄脉冲展宽电路的详细过程和这种单稳态窄脉冲展宽电路的特点,给出了相应的时序仿真波形和计数器的VHDL语言设计。 相似文献
997.
Goldbach猜想对于Peano公理组的条件独立性——对一些数论问题的逻辑讨论(I) 总被引:3,自引:3,他引:0
王世强 《北京师范大学学报(自然科学版)》2001,37(4):452-455
用模型论方法证明了,在对于自然数系Goldbach猜想及一阶Peano公理组的某种等价表述下,前者在逻辑上独立于后者,此外,还宣布了一些其他结果。 相似文献
998.
裴道武 《四川大学学报(自然科学版)》2001,38(3):340-345
从语义和语法两个方面将形式演绎系统f层次化,得到f的一个扩张,从而增强了系统f的表达能力,使之能更有效地应用于模糊系统的研究,。 相似文献
999.
学习NDPI (Nature Deduction Predicate Intuitionistic)[1]时,自然会提出这样的问题:如何证明判断"P∨┑P(P是一个命题)"在该系统中是不可证的?本文就回答这个问题. 相似文献
1000.
提出基于范算子的模糊逻辑和推理, 介绍范算子
的使用方法和特点, 给出合取通过t-norm进行计算、 蕴涵通过残数进行计算的方法, 并对等值、 等价和模糊集合的语义进行讨论. 同时利用等价关系理论对模糊环境进行说明, 并给出了几个具体例子. 相似文献