快吧软件--好东西,就是要分享! 淘宝双12人民宝贝
设为首页
加入收藏
联系我们
电脑软件  |  手机应用  |  电子书籍  |  电影下载  |  热门电视剧  |  系统美化  |  操作系统  |  源码程序  |  模版素材  |  视频教程  |  Office模版 | 高清壁纸
搜索: [高级搜索]
您的位置: 首页 > 电子书籍 > 学习充电
 
分类导航
下载排行
最新书籍
  《数理逻辑·证明及其限度》/逻辑与形而上学教科书/epub+mobi+azw3 Kindle版+多看精排版下载
书籍大小:42.26 MB 书籍类型:精彩书籍
书籍语言:简体中文 书籍授权:共享软件
书籍等级: 更新时间:2019-08-11 14:45:29
书籍作者:快吧软件 下载次数:459
书籍网址:官方网站 阅读教程:阅读教程
阅读环境:/Win10/Win7&8/WinXP/Android
电子书介绍


    本书是“逻辑与形而上学教科书系列”中的一本。书中从零起点开始,介绍了集合论基本知识,命题逻辑、一阶逻辑的语法和语义,哥德尔完全性定理,递归论基本知识,简化版本的自然数模型,哥德尔不完全性定理等内容。本书尤其面向对数学基础感兴趣的的读者。相对于其他数理逻辑教材,本书更强调逻辑与元数学的联系,更多地介绍语义部分,强调语法语义的统一。书中,除了对各个知识点本身的讲解,还介绍了它们的直观和思想背景。本书适合作为数理逻辑系列课程的导论,并为后继课程做准备。为此,在最后一章中简单介绍了数理逻辑当代研究成果及其与本书内容的联系。希望读者掌握了本导论的内容之后有意于继续学习更深、更专门、更有意思的内容。书中所含习题能使读者通过练习得到必要的训练,并自我检验对有关内容的理解。

 电子书阅读指南:本站所有电子书都可以通过手机或电脑阅读。mobi、epub和azw3版手机可以通过“静读天下”和“多看阅读”等进行管理和阅读,电脑可以使用“MobipocketReader”和“calibre”进行管理和阅读。最近微软edge不再支持epub格式电子书,请使用“SumatraPDF”和“AlReader”。

       
下载地址
    《数理逻辑·证明及其限度》/逻辑与形而上学教科书/mobi
    《数理逻辑·证明及其限度》/逻辑与形而上学教科书/epub
    《数理逻辑·证明及其限度》/逻辑与形而上学教科书/azw3

下载说明:本站资源均通过网盘发布,下载存在广告,请选择“普通下载”链接下载,同时只能下载 一个软件。当然如果不在意钞票,可以购买会员,可以高速免广告下载,敬请理解!本站运营纯属个人爱好和分享精神! 解压缩密码:www.fast8.com
按字母检索
网站首页 | 关于我们 | 服务条款 | 广告服务 | 联系我们 | 版权声明 | 网站地图 |
版权所有:快吧软件 点击这里给我发消息  © 2017-2019 好东西,就是要分享!