menu 简单麦麦
account_circle

数理逻辑是什么-数理逻辑是什么文件编号:1004

已经帮助了2597人找到了他们想要的文件
上传于 2020年2月27日 10:23
12次下载
913次围观
评分:4.5/5 ★ ★ ★ ★ ★
标题(title):数理逻辑是什么
数理逻辑是什么
作者(author):[英] 约翰·N.克罗斯利
出版社(publisher):中国轻工业出版社
大小(size):36 MB (38057820 bytes)
格式(extension):pdf
注意:如果文件下载完成后为无法打开的格式,请修改后缀名为格式对应后缀

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

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

想了解更多信息?可向上传者提问。点击提问
欢迎您上传文件!
费劲心机找到了自己想要的文件?
不如上传简单麦麦!
分享给别人!还能赚取收益
下载须知
1.如有解压密码 提取码都在下面 注意查看
2.如果有问题 可以通过卖家联系方式 联系卖家 如果没有或无法解决可以联系官方客服
3.本文件为公益分享,文件由网上采集而来,如有侵权等问题,请及时联系客服删除

常见问题及官方客服联系方式:点击前往 售后问题处理方式:点击前往
-到底部了哦-
expand_less