书堆儿服务号
书堆儿App
共52777条关于“的”的搜索结果
  • 基于时序逻辑的Resolution自动定理证明方法

    作者 : 章岚
    出版时间 : 2021/9/1
    内容简介 : 时序逻辑是人工智能和计算机科学领域中的重要建模工具。随着时序逻辑的广泛使用,应用时序逻辑来对复杂系统进行推理和验证的算法也应运而生。其中成功的方法之一就是Resolution算法,这也是本书的主题。 1965年美国数理逻辑专家鲁滨逊(J. A. Robinson)提出了一条Resolution推理规则,这标志着Resolution算法的起点。因其简洁性(整个推理过程中只使用一条推理规则)和便于机械操作的特点,Resolution算法得到了各国学者的重视,并且在各国学者的推动下发展得非常迅速。经过几十年的发展和持续的改进,到目前为止,Resolution算法在经典逻辑中已经趋于成熟。 本书主要聚焦Resolution算法在时序逻辑领域的研究,详细介绍了把Resolution算法从表达能力较弱的时序逻辑逐渐向表达能力较强的时序逻辑进行拓展和优化的研究成果。主要涉及以下几种时序逻辑: (1)线性时序逻辑(Propositional Linear-Time Temporal Logic) (2)计算树逻辑(Computation Tree Logic)和其扩展(Extended Computation Tree Logic) (3)交互时序逻辑(Alternating-Time Temporal Logic)
    价格 : 55
  • 新时期乡村治理的路径研究

    作者 : 章 浩、李国梁、刘莹
    出版时间 : 2021/9/1
    内容简介 : 本书首先通过文献梳理和实地调研相结合的方式归纳总结当前我国乡村发展面临的主要问题,按照唯物辩证法惯用的结构性问题解法,围绕治理主体、治理对象、治理目标、治理机制与模式等主要维度展开具体分析,旨在总结我国当前乡村治理面临的主要问题,并以问题为导向,借鉴国内外成熟的解决方案,提出新时期乡村治理的可行路径。全书共由9个章节构成,章首先从理论视角上给予乡村治理一个明确的内涵界定,同时结合现实观察,归纳我国乡村治理所面临的主要问题。第二章从参与乡村治理各主体的视角切入,分析各主体在乡村治理过程中的权责担当,以及各主体之间能否形成多元共治的乡村治理参与模式。第三章到第六章从当前比较突出的乡村发展问题切入,不求面面俱到,但聚焦特定问题有针对性深入分析问题的特点及问题产生的原因。第七章和第八章围绕具体问题,从国内国外两个维度找寻解决问题的成熟经验与模式。第九章从整体性的角度提出完善乡村治理体系,提升乡村治理能力的可行路径。
    价格 : 45
  • 日常与狂欢:北京的传统节庆活动

    作者 : 牛杰
    出版时间 : 2022/1/1
    内容简介 : 本书详细介绍了北京的传统节日,包括春节、元宵节、清明节、端午节、七夕节、中元节、中秋节、重阳节、过腊月等。中国传统节日是中国传统文化精神的体现之一,通过对节日民俗活动和节日文化的详细介绍,本书全景式展示了北京传统节日文化的瑰丽多彩,“京味儿”实足,引人入胜。全书语言活泼生动,描摹细腻,并通过中西方节日文化的对比,让读者进一步认识到北京传统节日习俗的独特魅力。本书适合来华留学的外国留学生和喜欢中国文化的外国友人阅读,也是一本国内中小学生了解北京传统文化的适宜读物。
    价格 : 49
  • 私募基金与资管行业:募、投、管退中的疑难精解

    作者 : 孟庆君
    出版时间 : 2022/2/1
    内容简介 : 本书是关于私募基金和资管行业中募、投、管、退中争议解决疑难案例研究的法律实务用书。案例分为诉讼类仲裁案例和非诉讼类案例两大类。作者拥有丰富的资本市场私募领域的法律实践经验,作者将其经办的案例加以汇编,同时结合相关法律规定和法理分析对案例的法律适用、司法实践进行阐述。本书对于私募领域的法律风险的预防具有较强的参考意义,从私募合同、合伙人协议、信托、股权回购、资金拆借等易发生法律纠纷的领域提出了相应的法律观点。本书可作为私募从业人员和法律实务工作人员的参考用书。
    价格 : 38
  • 进口产品质量对我国企业性别工资差距的影响研究

    作者 : 文磊
    出版时间 : 2021/12/1
    内容简介 : 长期以来,我国实施出口导向型贸易政策,大力发展出口贸易。伴随进口贸易的快速扩张,我国企业性别工资差距也不断扩大。女性相对于男性收入的比例由1988年的88.4%下降到1995年的82.5%,2007年进一步下降到78.28%。本书从进口产品质量入手,通过定性分析和定量分析相结合的方式,考查进口扩张对我国企业性别工资差距的影响。在以稳增长、调结构、提质量为特征的外贸新常态下对进口产品质量与我国企业性别工资差距进行研究,不仅有助于我国在传统比较优势弱化、国内资源环境压力增大的背景下逐渐形成以品牌、技术、质量、服务为核心的竞争新优势,也为调整收入分配格局提供一定的理论支撑和实践指导。
    价格 : 59
  • 孔子的仁礼思想

    作者 : 魏建武
    出版时间 : 2022/1/1
    内容简介 : 仁与礼是孔子思想中两个为核心的概念。但是,礼在孔子思想中的意义与位置,在古今中西之变的现代陷入了尴尬的境地。本书无意于纯粹指出孔子的思想与现代价值的对立或者共通,也无意于直接论证孔子思想相对现代价值的正当或无效,而是希望阐明,孔子对以宗法等级制度为代表的礼乐文化及其正当性的理解与反思,需要得到正视,需要得到全面的理解。真正理解孔子,需要从孔子的思路出发,正视孔子对其所处的历史的断续与文明的一多状况中礼乐文化制度的审慎态度,理解孔子对以礼表示的各种言行及其正当性的忧虑和反思。孔子的仁礼思想,并非仅仅是提供了一种维护特定礼的立场或理论,他关心的事情,正是古今中西共同面对的根本的正当性问题,即,在历史的断续与文明的一多状况中,如何才能真正正当地判定自身与他者的思想与言行。
    价格 : 39
  • 区域创新系统中创业型大学的组织行为研究

    作者 : 郜晖
    出版时间 : 2022/10/1
    内容简介 :
    价格 : 42
  • 技术文档翻译可视化知识服务平台的构建与原理

    作者 : 李双燕
    出版时间 : 2022/12/1
    内容简介 : 技术文档翻译关乎企业全球化进程,是我国语言服务行业重要但却长期被忽视的领域,其翻译质量受制于译员对专业领域知识的系统理解。为帮助译员高效习得领域知识,本书借助知识本体技术,模拟人类认知思维过程,以云计算领域为例,构建了面向技术文档翻译的知识服务平台,论述了其构建原理、模型、流程及应用前景等。本书的研究源于技术写作行业实践,诉求于翻译人才专业知识水平的提高,延伸于企业国际形象建设,落脚于知识服务体系探索,回归于技术文档翻译质量。此过程体现了应用翻译研究与其他学科交叉融合的发展本质,更体现了数字人文建设的旨归。
    价格 : 49
  • 电话营销员必会的8种手段

    作者 : 张静 著
    出版时间 : 2011/6/1
    内容简介 :     《电话营销员必会的8种手段》用逐层推进的方式详细介绍了电话营销中说、听、问、想的技巧。无论你在打电话前、打电活中,还是在打电话后遇到难以解决的问题,都可以通过本书来寻求帮助。
    价格 : 28
  • 已经发生的未来属性(云计算环境下的产业变革)

    作者 : 张海宏 著
    出版时间 : 2011/7/1
    内容简介 :   如果我们的认知、方向偏离了未来“属性”的趋势,不论我们怎样努力,一切都将不再重要,因为你已经无足轻重了,忽略未来“属性”的你将远离趋势。   我们更应当从事物本质属性的 “全局性”角度去辨识这些无序的产业趋势。   本书《已经发生的未来属性(云计算环境下的产业变革)》以事物本质属性的“全局性”分析方法,帮助企业管理者摆脱战略迷失现象,以属性的“全局性” 角度去揭示云计算环境下即将发生的新兴产业变革趋势。
    价格 : 32
精彩图书推荐