盘天下资源网 | 免费网盘资源分享

作者简介

赵希顺， 教育 部重点 研究 基地中山 大学 逻辑 与 认知 研究所教授、博士生导师，《 逻辑学 研究》副主编，国际 杂志 Journal on Satisfiability, Boolean Modeling and Computation编委，国际SAT协会 (SAT Association) 指导委员会 (steering committee) 成员 ( 2008 - 2012 )，国际 学术 年会SAT2008大会主席； 2005 年入选教育部“新世纪优秀 人才 ”支持计划， 2006 年获中山大学文科优秀学者桐山奖；研究方向是数理逻辑及其在 计算机 科学 和 人工智能 的应用，近年来主要关注逻辑系统的 表达 能力与计算 复杂 性研究；曾参与 翻译 《 数学 百科 全书》， 出版 著作《选择公理》，主编会议论 文集 Lecture Notes in Computer Science 第4996卷 (Springer)，The proceedings of the 13th Asian Logic Conference (World Scientific)，主编“ 社会 博弈 逻辑”丛书。国家 社会科学 基金 重大 项目 “社会博弈的逻辑与计算模拟研究”首席专家。

内容简介

《简明数理逻辑》是数理逻辑的 入门 教材 ，是作者多年来数理逻辑课程的教学内容和经验总结。《简明数理逻辑》共有七章。第1章是绪论部分，简要介绍了数理逻辑的发展、形式系统、元 语言 与元理论以及一些预备知识。第2章介绍初等集合论。第3章、第4章分别详细讲解了命题演算、谓词演算，证明推演定理、可靠性定理，介绍完全性定理及紧致性定理。第5章讲解可计算性理论，主要讲解可判定性、部分可判定性、相对可判定性以及图灵计算的逻辑刻画等。第6章主要讲解哥德尔不完全性定理, 首先介绍皮亚诺算术系统，进而介绍哥德尔编码、元数学的算术化、可表示性等重要概念，这些都是体现数理逻辑 思想 的重要概念。第7章介绍模型论的初步知识和 方法 ，讲解形式理论的模型论性质。

《简明数理逻辑》既严谨简洁又 深入浅出 地讲解了数理逻辑的基本内容和思想，仅需要读者具备高中数学等相关知识，因而适合本科中高年级学生和非数理逻辑专业的硕士研究生 学习 。 希望 读者通过《简明数理逻辑》的学习，能够掌握数理逻辑的基本内容、基本方法和基本思想，同时培养理解问题、分析问题、解决问题的能力，为进一步学习打下必要的基础。

《简明数理逻辑》是中山大学逻辑与认知研究所主持编写的“高等学校逻辑学专业 系列 教材”之一。中山大学于 2007 年开办逻辑学本科专业， 2021 年逻辑学专业入选教育部“双一流专业”计划，是我国目前唯一连续招生的逻辑学本科专业。经过十几年的教学实践和建设，课程体系已经覆盖了逻辑学的各个主要分支领域。这些课程的任课教师是一批具有国际视野、在前沿问题从事研究 工作 的中青年学者，他们也是这套教材的组要作者。

赵希顺，教育部重点研究基地中山大学逻辑与认知研究所教授、博士生导师，《逻辑学研究》副主编，国际杂志Journal on Satisfiability, Boolean Modeling and Computation编委，国际SAT协会 (SAT Association) 指导委员会 (steering committee) 成员 (2008-2012)，国际学术年会SAT2008大会主席；2005年入选教育部“新世纪优秀人才”支持计划，2006年获中山大学文科优秀学者桐山奖；研究方向是数理逻辑及其在 计算机科学 和人工 智能 的应用，近年来主要关注逻辑系统的表达能力与计算 复杂性 研究；曾参与翻译《数学百科全书》，出版著作《选择公理》，主编会议 论文集 Lecture Notes in Computer Science 第4996卷 (Springer)，The ...

下载 地址

• 诚通网盘 提取码：8866
• 迅雷网盘 提取码：77y6

夸克资源精选合集