商品详情
| 商品基本信息 | |
| 商品名称： | 数理逻辑十二讲 |
| 作者： | 宋方敏 吴骏 |
| 市场价： | 39.00 |
| ISBN号： | 9787111581222 |
| 版次： | 1-1 |
| 出版日期： | 2017-12 |
| 页数： | 155 |
| 字数： | 300 |
| 出版社： | 机械工业出版社 |
| 目录 | |
| 前言 第一讲 命题逻辑 第二讲 Boole代数 第三讲 一阶逻辑语言 第四讲 一阶逻辑的自然推理系统 第五讲 集合论的公理系统 第六讲 完全性定理 第七讲 Herbrand定理 第八讲 命题逻辑的永真推理系统 第九讲 一阶逻辑的永真推理系统 第十讲 Gentzen的Hauptsatz 第十一讲 紧性定理 第十二讲 模态逻辑概述 参考文献 |
| 内容简介 | |
| 本书介绍数理逻辑的基础知识和基本理论，主要讲授命题演算和谓词演算。通过本课程的学习，学生将掌握相关的基本概念、基本理论、基本推理，以及公理系统和形式化方法。数理逻辑是以公理系统和数学证明为研究对象的数学分支，对信息科学与技术的发展具有指导作用。本课程为计算机科学的基础，对培养学生的素养以及提高解决问题的能力有重要的意义。 |
- 机械工业出版社旗舰店 （微信公众号认证）
- 扫描二维码，访问我们的微信店铺
- 随时随地的购物、客服咨询、查询订单和物流...
