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

数理逻辑 2024 pdf epub mobi 电子书 著者简介

---

数理逻辑 电子书 图书目录

---

点击这里下载

---

---

---

发表于2024-11-22

数理逻辑 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 电子书
• 
  数学哲学 2024 pdf epub mobi 电子书
• 
  数理逻辑通俗讲话 2024 pdf epub mobi 电子书
• 
  数理逻辑 2024 pdf epub mobi 电子书
• 
  逻辑哲学研究 2024 pdf epub mobi 电子书
• 
  逻辑的观念 2024 pdf epub mobi 电子书

评分☆☆☆☆☆

我认为，这是一本文科写出来的书，采用了标准的总分方式，在第一章囤积了太多的内容，直到通读全书后，才会再去醒悟说：啊，这原来就是第一章里面说的XXX。 可能邢老师是想学生在第一章对全书有个全面的掌握，然后在学习后面的内容的时候带着这样的问题去读。但我不得不表示，...  

评分☆☆☆☆☆

我认为，这是一本文科写出来的书，采用了标准的总分方式，在第一章囤积了太多的内容，直到通读全书后，才会再去醒悟说：啊，这原来就是第一章里面说的XXX。 可能邢老师是想学生在第一章对全书有个全面的掌握，然后在学习后面的内容的时候带着这样的问题去读。但我不得不表示，...  

评分☆☆☆☆☆

这本书“脱胎于北京大学哲学系本科“数理逻辑”课程的讲义”，他们“03、04、05级的同学使用修习了数理逻辑课程”。这里我表示对北大同学的无穷敬仰，他们为这本书当了小白鼠，不知他们 有木 有 因此 学得 狠桑心 ？ 为了让大家“既见树木又见森林”以绪论的形式把数理逻辑的...

评分☆☆☆☆☆

这本书“脱胎于北京大学哲学系本科“数理逻辑”课程的讲义”，他们“03、04、05级的同学使用修习了数理逻辑课程”。这里我表示对北大同学的无穷敬仰，他们为这本书当了小白鼠，不知他们 有木 有 因此 学得 狠桑心 ？ 为了让大家“既见树木又见森林”以绪论的形式把数理逻辑的...

评分☆☆☆☆☆

这本书“脱胎于北京大学哲学系本科“数理逻辑”课程的讲义”，他们“03、04、05级的同学使用修习了数理逻辑课程”。这里我表示对北大同学的无穷敬仰，他们为这本书当了小白鼠，不知他们 有木 有 因此 学得 狠桑心 ？ 为了让大家“既见树木又见森林”以绪论的形式把数理逻辑的...

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

出版者:北京大学出版社

作者:邢滔滔

出品人:

页数:274

译者:

出版时间:2008-8

价格:28.00元

装帧:简

isbn号码:9787301112557

丛书系列:

数理逻辑 2024 pdf epub mobi 电子书

评分☆☆☆☆☆

Glivenko定理，哥德尔翻译

评分☆☆☆☆☆

讲解挺好的，语义部分很赞，语形只有自然推演这个比较纠结，可惜例子太少不适合自学，于是被习题虐惨了。。。

评分☆☆☆☆☆

这要是考试我不知道自己能不能过 还有 不用花体字能die吗(●｀・ω・)=Ｏ)｀-д゜)ポカ

评分☆☆☆☆☆

【已存柜】 p101第一个“σ(a/x₁)(x₁)”“σ”前或缺少一个表示结构的花体字符号上标 p127“习题6.6”，根据p146“6.6 系理…6.7 习题，或应为“习题6.7” p170“这便矛盾规则的证明”或应加上“是” p194注释①中的Van Dalen（1980）在参考文献中没有记录 p268“Ψₙ₊₁=Ψₙ∪｛ψ(c/x)}或Ψₙ₊₁=Ψₙ∪｛ψ₁｝”“ψ₁”或应改为“ψ₂”

评分☆☆☆☆☆

算是浅显易懂。。。

查看全网最低价