语言、逻辑与文化

王克喜著2013 年出版206 页ISBN：9787516136720

本文集是作者从事逻辑学教学和研究以来的关于逻辑和语言的思考，对语言影响思维，思维进而影响逻辑类型进行了一些探索和尝试，特别是对被西方学者称之为过程语言的汉语以及被称之为关联性思维的中国型思维及其对...

诉讼论证 诉讼博弈的逻辑分析

熊明辉著2010 年出版361 页ISBN：9787562034469

本书在分析现有框架不足的基础上从论证博弈的角度发展了一种基于广义非形式逻辑的诉讼论证博弈框架。本书选题新颖、内容翔实、论据充分、论证有力，采用历史分析方法、比较分析方法、案例分析方法、跨学科分...

执行的逻辑

孙正元著2013 年出版236 页ISBN：9787121193323

本书是一本关于工作执行的书籍。其主要内容是一套简单易懂却又富有逻辑的工作执行方法。本书共分为七个章节，首先阐述了逻辑思考对工作的重要性，并提出了一套科学的工作方法；然后又在各章节中逐一讲解这套工作...

司法前沿的逻辑与实证

董皞主编2007 年出版686 页ISBN：9787802175556

本书由珠海市中级人民法院编，集合了沿海开放地法院一线法官近三年的理论研究成果和调查研究实证共60余篇。文稿分为学术理论篇和调研课题篇。涉及面广，内容充实。既展现了现代法官审理案件的理论思维，又体现了...

名辩艺术与思维逻辑 修订版

董志铁著（北京师范大学）2007 年出版242 页ISBN：9787504330543

本书主要研究名辩思潮产生的历史背景、名辩学之名与逻辑学概念理论、名辩学之辞与逻辑学命题理论、名辩之说与逻辑学的推理理论以及名辩学之辩与逻辑学的论证理论等。...

1963年全国数理逻辑专业学术会议论文选集

中国电子学会电子计算机专业委员会编1965 年出版130 页ISBN：15034·869

中国协商政治发生与演变逻辑

黄福寿著2009 年出版232 页ISBN：9787208087606

本书用“协商政治”的概念来表达近现代中国政治发展中的一条独特线索。纵观近百年中国政治发展历史，作为一种政治形态的“协商政治”贯穿其中，尽管其演变路径曲曲折折，但始终存在并运行着。本书欲揭示和探讨的...

逻辑思维500题 2

于雷编著2009 年出版325 页ISBN：9787802502697

本书精选了500个经典的逻辑训练题目，按解题方法分为排除法、递推法、倒退法、假设法、计算法等九种常用的逻辑思维方法分类，让读者亲身实践一下这些方法如何应用。并根据读者水平的不同将题目分为初级、中级...

数字逻辑 第2版

何火娇主编；华晶，殷华，肖志勇副主编2013 年出版217 页ISBN：9787113171971

本书是计算机科学与技术、软件工程等信息专业本科“数字逻辑”课程教材。 全书共分为九章，主要内容有：数字逻辑的基本概念、基本逻辑运算电路、逻辑代数和逻辑函数的化简、组合逻辑电路、触发器、时序逻辑电...

高阶逻辑辅助证明系统

（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631

本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...