1. 首页
  2. 课程学习
  3. 专业指导
  4. 面向计算机科学的数理逻辑:系统建模与推理(英文版)

面向计算机科学的数理逻辑:系统建模与推理(英文版)

上传者: 2018-12-20 05:57:30上传 PDF文件 2.15MB 热度 98次
面向计算机科学的数理逻辑:系统建模与推理
下载地址
用户评论
码姐姐匿名网友 2018-12-20 05:57:30

内容适合计算机专业的学生看。但是很复杂的样子啊

码姐姐匿名网友 2018-12-20 05:57:30

《LOGIC IN COMPUTER SCIENCE:Modelling and Reasoning about Systems》一书,英文版,共6章,443页,pdf格式,图文都清晰