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

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

数理逻辑 【数理化】

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

数理逻辑的思想与方法 【数理化】

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

电磁场理论形式逻辑分析 【数理化】

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

证明与反驳 数学发现的逻辑 【数理化】

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

FBI逻辑推理学 【数理化】

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

数理逻辑与数学基础习题集 【数理化】

信息、智能与逻辑：第1卷 【数理化】

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

分子逻辑计算 【数理化】

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