文件名称：数理逻辑课件
文件大小：6.11MB
文件格式：RAR
更新时间：2015-12-30 14:27:10
数理逻辑 课件
Probabilistic Model Checking 英文版 和中文版的 上课老师的课件
【文件预览】：
第一章Propositional logic.ppt
第五章 SAT-based Symbolic Model Checking of LTL.ppt
第二章Predicate logic.ppt
02-dtmcs.pdf
第四章 modal logic and agents.ppt
第三章Verification by Model Checking.ppt