离散数学导论 数理逻辑·集合·关系部分

本书内容包括数理逻辑，集合论，二元关系三部分。

波科学的数理逻辑

本书收集了黄志洵教授在不同时期发表的科学论文31篇，收入逯贵祯教授于2011年3月发表的文章“黄志洵教授的科学贡献”以及黄志洵的一些旧体诗作。...

逻辑代数讲义 附：集合论讲义上册习题解答

逻辑与演绎科学方法论导论

本书是著名的逻辑学家塔尔斯基对于现代数理逻辑进行了系统阐述的著作。

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

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

数理逻辑

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

数理逻辑的思想与方法

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

电磁场理论形式逻辑分析

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

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

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