雍琦主编2002 年出版431 页ISBN:7562009503
在审理案件活动中,司法人员将一般性法律规定适用于具体案件而得出判决或裁定结论的过程,亦即法律适用的过程,是运用法律推理的过程,主要体现为对判决或裁定结论的阐释和论证。法律推理的运用,不但是一种创造性的...
赵昌文,朱鸿鸣著2015 年出版214 页ISBN:9787508651002
本书将金融与实体经济之间对立统一、竞争合作的关系概括为金融竞合观。基于金融竞合观,本书区分了中国金融体系实际上存在的两类问题。一是金融服务实体经济效率不高,金融体系未能有效支持实体经济中的创新型...
何传启著2013 年出版285 页ISBN:9787030374134
如果把摄影镜头对准人类发展的世界前沿,可以发现250万年以来,人类发展大致经历了四个时代,即工具时代、农业时代、工业时代和知识时代。如果说从农业时代向工业时代的转移过程是第一次现代化,那么从工业时代向...
李景华,杜玉远主编2014 年出版496 页ISBN:9787551707084
本书内容包括:编程逻辑器件基础、数字系统设计、VHDL、典型数字系统设计方法及其实例;同时总结SOPC技术实践的经验和体会的基础上,阐述了SOPC技术的应用器件结构与工作原理、SOPC的硬件设计和软件设计及其IP核...
苏永生著2013 年出版307 页ISBN:9787010119359
在国外,刑事法治发展是否具有区域性特征?在我国历史上,刑事法制是否走的也是区域化道路?我国当前的刑事法治实践样态是否具有区域性?在刑事法治上是否应当走区域化发展道路?这是我国刑事法治建设中面临的重要问.....
邹崇理等著2018 年出版500 页ISBN:9787030563187
逻辑语义学,就是依据现代逻辑的思想或采用现代逻辑的工具研究自然语言的句法生成尤其是语义组合规律的学科。在逻辑语义学看来,自然语言句法-语义结构都是通过规则的递归应用,由初始元组合生成出来的,其任务就...
复杂性内在逻辑 从数学到可持续世界 Grammar of Comp 英文版
DimitriVolchenkov著2017 年出版272 页ISBN:9787040479409
复杂系统中的关系通常定义在两个以上的事物之间,因此可以用超图和具有更加复杂的多维数的对象表示。本书简要介绍复杂性和复杂系统科学,并且讨论基于尺度随机游动信息流分析的多层级复杂系统定量描述的通用信...
(德)雷纳·齐特尔曼(Rainer Zitelmann)著2016 年出版201 页ISBN:9787509790397
本书的创新与亮点有三:1.首次基于学术性的财富研究撰写的面向普通公众的著作。近年财富研究成为德国和美国几所大学新设立的学科。本书中,作者使用了这些研究发现,以可读性、娱乐性的形式展现给读者,以回答如何...
刘宇著2017 年出版258 页ISBN:752032057X
自近代以来,中国社会从臣民到公民的艰难求索历经百年,尽管宪法一再确立公民的法律地位,以明晰的条文赋予公民应有的权利与义务,然而现实中个人不可剥夺的生命财产权与现代法权主体却始终难以生成。市场经济体制...
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
(德)Michael Huth,(英)Mark Ryan著;何伟,樊磊译2007 年出版277 页ISBN:7111213971
本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题,反映了计算机科学中数理...