圖書標籤: 數理邏輯 數學 邏輯學 邏輯 哲學 數理邏輯入門 教材 邏輯哲學
发表于2024-12-27
數理邏輯 pdf epub mobi txt 電子書 下載 2024
本書是“邏輯與形而上學教科書係列”中的一本。書中從零起點開始,介紹瞭集閤論基本知識,命題邏輯、一階邏輯的語法和語義,哥德爾完全性定理,遞歸論基本知識,簡化版本的自然數模型,哥德爾不完全性定理等內容。
本書尤其麵嚮對數學基礎感興趣的的讀者。相對於其他數理邏輯教材,本書更強調邏輯與元數學的聯係,更多地介紹語義部分,強調語法語義的統一。書中,除瞭對各個知識點本身的講解,還介紹瞭它們的直觀和思想背景。
本書適閤作為數理邏輯係列課程的導論,並為後繼課程做準備。為此,在最後一章中簡單介紹瞭數理邏輯當代研究成果及其與本書內容的聯係。希望讀者掌握瞭本導論的內容之後有意於繼續學習更深、更專門、更有意思的內容。
書中所含習題能使讀者通過練習得到必要的訓練,並自我檢驗對有關內容的理解。
郝兆寬
復旦大學哲學學院副教授。主要研究興趣是數理邏輯、數學哲學。
楊睿之
復旦大學哲學學院講師。主要研究興趣是數理邏輯。
楊 躍
新加坡國立大學數學係教授。主要研究興趣是數理邏輯,尤其是遞歸論、皮亞諾算術模型。
不適閤自學 書中題目沒有答案 難
評分某年芯送的生日禮物
評分:)
評分這本書亮點在於書裏非常清晰的講法和諸多教學法的注釋,絕對是教學資深老司機,但是展開太倉促以至於整體有不足,但是不否定作者的課肯定上得很好
評分:)
对数理逻辑非常感兴趣,但看了不少书都很困惑的一点是,语法和语义交替出现,理解起来非常困难。而这本书不同,它基本上都是从语法角度入手的,这也是我为什么称它为最好的自学教材。语法相对语义要清晰的多,因为它仅仅讨论有穷符号串的性质,我们不需要太废脑子就能很容易的...
評分对数理逻辑非常感兴趣,但看了不少书都很困惑的一点是,语法和语义交替出现,理解起来非常困难。而这本书不同,它基本上都是从语法角度入手的,这也是我为什么称它为最好的自学教材。语法相对语义要清晰的多,因为它仅仅讨论有穷符号串的性质,我们不需要太废脑子就能很容易的...
評分这是一本教案,不是一本适合自学的书,而且作为教案,是很有参考价值的,但是如果按着书上这样就这样推进下去(而教师本身又不随时补给学生一点东西)的话会是教学的车祸现场。 先说一下优点。这本书的野心很大,除了覆盖传统教材的内容外,还要给出哥德尔第二定理的详细证明。...
評分这是一本教案,不是一本适合自学的书,而且作为教案,是很有参考价值的,但是如果按着书上这样就这样推进下去(而教师本身又不随时补给学生一点东西)的话会是教学的车祸现场。 先说一下优点。这本书的野心很大,除了覆盖传统教材的内容外,还要给出哥德尔第二定理的详细证明。...
評分这是一本教案,不是一本适合自学的书,而且作为教案,是很有参考价值的,但是如果按着书上这样就这样推进下去(而教师本身又不随时补给学生一点东西)的话会是教学的车祸现场。 先说一下优点。这本书的野心很大,除了覆盖传统教材的内容外,还要给出哥德尔第二定理的详细证明。...
數理邏輯 pdf epub mobi txt 電子書 下載 2024