數理邏輯 在線電子書 圖書標籤: 數理邏輯 邏輯學 數學 邏輯 哲學 教材 符號學 語義
發表於2024-11-22
數理邏輯 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024
結構不太清晰,但講述非常適閤文科生。數理邏輯還是要做題纔會懂,因為本質還是計算……
評分配閤徐明,可以說非常好的入門與鞏固。此書比之徐明,勝在鞭闢入裏,從最基礎的展開,一層層遞進,大局觀很強。不過高屋建瓴,導論篇已需要一定的哲學功底和邏輯功底,刷一些徐明的題之後,食用風味更佳哦。不足處在於未設置中英文專有名詞對照以及無習題解答並且確實隻能算入門,很簡單
評分入門教材,如果能寫一個標準答案,加上一些過程詳細的例題就好瞭。(例題並沒有涵蓋所有的姿勢點)
評分沒有公理係統
評分本科講義,可以作為入門讀物。因為是講義,編寫循序漸進,跟著思路走,就能提供理解的效率。
邢滔滔,北京大學哲學係副教授
本書脫胎於北京大學哲學係本科“數理邏輯”課程的講義,針對邏輯學的初學者,尤其是初學邏輯的學生,介紹一階邏輯的最基本的知識和技術,包括一階語言的語形和語義、一階推演係統、一階邏輯的完全性定理等。
我认为,这是一本文科写出来的书,采用了标准的总分方式,在第一章囤积了太多的内容,直到通读全书后,才会再去醒悟说:啊,这原来就是第一章里面说的XXX。 可能邢老师是想学生在第一章对全书有个全面的掌握,然后在学习后面的内容的时候带着这样的问题去读。但我不得不表示,...
評分这本书“脱胎于北京大学哲学系本科“数理逻辑”课程的讲义”,他们“03、04、05级的同学使用修习了数理逻辑课程”。这里我表示对北大同学的无穷敬仰,他们为这本书当了小白鼠,不知他们 有木 有 因此 学得 狠桑心 ? 为了让大家“既见树木又见森林”以绪论的形式把数理逻辑的...
評分这本书“脱胎于北京大学哲学系本科“数理逻辑”课程的讲义”,他们“03、04、05级的同学使用修习了数理逻辑课程”。这里我表示对北大同学的无穷敬仰,他们为这本书当了小白鼠,不知他们 有木 有 因此 学得 狠桑心 ? 为了让大家“既见树木又见森林”以绪论的形式把数理逻辑的...
評分这本书“脱胎于北京大学哲学系本科“数理逻辑”课程的讲义”,他们“03、04、05级的同学使用修习了数理逻辑课程”。这里我表示对北大同学的无穷敬仰,他们为这本书当了小白鼠,不知他们 有木 有 因此 学得 狠桑心 ? 为了让大家“既见树木又见森林”以绪论的形式把数理逻辑的...
評分我认为,这是一本文科写出来的书,采用了标准的总分方式,在第一章囤积了太多的内容,直到通读全书后,才会再去醒悟说:啊,这原来就是第一章里面说的XXX。 可能邢老师是想学生在第一章对全书有个全面的掌握,然后在学习后面的内容的时候带着这样的问题去读。但我不得不表示,...
數理邏輯 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024