☆☆☆☆☆
简体网页||繁体网页

一阶逻辑和一阶理论 2024 pdf epub mobi 电子书 著者简介

---

一阶逻辑和一阶理论 电子书 图书目录

---

点击这里下载

---

---

---

发表于2024-11-21

一阶逻辑和一阶理论 2024 pdf epub mobi 电子书

一阶逻辑和一阶理论 2024 pdf epub mobi 电子书

一阶逻辑和一阶理论 2024 pdf epub mobi 电子书

---

喜欢 一阶逻辑和一阶理论 电子书 的读者还喜欢

• 
  集合论 2024 pdf epub mobi 电子书
• 
  数理逻辑 2024 pdf epub mobi 电子书
• 
  数理逻辑通俗讲话 2024 pdf epub mobi 电子书
• 
  数理逻辑 2024 pdf epub mobi 电子书
• 
  数理逻辑引论 2024 pdf epub mobi 电子书
• 
  Elements of Set Theory 2024 pdf epub mobi 电子书
• 
  Godel's Incompleteness Theorems 2024 pdf epub mobi 电子书
• 
  Logic for Mathematicians 2024 pdf epub mobi 电子书
• 
  数学哲学 2024 pdf epub mobi 电子书
• 
  Set Theory 2024 pdf epub mobi 电子书

评分☆☆☆☆☆

逻辑似乎无可挽回的衰落了，叶峰的书出版于1994年，这么多年都没有再版了，辗转请朋友把这本书复印了一本，字体模糊，符号不清，多希望能够出一个新版，这样的一本书，怎么也是应该的！这本书比徐明的那一本内容上更有深度，能把后面的题目做完，书读好，不容易。还在读，还在...

评分☆☆☆☆☆

逻辑似乎无可挽回的衰落了，叶峰的书出版于1994年，这么多年都没有再版了，辗转请朋友把这本书复印了一本，字体模糊，符号不清，多希望能够出一个新版，这样的一本书，怎么也是应该的！这本书比徐明的那一本内容上更有深度，能把后面的题目做完，书读好，不容易。还在读，还在...

评分☆☆☆☆☆

逻辑似乎无可挽回的衰落了，叶峰的书出版于1994年，这么多年都没有再版了，辗转请朋友把这本书复印了一本，字体模糊，符号不清，多希望能够出一个新版，这样的一本书，怎么也是应该的！这本书比徐明的那一本内容上更有深度，能把后面的题目做完，书读好，不容易。还在读，还在...

评分☆☆☆☆☆

逻辑似乎无可挽回的衰落了，叶峰的书出版于1994年，这么多年都没有再版了，辗转请朋友把这本书复印了一本，字体模糊，符号不清，多希望能够出一个新版，这样的一本书，怎么也是应该的！这本书比徐明的那一本内容上更有深度，能把后面的题目做完，书读好，不容易。还在读，还在...

评分☆☆☆☆☆

逻辑似乎无可挽回的衰落了，叶峰的书出版于1994年，这么多年都没有再版了，辗转请朋友把这本书复印了一本，字体模糊，符号不清，多希望能够出一个新版，这样的一本书，怎么也是应该的！这本书比徐明的那一本内容上更有深度，能把后面的题目做完，书读好，不容易。还在读，还在...

类似图书 点击查看全场最低价

出版者:中国社会科学出版社

作者:叶峰编著

出品人:

页数:223页

译者:

出版时间:1994.1

价格:0

装帧:平装

isbn号码:9787500413073

丛书系列:现代逻辑丛书

一阶逻辑和一阶理论 2024 pdf epub mobi 电子书

评分☆☆☆☆☆

02-06

评分☆☆☆☆☆

天书般的…… 有些地方写得不是很好，比如对于自由出现和代入自由的定义就很有问题。归纳法总是没有归纳起点，需要你自己证一遍归纳起点。另外习题也没有答案。 不过大体上还是比较好的一本书。 最后一章证明真是越来越简略了，很多定理干脆不证让你证当做习题。有些证明的叙述因为前面章节用过类似的方法也比较简略，你要前面不认真看的话说不定就看不懂了。 被虐了近两个月终于看完了，一开始感觉极其抽象，语法歧义性那章看了一个下午才看懂（虽然还因为别的原因）。看着看着倒也习惯这种难度了，完备性定理看懂了之后感觉思路还是很清晰的，要我复述一遍证明也问题不大。总的来说收获很大。

评分☆☆☆☆☆

直观、语法和语义的清晰对照，澄清了很多原来很模糊的概念和定义。这本书是宏观上对一阶逻辑的简要概括，看完这个再分别看命题逻辑和谓词逻辑效果更佳。但是繁复的证明充斥其间，虽能看懂却仍无法自己证明。完全性定理实在有些难，先搁置吧~

评分☆☆☆☆☆

复习

评分☆☆☆☆☆

02-06

查看全网最低价