博雅大學堂·哲學：數理邏輯 下載 mobi epub pdf 電子書 2025

☆☆☆☆☆
簡體網頁||繁體網頁



點擊這裡下載

類似圖書 點擊查看全場最低價

---

編輯推薦

　　按照許多學校的安排，在邏輯的入門課之後，還有相應的進深課程，供有興趣的同學選修。我們在課程設置上，也采取瞭這個策略。在這樣的安排之下，《數理邏輯》的內容，對應於大學本科的一門數理邏輯或符號邏輯課程。

內容簡介

　　《數理邏輯》是一本入門教材，針對邏輯學的初學者，尤其是初學邏輯的學生，而不要求讀者有數學方麵的預備知識。在內容方麵，《數理邏輯》隻介紹一階邏輯的基本的知識和技術，包括一階語言的語形和語義、一階推演係統、一階邏輯的完全性定理等。這些知識和技術已經成為邏輯入門的必要裝備，也因此構成目前大學教育的一個基礎部分，在哲學、語言學等文科專業和數學、計算機科學等理科專業裏，普遍列為必修或選修的內容。當然，按照一種比較理想的要求，大學生對邏輯的瞭解，還應該包括更深層次的內容，如適當部分的模型論、基本的不可判定性結果、哥德爾不完全性定理的證明等。但這些更深層次的內容適閤於在更加專門的課程中介紹。

內頁插圖

目錄

第一章　緒論：從直觀到形式
1　從“矛盾”說起
2　直觀上的推理
3　正確推理
4　一階語言
5　推演係統
第二章　集閤
1　集閤（不）是什麼？
2　關係
3　函數
4　可數集與不可數集
第三章　一階語言的語形
1　字母錶
2　歸納定義
3 項
4　公式
5　遞歸定義
6 自由和約束代入
第四章　經典語義學
1　結構與解釋
2　等詞、量詞和聯結詞
3　滿足真
4　語義後承
5　可滿足性有效性語義等值
6　代入引理
7　模型舉例
第五章 自然推演係統
1　推理規則概說
2　聯結詞規則
3　命題推演語形後承
4　量詞和等詞規則
5　一階推演
6　經典與直覺主義邏輯的關係
第六章　可靠性與完全性
1　經典可靠性
2　一緻性
3　經典命題完全性
4　Henkin定理
5　可滿足性定理
6　經典完全性
7 緊緻性定理與Lowenheim-Skolem定理
8　直覺主義完全性
參考文獻

前言/序言

　　本書脫胎於北京大學哲學係本科“數理邏輯”課程的講義，書名從課名。原講義在實際使用中，經過瞭多次刪改與修補，最後成書時，我們做瞭進一步的加工，重寫瞭若乾部分，增加瞭一些內容，以求能夠滿足更大範圍的讀者的需要。
　　下麵就本書的內容及編寫方式做幾點說明。
　　第一，這是一本入門教材，針對邏輯學的初學者，尤其是初學邏輯的學生，而不要求讀者有數學方麵的預備知識。在內容方麵，本書隻介紹一階邏輯的最基本的知識和技術，包括一階語言的語形和語義、一階推演係統、一階邏輯的完全性定理等。這些知識和技術已經成為邏輯入門的必

博雅大學堂·哲學：數理邏輯 下載 mobi epub pdf txt 電子書 格式

評分☆☆☆☆☆

送貨速度快，質量很好，包裝很好

評分☆☆☆☆☆

不錯不錯不錯不錯不錯不錯

評分☆☆☆☆☆

隨著1806年巴登州的建立，大學的存在受到瞭威脅，因為相對較小的巴登州已經擁有一所重要的大學-魯普萊希特-卡爾斯-海德堡大學。然而巴登州大公路德維希仍然從1817年起嚮弗萊堡大學提供穩定的經費並於1820年將此以手書的形式確立下來。這位大公始終認為：兩種宗教-天主教與新教應各有一所大學來代錶，而海德堡大學深受新教的影響。為此，弗萊堡大學遂更名為阿爾布萊希特-路德維希-弗萊堡大學，以示謝意。

評分☆☆☆☆☆

經典教材，經典圖書，建議購買

評分☆☆☆☆☆

很好

評分☆☆☆☆☆

①多嚮互動，形式多樣.互動的課堂，一定的活動的課堂，生活的課堂。互動的條件：平等、自由、寬鬆、和諧。互動的類型師生互動、生生互動、小組互動、文本互動、習題互動、評價互動。互動的形式：問

評分☆☆☆☆☆

教育智慧求妙點.從知識到能力，從情感到智慧，教育逐步進入它的最佳境界。教育智慧錶現為對教育本

評分☆☆☆☆☆

②民主平等是指在學術麵前人人平等，在知識麵前人人平等。不因傢庭背景、地區差異而歧視，不因成績落後、學習睏難遭冷落。民主的核心是遵照大多數人的意誌而行事，教學民主的核心就是發展、提高多數人。可是總有人把眼睛盯在幾個尖子學生身上，有意無意地忽視多數學生的存在。“抓兩頭帶中間”就是典型的做法。但結果往往是抓“兩頭”變成抓“一頭”，“帶中間”變成“丟中間”。教學民主最好的體現是以能者為師，教學相長。信息時代的特徵，能者未必一定是教師，未必一定是“好”學生。在特定領域，特定環節上，有興趣占有知識高地的學生可以為同學“師”，甚至為教師“師”。在教學中發現不足，補充知識、改善教法、

評分☆☆☆☆☆

幫同事買的，送貨超快的，同事說服務很好！！

類似圖書 點擊查看全場最低價