数理逻辑十二讲(面向CS2013计算机专业规划教材)

漫游鲸二手书店

淘二手好书+回收闲置图书

宋方敏；吴骏 | 机械工业出版社

ISBN:9787111581222

原价: ￥39.00

销售价:￥13.16元

参与书籍回收后，可享更低价格

分类工业技术

作者宋方敏；吴骏

出版社机械工业出版社

图书简介

本书介绍数理逻辑的基础知识和基本理论，主要讲授命题演算和谓词演算。通过本课程的学习，学生将掌握相关的基本概念、基本理论、基本推理，以及公理系统和形式化方法。数理逻辑是以公理系统和数学证明为研究对象的数学分支，对信息科学与技术的发展具有指导作用。本课程为计算机科学的基础，对培养学生的素养以及提高解决问题的能力有重要的意义。

相关推荐

买更多二手好书

回收二手闲置图书

更多低价好书购买/书籍回收

扫码访问微信小程序

在线客服

了解更低购买价格、或有疑问需要帮助，可以找小鲸鱼噢~

咨询在线客服