大约有6,858项符合查询结果项。（搜索耗时：0.0802秒）
为您推荐： 错误逻辑 逻辑错误 错误 个错误 河边的错误 犯的个错误
-
司法前沿的逻辑与实证
董皞主编2007 年出版686 页ISBN：9787802175556本书由珠海市中级人民法院编，集合了沿海开放地法院一线法官近三年的理论研究成果和调查研究实证共60余篇。文稿分为学术理论篇和调研课题篇。涉及面广，内容充实。既展现了现代法官审理案件的理论思维，又体现了...
-
名辩艺术与思维逻辑 修订版
董志铁著（北京师范大学）2007 年出版242 页ISBN：9787504330543本书主要研究名辩思潮产生的历史背景、名辩学之名与逻辑学概念理论、名辩学之辞与逻辑学命题理论、名辩之说与逻辑学的推理理论以及名辩学之辩与逻辑学的论证理论等。...
-
-
中国协商政治发生与演变逻辑
黄福寿著2009 年出版232 页ISBN：9787208087606本书用“协商政治”的概念来表达近现代中国政治发展中的一条独特线索。纵观近百年中国政治发展历史，作为一种政治形态的“协商政治”贯穿其中，尽管其演变路径曲曲折折，但始终存在并运行着。本书欲揭示和探讨的...
-
逻辑思维500题 2
于雷编著2009 年出版325 页ISBN：9787802502697本书精选了500个经典的逻辑训练题目，按解题方法分为排除法、递推法、倒退法、假设法、计算法等九种常用的逻辑思维方法分类，让读者亲身实践一下这些方法如何应用。并根据读者水平的不同将题目分为初级、中级...
-
-
高阶逻辑辅助证明系统
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
-
多元视阈中的规范逻辑研究
周琦著2018 年出版88 页ISBN：9787569023329本书为逻辑学研究学术专著，综合运用了逻辑、哲学、科学史与科学哲学（科学方法论）、法学等多学科或跨学科的工具和研究方法，相对全面地分析了规范逻辑，对主要研究规范问题的规范逻辑有比较客观和新颖的多维考察。...
-
我的第一本逻辑思考入门
（日）西村克己著；赵海涛译2019 年出版203 页ISBN：7218133517逻辑思考，简单的来说，就是“有条理的思考”。一旦掌握逻辑思考的窍门，便能让生活更加美好，工作上事半功倍！本书开头，先简单介绍逻辑思考的意义，让读者有一个初步的了解；接着以渐进式的方式，详述如何学习逻辑......
-
