逻辑代数与电子计算机习题解答及教学建议

数理逻辑

本书分数学基础基本理论与数理逻辑部分，其中数学基础基本理论部分包括：集合论基础、可计算性理论基础等内容，数理逻辑部分包括：形式命题演算、谓词演算、谓词演算形式系统等内容。本书可帮助学生按照“宽口径、...

数理逻辑的思想与方法

本书共分6章。第一章介绍了运算的基本思想与方法；第二章至第四章介绍了命题逻辑的思想和方法；第五六章介绍了狭谓词逻辑的基本思想与方法。...

电磁场理论形式逻辑分析

本书是一本论文集，主要涉及“电磁场理论”、两类“相对论”、20世纪“非平衡态热力学”以及“流体力学”等学科数学基础的分析。

证明与反驳 数学发现的逻辑

本书主要研究数学方法论问题。数学知识如何增长？是靠一成不变地增加千真万确的定理的数目，还是按照证明与反驳的逻辑不断改进等。

FBI逻辑推理学

本书主要从三段推理、形神推理、连锁推理、驳谬推理、归纳推理、同异推理、假设推理、逆向推理八个方面入手，结合FBI的生动鲜活案例，陈述了大量逻辑推理学知识，用贴近生活的知识将生僻抽象的逻辑学知识生动化，...

数理逻辑与数学基础习题集

信息、智能与逻辑：第1卷

本书是在“首届信息、智能与逻辑高级学术论坛”讨论成果的基础上重新写作编辑而成的。全书分为通论、特论、论坛档案三大部分，收集了10篇信息、智能与逻辑的重要文章以及本次论坛的有关文件资料。...

分子逻辑计算

本书译自英国皇家化学学会出版的《Molecular Logic-based Computation》，由中国科学院院士田禾教授进行主要翻译工作。本书是分子逻辑计算领域的权威书，涵盖了有关领域的科学研究者最前沿的学术研究成果。同...

逻辑游戏

数学思维能力的发展和提高是一个循序渐进、长期训练、螺旋上升的过程。本丛书集传授知识、开发智力、游戏娱乐于一体，既是知识载体，又是娱乐工具。本丛书共8个分册，分别是数字游戏、进阶数独、几何游戏、图形...