天津大学逻辑与形式化方法复习资料.rar 下载 practical3876 12 0 RAR 2020-11-21 04:11:58 天津大学逻辑与形式化方法复习资料,其中包括: 1.命题逻辑 2.一阶逻辑 3.Z语言的类型及构造单元 4.关系 5.函数 6.模式与规格说明 7.序列 8.包 9.Z语言规格说明的形式推理 10.模型检测 立即下载 微信扫一扫:分享 微信里点“发现”,扫一下 二维码便可将本文分享至朋友圈。