数理逻辑导引 电子书下载 PDF下载
内容简介
《数理逻辑导引》是作者在新加坡国立大学、北京大学和中国科学院大学为本科高年级学生开设的数理逻辑选修课和在新加坡国立大学、中国科学院数学与系统科学研究院为研究生开设的专业课程所写讲义基础上整理出来的结果。《数理逻辑导引》主要由一阶逻辑的核心内容和有关数的逻辑探索和分析两大部分组成，其中包括完备性、紧致性、同质缩小、型省略等基本定理；有关数的经典理论的完全性和可定义性分析；哥德尔不完全性定理、丘奇不可判定性定理、塔尔斯基自然数标准模型真相不可定义性定理以及巴黎-哈灵顿不完全性定理。
同类热门电子书下载更多
- 建筑施工企业安全知识--"绿十字"安全基础建设新知丛书 安全生产月推荐用书
- 危险化学品企业安全生产标准化建设手册--企业安全生产标准化建设系列手册 安全生产月推荐用书
- 国土空间规划导论（试行版）
- 安全行为心理学
- 消防员入职技能训练
- 工业通风与除尘(安全技术与管理专业互联网+职业教育新形态一体化教材教育部职业教育专业教学资源库配
- 工贸行业粉尘爆炸事故典型案例分析
- 安全防范技术与工程
- 大型油罐火灾安全防控技术
- 非常规突发水灾害应急合作管理与决策
- 航天企业安全生产管理精细化流程及作业指导书
- 大型油罐灭火技术
- 火灾案件证据
- 北极安全研究 [Arctic Security Studies]
- 个体行为安全治理研究
- 画说工伤预防（应急与救护篇）--画说工伤预防宣传教育丛书
- 城市脆弱性分析与多灾种综合风险评估技术和系统研究
- 画说工伤预防（基础知识篇） --画说工伤预防宣传教育丛书 入选2023年国家新闻出版署农家书屋目录
- 工伤预防个体防护知识--工伤预防科普丛书
- 画说工伤预防（个人防护篇）--画说工伤预防宣传教育丛书
Copyright © 2024 by topbester.com.
All Rights Reserved.
沪ICP备14027842号-1
All Rights Reserved.
沪ICP备14027842号-1