Propositional natural deduction COMP2600-COMP6260.pdf
2021-08-24 19:00:41 276KB proposition
1
北邮离散数学第一章第一节ppt
2021-05-18 14:02:26 605KB BUTR
1
北邮离散数学第一章第二节ppt
2021-05-18 14:02:26 421KB BUPT
1
北邮离散数学第一章第三节ppt
2021-05-18 14:02:26 859KB BUPT
1
这是一本比较系统的介绍mathematical logic 的书。
2019-12-21 20:25:50 2.94MB propositional logic; predicate logic
1