数理逻辑课件

[{"title":"（ 5 个子文件 17MB ） 数理逻辑课件","children":[{"title":"数理逻辑","children":[{"title":"第1章 命题逻辑的非形式演算","children":[{"title":"第1章 命题逻辑的非形式演算.ppt <span style='color:#111;'> 1.96MB </span>","children":null,"spread":false}],"spread":true},{"title":"第3章 命题逻辑的形式演算","children":[{"title":"第3章 命题逻辑的形式演算.ppt <span style='color:#111;'> 3.80MB </span>","children":null,"spread":false}],"spread":true},{"title":"第5章 数学系统与不完全性定理","children":[{"title":"第5章 数学系统与不完全性定理.ppt <span style='color:#111;'> 4.91MB </span>","children":null,"spread":false}],"spread":true},{"title":"第4章 一阶逻辑的形式演算","children":[{"title":"第4章 一阶逻辑的形式演算.ppt <span style='color:#111;'> 7.19MB </span>","children":null,"spread":false}],"spread":true},{"title":"第2章 一阶逻辑的非形式演算","children":[{"title":"第2章 一阶逻辑的非形式演算.ppt <span style='color:#111;'> 2.96MB </span>","children":null,"spread":false}],"spread":true}],"spread":true}],"spread":true}]