數理邏輯 在線電子書 圖書標籤: 數理邏輯  邏輯學  數學  邏輯  哲學  教材  符號學  語義   

喜歡 數理邏輯 在線電子書 的讀者還喜歡

• 
  數理邏輯引論 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  集閤論 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  哲學邏輯 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  弗雷格哲學論著選輯 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  亞裏士多德的邏輯學說 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  數學哲學 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  數理邏輯通俗講話 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  數理邏輯 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  邏輯哲學研究 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  邏輯的觀念 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載

結構不太清晰，但講述非常適閤文科生。數理邏輯還是要做題纔會懂，因為本質還是計算……

Glivenko定理，哥德爾翻譯

真的好難啊，從第二章開始就搞不懂瞭。

講解挺好的，語義部分很贊，語形隻有自然推演這個比較糾結，可惜例子太少不適閤自學，於是被習題虐慘瞭。。。

【已存櫃】 p101第一個“σ(a/x₁)(x₁)”“σ”前或缺少一個錶示結構的花體字符號上標 p127“習題6.6”，根據p146“6.6 係理…6.7 習題，或應為“習題6.7” p170“這便矛盾規則的證明”或應加上“是” p194注釋①中的Van Dalen（1980）在參考文獻中沒有記錄 p268“Ψₙ₊₁=Ψₙ∪｛ψ(c/x)}或Ψₙ₊₁=Ψₙ∪｛ψ₁｝”“ψ₁”或應改為“ψ₂”

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

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

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

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

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