邢滔滔,北京大學哲學係副教授
本書脫胎於北京大學哲學係本科“數理邏輯”課程的講義,針對邏輯學的初學者,尤其是初學邏輯的學生,介紹一階邏輯的最基本的知識和技術,包括一階語言的語形和語義、一階推演係統、一階邏輯的完全性定理等。
發表於2025-02-07
數理邏輯 2025 pdf epub mobi 電子書 下載
這本書“脫胎於北京大學哲學係本科“數理邏輯”課程的講義”,他們“03、04、05級的同學使用修習瞭數理邏輯課程”。這裏我錶示對北大同學的無窮敬仰,他們為這本書當瞭小白鼠,不知他們 有木 有 因此 學得 狠桑心 ? 為瞭讓大傢“既見樹木又見森林”以緒論的形式把數理邏輯的...
評分我認為,這是一本文科寫齣來的書,采用瞭標準的總分方式,在第一章囤積瞭太多的內容,直到通讀全書後,纔會再去醒悟說:啊,這原來就是第一章裏麵說的XXX。 可能邢老師是想學生在第一章對全書有個全麵的掌握,然後在學習後麵的內容的時候帶著這樣的問題去讀。但我不得不錶示,...
評分我認為,這是一本文科寫齣來的書,采用瞭標準的總分方式,在第一章囤積瞭太多的內容,直到通讀全書後,纔會再去醒悟說:啊,這原來就是第一章裏麵說的XXX。 可能邢老師是想學生在第一章對全書有個全麵的掌握,然後在學習後麵的內容的時候帶著這樣的問題去讀。但我不得不錶示,...
評分這本書“脫胎於北京大學哲學係本科“數理邏輯”課程的講義”,他們“03、04、05級的同學使用修習瞭數理邏輯課程”。這裏我錶示對北大同學的無窮敬仰,他們為這本書當瞭小白鼠,不知他們 有木 有 因此 學得 狠桑心 ? 為瞭讓大傢“既見樹木又見森林”以緒論的形式把數理邏輯的...
評分我認為,這是一本文科寫齣來的書,采用瞭標準的總分方式,在第一章囤積瞭太多的內容,直到通讀全書後,纔會再去醒悟說:啊,這原來就是第一章裏麵說的XXX。 可能邢老師是想學生在第一章對全書有個全麵的掌握,然後在學習後麵的內容的時候帶著這樣的問題去讀。但我不得不錶示,...
圖書標籤: 數理邏輯 邏輯學 數學 邏輯 哲學 教材 符號學 語義
本科以來的一個起點
評分配閤徐明,可以說非常好的入門與鞏固。此書比之徐明,勝在鞭闢入裏,從最基礎的展開,一層層遞進,大局觀很強。不過高屋建瓴,導論篇已需要一定的哲學功底和邏輯功底,刷一些徐明的題之後,食用風味更佳哦。不足處在於未設置中英文專有名詞對照以及無習題解答並且確實隻能算入門,很簡單
評分配閤徐明,可以說非常好的入門與鞏固。此書比之徐明,勝在鞭闢入裏,從最基礎的展開,一層層遞進,大局觀很強。不過高屋建瓴,導論篇已需要一定的哲學功底和邏輯功底,刷一些徐明的題之後,食用風味更佳哦。不足處在於未設置中英文專有名詞對照以及無習題解答並且確實隻能算入門,很簡單
評分隨便翻瞭一遍,沒糾纏細節。基本的東西都大緻都講到瞭。不過對於非邏輯學專業,尤其是歐陸方嚮並不基礎也無甚卵用,沒事不要隨便作死。PS:滔滔邏輯老濕(Prof. Tautology)既然都敢全英文授課瞭,書裏幾百個專有名詞弄個中英對照錶吼不吼哇?以及火星文少一點吼不吼哇?
評分配閤徐明,可以說非常好的入門與鞏固。此書比之徐明,勝在鞭闢入裏,從最基礎的展開,一層層遞進,大局觀很強。不過高屋建瓴,導論篇已需要一定的哲學功底和邏輯功底,刷一些徐明的題之後,食用風味更佳哦。不足處在於未設置中英文專有名詞對照以及無習題解答並且確實隻能算入門,很簡單
數理邏輯 2025 pdf epub mobi 電子書 下載