很好的内容，一直没有找到纸面书籍。推荐大家下载阅读。

介绍图灵机和哥德尔定理等和一些数学逻辑常识。 这个翻译版本已经不再出版与喜好数学的亲们分享。

Haskell road to logic，maths and programming是一本很实用的应用类书籍，其中详细讲解了离散数学中相关知识理论在编程中的具体映射关系，很透彻地表征了编程中的离散数学思想。

华南理工大学《数学逻辑》期末考试试卷（含答案）

这是一个使用卡诺图化简法化简逻辑函数的程序 这是什么东西？可以看一下百度百科的介绍 卡诺图-百度百科 https://baike.baidu.com/item/%E5%8D%A1%E8%AF%BA%E5%9B%BE 卡诺图化简法-百度百科 https://baike.baidu.com/item/%E5%8D%A1%E8%AF%BA%E5%9B%BE%E5%8C%96%E7%AE%80%E6%B3%95 由初二的Chesium于2020/8开发 初衷是因为一道题 https://www.luogu.com.cn/problem/P6127 例子、用法都在程序内，大家可以自己去试一下