离散数学 7.2分
读书笔记 第二章 命题逻辑的等值演算
yangguangyuan

整章精读,2.4可满足性问题与消解法,暂时未读懂,读懂一半,定理2.10(消解的完全性),该定理的证明尚未完全搞清楚

0
《离散数学》的全部笔记 2篇
豆瓣
免费下载 iOS / Android 版客户端