热搜：南怀瑾 |证严上人

分类浏览

  • 文学艺术
  • 历史哲学
  • 政治法律
  • 经济管理
  • 新闻传播
  • 外国语言
  • 理工科技
  • 文化教育
  • 医药卫生
  • 教辅教参
  • 学前教育
  • 综合性图书

品牌教材

复旦博学品牌
复旦卓越品牌


数理逻辑：证明及其限度（第2版）
作者：
 郝兆宽 杨睿之 杨跃 著
定价：
49 元
页数：
254页
ISBN：
978-7-309-14568-7/O.674
字数：
313千字
开本：
16 开
装帧：
平装
出版日期：
2020年8月 　　　　　　
本类其他相关图书

内容提要

       本书是“逻辑与形而上学教科书系列”中的一本。书中从零起点开始，介绍了数理逻辑的基本知识。全书共10章：第一章是预备知识，主要介绍书中所需要的集合论的初步知识；第二至第六章是一阶逻辑的基本内容，重点介绍哥德尔的完全性定理；第七章是递归论的基本知识，也是为后面内容所做的准备；第八章介绍一阶算术的一些片段；第九和第十章是哥德尔的两个不完全性定理。
       本书主要面向对数学基础感兴趣的读者。与其他数理逻辑教材相比，本书更加强调逻辑与元数学的联系，更多介绍语义部分，更加强调语法与语义的统一。书中除了讲解各个知识点本身之外，还介绍了它们的思想背景，也简单介绍了数理逻辑当代研究成果及其与本书内容的联系。
       本书适合作为数理逻辑系列课程的导论教材，可以为进一步学习与研究数理逻辑后继课程建立兴趣并打下基础。本书也可以帮助有兴趣的读者了解数理逻辑的基本概念与技巧。
      

作者简介

       郝兆宽
       复旦大学哲学学院教授。主要研究方向为数 学哲学、哥德尔思想。
      
       杨睿之
       复旦大学哲学学院副教授。主要研究方向为数理逻辑与数学哲学。
      
       杨　跃
       新加坡国立大学数学系教授。主要研究方向为数理逻辑，尤其是递归论、皮亚诺算术模型。
      

书摘

书评       
　  

地址:上海市国权路579号
邮编:200433
电话:021-65642854(社办)
传真:021-65104812

　
　

版权所有©复旦大学出版社,2002-2024年，若有问题请与我们 (webmaster@fudanpress.com) 联系！ 沪ICP备05015926号