离散数学（数理逻辑），离散数学 尹宝林版
北京航空航天大学计算机学院


教学参考书：
离散数学 尹宝林版
离散数学答案（尹宝林版）（1）.pdf
期末习题
马散课件

4归结法.pdf
1命题逻辑.pdf
2谓词逻辑.pdf
3逻辑公理系统.pdf
slide1-introduction.pdf
2.bigdata-dataming数据挖掘.pdf
1.bigdata-overview大数据.pdf
slide2-history.pdf
MathematicalLogic英文.pdf