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

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

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

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

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

逻辑思维500题 2

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

数字逻辑 第2版

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

高阶逻辑辅助证明系统

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

动画导论

本教材的编写，特别重视以动画专业特点为基础，在教育和心理学理论指导下，结合教与学的实际，从内容、形式到教学手段，作了符合教学规律和教材特殊要求的钻研与探究。...

儿童文学导论

本书是短篇小说集，收集作者1980年以来创作的16篇反映少数民族山区生活的短篇小说。

西方文化导论 教师用书

本书是与教材配套的教师用书，提供教学指导。

计算机导论

本书是大学计算机专业和相关IT专业的基础课程，涉及计算机学科的各个方面。