注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

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

  2. 天津大学逻辑与形式化方法复习资料，其中包括： 1.命题逻辑 2.一阶逻辑 3.Z语言的类型及构造单元 4.关系 5.函数 6.模式与规格说明 7.序列 8.包 9.Z语言规格说明的形式推理 10.模型检测

  3. 所属分类：讲义

    • 发布日期：2020-11-17
    • 文件大小：7340032
    • 提供者：qq_44760699