现代数学基础丛书 数理逻辑基础 上下册 PDF标准规范下载技术电子书
现代数学基础丛书 数理逻辑基础 上下册 暂无演示
现代数学基础丛书 数理逻辑基础 上下册手机扫码预览

现代数学基础丛书 数理逻辑基础 上下册

售价:
¥ 免费
  • 普通用户购买价格 : 0书币
  • 免费咨询
  • 请用网页下载微信不能下载
  • 链接失效评论留言
  • 免费寻找资源
  • QQ保障售后服务
  • 版权联系客服

升级尊贵会员
享受全站VIP待遇

21302+
会员已经加入
  • 文章介绍
  • 评价建议
  • 数理逻辑是研究推理,特别是研究数学中的推理的科学.本
    书陈述数理逻辑的基础性知识,包括逻辑演算(这里是指命题逻辑
    和一阶谓词逻辑)的基本内容,这些内容构成数理逻辑各个分支
    (模型论、证明论和构造性数学、递归论集合论)的共同的基础.
    数理逻辑的思想可以溯源到莱布尼兹”,而命题逻辑和一阶谓
    词逻辑的研究则从弗雷格》)开始。以后,经过皮尔斯),施罗德”,皮
    亚诺”),怀德海与罗素”,勒文海姆》,斯柯伦)等的研究,特别是经
    过了希尔伯特0)与阿克曼”)、贝尔奈斯2)的研究和整理,谓词逻辑
    的体系得以形成;而在哥德尔13>证明了一阶逻辑的完全性定理之
    后,这个逻辑演算的体系可以说是最后得到完成,

     

    版权声明:原创作品,未经允许不得转载,否则将追究法律责任。
    本站资源有的自互联网收集整理,如果侵犯了您的合法权益,请联系本站我们会及时删除。
    本站资源仅供研究、学习交流之用,若使用商业用途,请购买正版授权,否则产生的一切后果将由下载用户自行承担。
    技术电子书 » 现代数学基础丛书 数理逻辑基础 上下册

    发表评论