形式化方法 计算机中的逻辑学原理ppt

【文件属性】：

文件名称：形式化方法 计算机中的逻辑学原理ppt

文件大小：3.95MB

文件格式：PPTX

更新时间：2013-04-25 17:38:06

形式化 计算机 逻辑学 动态逻辑 ppt

个人讲课时做的ppt，涵盖动态逻辑主要内容