计算机逻辑学PDF及PPT

[{"title":"（ 7 个子文件 13.73MB ） 计算机逻辑学PDF及PPT","children":[{"title":"逻辑学","children":[{"title":"logic 2007 习题解答 345.pdf <span style='color:#111;'> 471.73KB </span>","children":null,"spread":false},{"title":"Chapter03 Verification by Model Checking(1).pdf <span style='color:#111;'> 574.61KB </span>","children":null,"spread":false},{"title":"logic 2007 习题解答 12.pdf <span style='color:#111;'> 332.79KB </span>","children":null,"spread":false},{"title":"面向计算机科学的数理逻辑.pdf <span style='color:#111;'> 11.76MB </span>","children":null,"spread":false},{"title":"Chapter02 Predicate Logic(1).pdf <span style='color:#111;'> 305.73KB </span>","children":null,"spread":false},{"title":"Chapter04 Program Verification.pdf <span style='color:#111;'> 592.49KB </span>","children":null,"spread":false},{"title":"Chapter01 Propositional Logic.pdf <span style='color:#111;'> 304.98KB </span>","children":null,"spread":false}],"spread":true}],"spread":true}]