逻辑代数初步
✍ 莫绍揆
📂 Library
📅 1980
🏛 江苏人民出版社
🌐 Chinese
✦ LIBER ✦
📁
逻辑代数初步
✍ Scribed by 张德荣
- Publisher
- 陕西科学技术出版社
- Year
- 1980
- Tongue
- Chinese
- Leaves
- 192
- Category
- Library
⬇ Acquire This Volume
No coin nor oath required. For personal study only.
📜 SIMILAR VOLUMES
数理逻辑初步
✍ 莫绍揆
📂 Library
📅 1980
🏛 上海人民出版社
🌐 Chinese
近世代数初步
✍ 石生明
📂 Library
📅 2002
🏛 高等教育出版社
🌐 Chinese
代数几何初步
✍ 李克正
📂 Library
📅 2004
🏛 科学出版社
🌐 Chinese
《代数几何初步》共分六个部分。引言部分通过几个典型问题对代数几何做了一些背景介绍；第1章解释了仿射代数几何与交换代数的关系；第2章介绍了射影代数几何的一些基本概念和方法；第3章从纤维丛的观点出发介绍了除子、相交数、切空间等；第4章阐述了代数曲线的一些方法、结果和应用；第5章对参量空间做一个初步介绍。 《代数几何初步》可供从事代数几何或算术代数几何方面研究的人员，在工作中需要用到代数几何的读者，以及相关专业的师生阅读、参考。
数理逻辑
✍ 余俊伟，赵晓玉，裘江杰，张立英
📂 Library
📅 2020
🏛 中国人民大学出版社
🌐 Chinese
本书是为了给将来致力于数理逻辑研究的读者奠定坚实基础而写的。概括地讲，第1–4章为基础内容，第5–6章为高阶内容。具体来看，第1章从思想史角度讲述哲学之于逻辑的动机催发，第2章讲述命题逻辑的早期简史、语法语义、完全性、紧致性等，第3章讲述一阶逻辑的早期简史、语法语义、完全性、紧致性及应用、哲学的应用等，第4章讲述一阶理论的基本性质、几种形式等，第5章讲述哥德尔两个不完全性定理的数学哲学动机、详细证明过程、一些相关推论、数学哲学影响等，第6章以模态逻辑为例说明逻辑之于哲学的实际应用。
数理逻辑
✍ 汪芳庭
📂 Library
📅 2010
🏛 中国科学技术大学出版社
🌐 Chinese
《普通高等学校十一五规划教材•数理逻辑(第2版)》内容分两部分：第一部分属数理逻辑基础，包含命题演算与谓词演算的基本知识。第二部分为形式算术与Godel不完备性定理。《普通高等学校十一五规划教材•数理逻辑(第2版)》对Gödel第一不完备性定理、Gödel-Rosser定理、Tarski定理及形式算术的不可判定性定理等都提供了完整的证明。结合对Church论题与Turing论题的介绍，对这些定理的意义进行了讨论。书中还提出了Gödel第二不完备性定理的一种易证形式。 《普通高等学校十一五规划教材•数理逻辑(第2版)》可用作计算机专业研究生或高年级本科生教材，并可供数学、哲学、逻辑等专业研究及