文件名称：天津大学逻辑与形式化方法复习资料.rar
文件大小：7.29MB
文件格式：RAR
更新时间：2023-12-08 12:56:57
形式化 天津大学 复习 考试 逻辑推理
天津大学逻辑与形式化方法复习资料，其中包括： 1.命题逻辑 2.一阶逻辑 3.Z语言的类型及构造单元 4.关系 5.函数 6.模式与规格说明 7.序列 8.包 9.Z语言规格说明的形式推理 10.模型检测
【文件预览】：
课件
----11-序列.pdf(551KB)
----04-一阶逻辑.pdf(345KB)
----20-模型检测LTL.pdf(605KB)
----18-Z规格说明的形式推理2.pdf(286KB)
----02-lec_set_theory.pdf(172KB)
----12-序列的应用.pdf(225KB)
----14-包2.pdf(270KB)
----08-函数.pdf(397KB)
----03-命题逻辑.pdf(288KB)
----15-规格说明的实例1.pdf(187KB)
----17-Z规格说明的形式推理1.pdf(420KB)
----13-包1.pdf(316KB)
----10-模式与规格说明2.pdf(483KB)
----19-模型检测引论.pdf(514KB)
----09-模式与规格说明1.pdf(386KB)
----07-关系2.pdf(448KB)
----21-模型检测Promela.pdf(500KB)
----16-规格说明的实例2.pdf(186KB)
----06-关系.pdf(391KB)
----05-Z的类型与构造单元.pdf(575KB)
----01-lec_intro.pdf(2.03MB)