menu 简单麦麦
account_circle

数理逻辑是什么-数理逻辑是什么

帮助2580人找到了他们想要的文件
上传于 2020-02-27 20次下载 3524次围观
文件编号:1004
文件详情
标题(title):数理逻辑是什么
数理逻辑是什么
作者(author):[英] 约翰·N.克罗斯利
出版社(publisher):中国轻工业出版社
大小(size):36 MB (38057820 bytes)
格式(extension):pdf
注意:如果文件下载完成后为无法打开的格式,请修改后缀名为格式对应后缀

本书是数理逻辑领域的代表性著作,旨在向零基础的读者普及数理逻辑知识。自1972年问世以来,本书得到众多逻辑学家的肯定,并始终是该领域的长销之作。

简明扼要是本书一大特色。秉持将“难懂”的数理逻辑以通俗易懂的方式介绍给一般读者的理念,几位作者精选数理逻辑中最典型的思想,生动地介绍了数理逻辑发展史、谓词演算的完全性、模型论、图灵机与递归函数、哥德尔不完全性定理、集合论等。相对独立的章节是本书另一大特色。全书各章之间不存在紧密的层级关系,读者可根据理解的程度,暂时跳过某些章节,待需要时再返回重新阅读。这种写作方式有助于读者在短时间内掌握数理逻辑的主要内容,奠定进一步学习逻辑、数学、计算机科学等知识的基础。
Table of contents :
引 论
第一章 历史概览
第二章 谓词演算的完全性
第三章 模型论
第四章 图灵机与递归函数
第五章 哥德尔不完全性定理
第六章 集合论
推荐读物
索 引
下载方式
购买后可查看 购买按钮在底部

常见问题

  • question_answer
    解压密码,提取码在哪?
    keyboard_arrow_down
    • 均在下载旁边哦,请注意查看,如果没有则是不需要密码
  • question_answer
    文件不符合描述怎么办?
    keyboard_arrow_down
    • 如果有文件问题,可以通过 卖家联系方式 联系卖家,如果 联系不上卖家 或 卖家无法解决则可以在我的订单页面申请售后
  • question_answer
    其他
    keyboard_arrow_down
    • 3.本文件为公益分享,文件由网上采集而来,如有侵权等问题,请及时联系客服删除
      常见问题及官方客服联系方式:点击前往
      售后问题处理方式:点击前往
-到底部了哦-
微信扫码支付
数理逻辑是什么-数理逻辑是什么
支付金额: 共计:¥0.0

添加收藏

创建新合集