首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   272篇
  免费   30篇
  国内免费   13篇
  2024年   5篇
  2023年   15篇
  2022年   5篇
  2021年   5篇
  2020年   5篇
  2018年   2篇
  2017年   1篇
  2016年   2篇
  2015年   6篇
  2014年   22篇
  2013年   13篇
  2012年   17篇
  2011年   20篇
  2010年   21篇
  2009年   23篇
  2008年   24篇
  2007年   12篇
  2006年   15篇
  2005年   14篇
  2004年   17篇
  2003年   9篇
  2002年   8篇
  2001年   7篇
  2000年   7篇
  1999年   7篇
  1998年   8篇
  1997年   4篇
  1996年   4篇
  1994年   3篇
  1993年   2篇
  1992年   5篇
  1991年   3篇
  1989年   3篇
  1988年   1篇
排序方式: 共有315条查询结果,搜索用时 15 毫秒
1.
提出了结合逻辑和面向对象范例的一种新方法,其特点是在统一的逻辑语义和对象语义解释的基础上,同时支持逻辑语言的描述性特征,和面向对象语言的结构化、信息隐藏、继承等特性;并在逻辑语言的Herbrand解释基础上,探讨了逻辑对象的语义解释;最后给出了我们根据这种方法设计并实现的面向对象逻辑程序设计系统所提供的对象操作原语。  相似文献   
2.
基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑(Global Temporal Logic)GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。  相似文献   
3.
理想图式是解决主客体矛盾的理论形式。作为观念形态的人化自然,它深刻地体现着人类解决主客体矛盾的主观能动性质。理想图式又是理性认识的最终成果,它作为理性认识高级阶段的产物,揭示着人类理性认识的实质。理想图式的形成是辩证法、认识论和逻辑学的统一。辩证法的五对范畴,可作为创造性认识的逻辑构架,以刻画理想图式形成的逻辑历程。  相似文献   
4.
当前,中国正由航天大国迈向航天强国。中国航天技术的发展是在马克思主义科技观指导下,特别是在习近平新时代中国特色社会主义思想中的科学技术观指导下,航天科技企业贯彻落实了科技向善的理念,取得了显著的成效。截至目前,中国在航天领域取得了一系列重大成就,如长征系列运载火箭、嫦娥探月工程、火星探测、天宫空间站等等。这些成就得益于中国航天科技工作者践行的责任化自主创新,其体现了哲学基础与实践逻辑的统一。  相似文献   
5.
许纪文 《国防》2008,(10):67-69
士官是部队现代化建设的骨干力量,是部队战斗力生成的重要基础,必须着眼军队质量建设需要,依托国民教育资源,拓宽士官来源渠道,扎实做好从普通高等学校毕业生中招收士官工作,为推进中国特色军事变革和军队现代化建设奠定坚实基础。一、充分认清招收士官工作的重要意义。胡锦涛主席强调,要加快建立和完善军民结合、寓军于民的军队人才培养体系,充分利用经济社会发展成果推进国防和军队现代化建设。从普通高等学校毕业生中招收士官是认真贯彻胡主席重要指示,  相似文献   
6.
唐立达 《国防》2008,(11):60-60
今年8月28日至9月2日,广西军区司令部、广西壮族自治区教育厅组织南宁、桂林两个学生军训教研室的派遣军官进行军事理论课试讲评教活动。广州军区综合训练基地和驻邕高等院校的部分专家教授对  相似文献   
7.
高连宝  周治家 《国防》2008,(9):58-58
为进一步贯彻落实教育部、总参谋部、总政治部颁发的《普通高等学校军事课教学大纲》,进一步提高军事教师的军事理论水平和教学能力,促进学生军训工作深入开展,前不久,  相似文献   
8.
仅有推理公式而没有明确的关系性质,推理无法进行;关系性质虽然确定,却用文字加以说明,推理就是非形式的。怎样摆脱这种两难困境?出路就在于正确揭示关系推理的结构关系并将之符号化。这对完善普通逻辑或关系理论有重要意义。  相似文献   
9.
协议的可追究性为解决电子商务纠纷提供了重要的不可否认的证据,有必要深入分析SET协议的可追究性.Kailar逻辑是一种针对电子商务协议的可追究性而开发的形式化分析工具.先对SET协议进行了形式化的表述,然后利用一种改进的Kailar逻辑对SET协议的可追究性进行分析,结果表明协议只能满足商家和支付网关的可追究性,而不能满足持卡人的可追究性.最后,对协议进行了改进,使其能够满足持卡人的可追究性.  相似文献   
10.
一是健全心理管理机构。未来信息化战争中的民众心理防护,必须有一个集中、稳定的领导层来统领全局,增强民众的凝聚力。这个领导机构要以普通民众为工作的中心,能够在紧张、激烈的战场局势下组织民众进行有序的疏散隐蔽、消除空袭后果等工作,并带领广大民众抵御敌人铺天盖地的心理攻势,努力做到战时民众各项行动有组织、有秩序和保持民众心理稳定。  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号