天津大学逻辑与形式化方法复习资料.rar

[{"title":"（ 21 个子文件 7.29MB ） 天津大学逻辑与形式化方法复习资料.rar","children":[{"title":"课件","children":[{"title":"11-序列.pdf <span style='color:#111;'> 550.51KB </span>","children":null,"spread":false},{"title":"04-一阶逻辑.pdf <span style='color:#111;'> 344.97KB </span>","children":null,"spread":false},{"title":"20-模型检测LTL.pdf <span style='color:#111;'> 604.77KB </span>","children":null,"spread":false},{"title":"18-Z规格说明的形式推理2.pdf <span style='color:#111;'> 285.86KB </span>","children":null,"spread":false},{"title":"02-lec_set_theory.pdf <span style='color:#111;'> 172.02KB </span>","children":null,"spread":false},{"title":"12-序列的应用.pdf <span style='color:#111;'> 224.81KB </span>","children":null,"spread":false},{"title":"14-包2.pdf <span style='color:#111;'> 270.44KB </span>","children":null,"spread":false},{"title":"08-函数.pdf <span style='color:#111;'> 397.06KB </span>","children":null,"spread":false},{"title":"03-命题逻辑.pdf <span style='color:#111;'> 288.10KB </span>","children":null,"spread":false},{"title":"15-规格说明的实例1.pdf <span style='color:#111;'> 187.02KB </span>","children":null,"spread":false},{"title":"17-Z规格说明的形式推理1.pdf <span style='color:#111;'> 420.41KB </span>","children":null,"spread":false},{"title":"13-包1.pdf <span style='color:#111;'> 315.54KB </span>","children":null,"spread":false},{"title":"10-模式与规格说明2.pdf <span style='color:#111;'> 482.60KB </span>","children":null,"spread":false},{"title":"19-模型检测引论.pdf <span style='color:#111;'> 513.71KB </span>","children":null,"spread":false},{"title":"09-模式与规格说明1.pdf <span style='color:#111;'> 386.48KB </span>","children":null,"spread":false},{"title":"07-关系2.pdf <span style='color:#111;'> 448.46KB </span>","children":null,"spread":false},{"title":"21-模型检测Promela.pdf <span style='color:#111;'> 499.96KB </span>","children":null,"spread":false},{"title":"16-规格说明的实例2.pdf <span style='color:#111;'> 186.32KB </span>","children":null,"spread":false},{"title":"06-关系.pdf <span style='color:#111;'> 391.28KB </span>","children":null,"spread":false},{"title":"05-Z的类型与构造单元.pdf <span style='color:#111;'> 574.95KB </span>","children":null,"spread":false},{"title":"01-lec_intro.pdf <span style='color:#111;'> 2.03MB </span>","children":null,"spread":false}],"spread":false}],"spread":true}]