刘辰著2018 年出版286 页ISBN:9787565331619
侦查环节是人权保障与国家权力冲突最为激烈的领域,也是冤假错案产生的源头,我国对侦查权力监督不足造成冤假错案层出不穷,侵犯人权屡禁不止。加强对侦查权的监督制约是我国诉讼制度改革必须面对的现实课题。文...
张超编著2014 年出版226 页ISBN:9787518300563
想让智商真正提高,让思维彻底变革,让你越练越聪明吗?那么,逻辑游戏会帮助你快速实现。本书将逻辑推理题目分为数字谜题、图形联想、趣味推理、位置排序、破案侦探、真假判断、反向推断七个方面,使多种题型交叉,.....
商在明,余式厚编著2011 年出版245 页ISBN:9787301191460
LGMAT是Graduate Management Admission Test的缩写,中文名称为经企管理研究生入学考试。它是当前最为可靠的测试考生是否具备顺利完成工商管理硕士项目学习能力的考试项目,专门帮助各商学院或工商管理硕士项...
陆钟万著2002 年出版263 页ISBN:7030096576
《面向计算机科学的数理逻辑(第2版)》叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容,包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑。《面向计算机科学的数理逻辑(第2版)》在选材...
李培林著2013 年出版396 页ISBN:9787516120583
本书为作者学部委员文集,收录全部学部委员和部分荣誉学部委员上一年度公开发表的代表性的研究报告和学术论文,作者从社会转型理论研究、社会学学术史研究、中国经验研究、社会分层研究、社会管理和社会政策研...
刘志彪,郑江淮等著2010 年出版646 页ISBN:9787300115979
本书从经济发展模式,发展动力及福利变化等三个方明阐释长三角经济发展过程中的经验。
(荷)L.T.F.,哈姆特著;满海霞,张璐,邹崇理译2017 年出版355 页ISBN:9787100121286
全书分为两卷,第一卷从分析自然语言的需要出发,系统地介绍了现代逻辑的基础部分(古典命题逻辑和谓词逻辑)、现代逻辑的变异部分(多值逻辑),以及进行形式语言学研究所需要的其他知识(语用学和形式文法等内容)。这...