圖書標籤: 數理邏輯 邏輯學 數學 邏輯 哲學 教材 符號學 語義
发表于2025-03-18
數理邏輯 pdf epub mobi txt 電子書 下載 2025
本書脫胎於北京大學哲學係本科“數理邏輯”課程的講義,針對邏輯學的初學者,尤其是初學邏輯的學生,介紹一階邏輯的最基本的知識和技術,包括一階語言的語形和語義、一階推演係統、一階邏輯的完全性定理等。
邢滔滔,北京大學哲學係副教授
文科生看夠瞭。
評分本科以來的一個起點
評分【已存櫃】 p101第一個“σ(a/x₁)(x₁)”“σ”前或缺少一個錶示結構的花體字符號上標 p127“習題6.6”,根據p146“6.6 係理…6.7 習題,或應為“習題6.7” p170“這便矛盾規則的證明”或應加上“是” p194注釋①中的Van Dalen(1980)在參考文獻中沒有記錄 p268“Ψₙ₊₁=Ψₙ∪{ψ(c/x)}或Ψₙ₊₁=Ψₙ∪{ψ₁}”“ψ₁”或應改為“ψ₂”
評分滔滔老師很可愛,嘿嘿
評分隨便翻瞭一遍,沒糾纏細節。基本的東西都大緻都講到瞭。不過對於非邏輯學專業,尤其是歐陸方嚮並不基礎也無甚卵用,沒事不要隨便作死。PS:滔滔邏輯老濕(Prof. Tautology)既然都敢全英文授課瞭,書裏幾百個專有名詞弄個中英對照錶吼不吼哇?以及火星文少一點吼不吼哇?
这本书“脱胎于北京大学哲学系本科“数理逻辑”课程的讲义”,他们“03、04、05级的同学使用修习了数理逻辑课程”。这里我表示对北大同学的无穷敬仰,他们为这本书当了小白鼠,不知他们 有木 有 因此 学得 狠桑心 ? 为了让大家“既见树木又见森林”以绪论的形式把数理逻辑的...
評分这本书“脱胎于北京大学哲学系本科“数理逻辑”课程的讲义”,他们“03、04、05级的同学使用修习了数理逻辑课程”。这里我表示对北大同学的无穷敬仰,他们为这本书当了小白鼠,不知他们 有木 有 因此 学得 狠桑心 ? 为了让大家“既见树木又见森林”以绪论的形式把数理逻辑的...
評分这本书“脱胎于北京大学哲学系本科“数理逻辑”课程的讲义”,他们“03、04、05级的同学使用修习了数理逻辑课程”。这里我表示对北大同学的无穷敬仰,他们为这本书当了小白鼠,不知他们 有木 有 因此 学得 狠桑心 ? 为了让大家“既见树木又见森林”以绪论的形式把数理逻辑的...
評分我认为,这是一本文科写出来的书,采用了标准的总分方式,在第一章囤积了太多的内容,直到通读全书后,才会再去醒悟说:啊,这原来就是第一章里面说的XXX。 可能邢老师是想学生在第一章对全书有个全面的掌握,然后在学习后面的内容的时候带着这样的问题去读。但我不得不表示,...
評分我认为,这是一本文科写出来的书,采用了标准的总分方式,在第一章囤积了太多的内容,直到通读全书后,才会再去醒悟说:啊,这原来就是第一章里面说的XXX。 可能邢老师是想学生在第一章对全书有个全面的掌握,然后在学习后面的内容的时候带着这样的问题去读。但我不得不表示,...
數理邏輯 pdf epub mobi txt 電子書 下載 2025