豆瓣图书标签: jiqizhengming

综合排序  /  按出版日期排序  /  按评价排序
  • 数理逻辑与机器证明 : 计算机科学丛书

    陆钟万 / 科学出版社 / 1983年11月 / 5.00元
    (少于10人评价)

    本书介绍数理逻辑及其在机器证明中的应用. 数理逻辑部分包括绪论、前三章及附录. 绪论简要地说明了数理逻辑的研究对象和方法. 前三章分别介绍命题逻辑、一阶逻辑...




> 浏览全部图书标签