(集合论、命题逻辑、谓词逻辑,参考《离散数学》左版)
(形式系统部分的定理证明参考哈工大计算机学院2009)
{ -----欢迎大家后续关注离散图论部分的更新哦~~~ }
立减 ¥
请填写红包祝福语或标题
红包个数最小为10个
红包金额最低5元
抵扣说明:
1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。 2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。