数理逻辑十二讲

本书特色

[

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

]

作者简介

[

宋方敏，南京大学计算机科学与技术系教授，博士生导师。主要研究领域是数理逻辑和量子计算，曾主持国家自然科学基金项目，863项目和中法合作项目的研究，在国内外核心刊物上发表论文50余篇。在教学上，为本科生主讲“离散数学”和“数理逻辑”课程，为研究生主讲“计算理论”课程。

吴骏，南京大学计算机科学与技术系讲师。主要研究领域是逻辑在人工智能中的应用、算法博弈论与机制设计，曾主持及参与国家自然科学基金、科技部重点研发计划等多项科研项目，在国内外学术会议与期刊上发表论文十余篇。在教学上，为本科生主讲“数理逻辑”课程，为研究生主讲“智能Agent”课程。

]

目录

前言**讲 命题逻辑第二讲 Boole代数第三讲 一阶逻辑语言第四讲 一阶逻辑的自然推理系统第五讲 集合论的公理系统第六讲 完全性定理第七讲 Herbrand定理第八讲 命题逻辑的永真推理系统第九讲 一阶逻辑的永真推理系统第十讲 Gentzen的Hauptsatz第十一讲 紧性定理第十二讲 模态逻辑概述参考文献

封面

书名:数理逻辑十二讲

作者:宋方敏

页数:155

定价:¥39.0

出版社:机械工业出版社

出版日期:2018-01-01

ISBN:9787111581222

PDF电子书大小:50MB 高清扫描完整版

---

---