Logic for Applications

计算机系统结构

原   价:
1548.75
售   价:
1239.00
优惠
平台大促 低至8折优惠
作      者
出  版 社
出版时间
1997年01月17日
装      帧
精装
ISBN
9780387948935
复制
页      码
456
语      种
英语
版      次
2
综合评分
暂无评分
我 要 买
- +
库存 50 本
  • 图书详情
  • 目次
  • 买家须知
  • 书评(0)
  • 权威书评(0)
图书简介
This textbook provides a first introduction to mathematical logic which is closely attuned to the applications of logic in computer science. In it the authors emphasize the notion that deduction is a form of computation. Whilst all the traditional subjects of logic are covered thoroughly: syntax, semantics, completeness, and compactness; much of the book deals with less traditional topics such as resolution theorem proving, logic programming and non-classical logics - modal and intuitionistic - which are becoming increasingly impo
本书暂无推荐
本书暂无推荐
看了又看
  • 上一个
  • 下一个