图书标签: 数理逻辑 数学 思维
发表于2024-12-25
数理逻辑十二讲(面向CS2013计算机专业规划教材) pdf epub mobi txt 电子书 下载 2024
宋方敏、吴骏编著的《数理逻辑十二讲(面向CS2013计算机专业规划教材)》为数理逻辑的入门教材,主要介绍命题逻辑和一阶逻辑。本书既引入自然推理风格的Gentzen系统,又引入永真推理风格的Hilbert系统,详细证明四个基本定理:完全性定理、紧性定理、Gentzen的Hauptsatz和Herbrand定理。本书最后介绍模态逻辑。
通过本书的学习,学生将掌握数理逻辑的基本概念、基本理论、基本推理,以及公理系统和形式化方法。本书作为计算机科学的基础教材,对培养学生的科学素养以及提高解决问题的能力具有重要的意义。
宋方敏,南京大学计算机科学与技术系教授,博士生导师。主要研究领域是数理逻辑和量子计算,曾主持国家自然科学基金项目,863项目和中法合作项目的研究,在国内外核心刊物上发表论文50余篇。在教学上,为本科生主讲“离散数学”和“数理逻辑”课程,为研究生主讲“计算理论”课程。
吴骏,南京大学计算机科学与技术系讲师。主要研究领域是逻辑在人工智能中的应用、算法博弈论与机制设计,曾主持及参与国家自然科学基金、科技部重点研发计划等多项科研项目,在国内外学术会议与期刊上发表论文十余篇。在教学上,为本科生主讲“数理逻辑”课程,为研究生主讲“智能Agent”课程。
这本数理逻辑,由南大独家创造。该校发明的各种公理均无法在其他书籍或网络上找到。司马吴骏与此书珠联璧合,没上过这门课的人会留下终生的遗憾。
评分这本数理逻辑,由南大独家创造。该校发明的各种公理均无法在其他书籍或网络上找到。司马吴骏与此书珠联璧合,没上过这门课的人会留下终生的遗憾。
评分好书
评分千万别修南大的数理逻辑
评分好书
评分
评分
评分
评分
数理逻辑十二讲(面向CS2013计算机专业规划教材) pdf epub mobi txt 电子书 下载 2024