数理逻辑十二讲(面向CS2013计算机专业规划教材)
正版授权，可开发票，支持7天无理由退货。
￥ 29.32 7.5折 ￥ 39 全新
库存3件
浙江嘉兴
认证卖家担保交易快速发货售后保障
作者编者:宋方敏//吴骏
出版社机械工业
ISBN9787111581222
出版时间2018-01
装帧其他
开本其他
定价39元
货号30038491
上书时间2024-12-03
商品详情
- 品相描述：全新
- 商品描述
-
作者简介
宋方敏，南京大学计算机科学与技术系教授，博士生导师。主要研究领域是数理逻辑和量子计算，曾主持国家自然科学基金项目、863项目和中法合作项目的研究，在国内外核心刊物上发表论文50余篇。在教学上，为本科生主讲“离散数学”和“数理逻辑”课程，为研究生主讲“计算理论”课程。
目录
前言
第一讲 命题逻辑
第二讲 Boole代数
第三讲 一阶逻辑语言
第四讲 一阶逻辑的自然推理系统
第五讲 集合论的公理系统
第六讲 完全性定理
第七讲 Herbrand定理
第八讲 命题逻辑的永真推理系统
第九讲 一阶逻辑的永真推理系统
第十讲 Gentzen的Hauptsatz
第十一讲 紧性定理
第十二讲 模态逻辑概述
参考文献
内容摘要
宋方敏、吴骏编著的《数理逻辑十二讲(面向CS2013计算机专业规划教材)》为数理逻辑的入门教材，主要介绍命题逻辑和一阶逻辑。本书既引入自然推理风格的Gentzen系统，又引入永真推理风格的Hilbert系统，详细证明四个基本定理：完全性定理、紧性定理、Gentzen的Hauptsatz和Herbrand定理。本书最后介绍模态逻辑。
通过本书的学习，学生将掌握数理逻辑的基本概
念、基本理论、基本推理，以及公理系统和形式化方法。本书作为计算机科学的基础教材，对培养学生的科学素养以及提高解决问题的能力具有重要的意义。
— 没有更多了 —
以下为对购买帮助不大的评价