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

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



點擊這裡下載

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

---

編輯推薦

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

內容簡介

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

內頁插圖

目錄

第一章　緒論：從直觀到形式
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 電子書 格式

評分☆☆☆☆☆

很喜歡:.360.智藏法師1.智藏法師，他的每一本書幾本上都有，這本寬寬的世界，寬寬的心很不錯，一部在浮躁塵世收獲安然的開悟之書！一部風靡全國開悟億萬心靈的暖心之作！一部迄今為止最富有哲理的身心靈修養書！寬寬的世界，寬寬的心是一本藉助佛學智慧，通曉人生哲理的身心靈修養書。佛學是一個百寶箱，從最膚淺的做人做事的技巧，到最高深的生命哲學，裏麵應有盡有。寬寬的世界，寬寬的心主要選擇跟現實生活息息相關的內容加以介紹，例如，怎樣美化自我形象怎樣贏得他人的愛和尊重怎樣和他人友好相處怎樣體驗快樂富足的生活怎樣解脫煩惱、痛苦怎樣應對生活中的挫摺和不幸怎樣擦亮慧眼、獲得真正的智慧怎樣追求自己的人生目標怎樣為自己播種福緣怎樣安頓自己迷茫的靈魂等等。佛學是一門研究人的學問，或者說，是一門研究人心的學問，把人心看得透透的，就把世界看得透透的。人是一種聰明的善於解決問題的動物，同時也是一種過於聰明的善於為自己、為他人製造麻煩的動物。為瞭應付變化萬韆的世界，為瞭應付變化不定的生活，為瞭應付變化莫測的人心，人類聰明地設立瞭一個個概念，作為評價事物的標準，例如，愛情，友誼，忠誠，背叛，善良，醜惡，公正，自私，成功人士，失敗者，優生，差生人類還聰明地建立瞭一個個框架，作為經營人生的指南，例如，人應該追求成功，知識改變命運，男大當婚，女大當嫁，愛情是婚姻的基礎，幸福就是過上好日子，諸如此類。各種概念和框架，大大簡化瞭人們的生活，大大降低瞭思考問題和解決問題的難度，但是，世界畢竟在前進，生活畢竟在發生變化，人也在悄悄地發生著改變，那些相對固著的概念，終將成為人們的絆腳石那些相對穩定的框架，終將成為束縛人們的囚籠。於是，煩惱和痛苦産生瞭！隨著文明的進步，知識的普及，人類建立和掌握的概念、框架也越來越多，於是，煩惱和痛苦與日俱增，時至今日，中國已經進入全民焦慮時代瞭，其他發達國傢也差不多，樂嗬嗬的人群，反倒是那些原始部落。難怪老子說絕學，無憂。將許多分辨好壞對錯的知識、信息裝在頭腦中，煩惱是必然的副産品。但這不是知識惹的禍，也不是物質豐富的過錯，煩惱多多的原因是人們固執地把自己裝進有房、有車、有存款、我一定要活齣個人樣給彆人瞧瞧之類的框架裏，不懂得怎樣自然地生活。打破是佛學最有價值的部分。在佛眼裏，一切概念，一切框架，不過是顛倒妄想、愚癡執著，皆可打破。事實上，每個人都善於打破，古今偉人、善士，都可以惡搞一番古今哲理、高論，都可以批駁一番，但這種毫無理性的打破，得到的不過是滿地碎片。佛傢的打破，是以真知破謬見，以實相破假相，推倒一切思維之牆，在推倒的同時，將人們帶進一個無障無礙、風景獨好的新世界。佛學是

評分☆☆☆☆☆

挺好的，正好是我考試用的書

評分☆☆☆☆☆

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

評分☆☆☆☆☆

這是一本入門教材，針對邏輯學的初學者，很適用。

評分☆☆☆☆☆

1620年弗萊堡大學成為天主教信仰的一個堡壘，這雖然在開始時引發瞭人文主義思潮的興起，但繼而便成瞭科學研究的障礙。18世紀大學因新興學科的齣現在宗教信仰上明確走嚮自由化。

評分☆☆☆☆☆

在京東的幫助下終於買到瞭這本書，其他網站均無此書銷售。非常感謝。

評分☆☆☆☆☆

哲學與數學的橋梁？

評分☆☆☆☆☆

在書店看上瞭這本書一直想買可惜太貴又不打摺，迴傢決定上京東看看，果然有摺扣。毫不猶豫的買下瞭，京東速度果然非常快的，從配貨到送貨也很具體，快遞非常好，很快收到書瞭。書的包裝非常好，沒有拆開過，非常新，可以說無論自己閱讀傢人閱讀，收藏還是送人都特彆有麵子的說，特彆精美；各種十分美好雖然看著書本看著相對簡單，但也不遑多讓，塑封都很完整封麵和封底的設計、繪圖都十分好畫讓我覺得十分細膩具有收藏價值。書的封套非常精緻推薦大傢購買。 打開書本，書裝幀精美，紙張很乾淨，文字排版看起來非常舒服非常的驚喜，讓人看得欲罷不能，每每捧起這本書的時候 似乎能夠感覺到作者毫無保留的把作品呈現在我麵前。 作業深入淺齣的寫作手法能讓本人猶如身臨其境一般，好似一杯美式咖啡，看似快餐，其實值得迴味 無論男女老少，第一印象最重要。”從你留給彆人的第一印象中，就可以讓彆人看齣你是什麼樣的人。所以多讀書可以讓人感覺你知書答禮，頗有風度。 多讀書，可以讓你多增加一些課外知識。培根先生說過：“知識就是力量。”不錯，多讀書，增長瞭課外知識，可以讓你感到渾身充滿瞭一股力量。這種力量可以激勵著你不斷地前進，不斷地成長。從書中，你往往可以發現自己身上的不足之處，使你不斷地改正錯誤，擺正自己前進的方嚮。所以，書也是我們的良師益友。 多讀書，可以讓你變聰明，變得有智慧去戰勝對手。書讓你變得更聰明，你就可以勇敢地麵對睏難。讓你用自己的方法來解決這個問題。這樣，你又嚮你自己的人生道路上邁齣瞭一步。 多讀書，也能使你的心情便得快樂。讀書也是一種休閑，一種娛樂的方式。讀書可以調節身體的血管流動，使你身心健康。所以在書的海洋裏遨遊也是一種無限快樂的事情。用讀書來為自己放鬆心情也是一種十分明智的。 讀書能陶冶人的情操，給人知識和智慧。所以，我們應該多讀書，為我們以後的人生道路打下好的、紮實的基礎！讀書養性，讀書可以陶冶自己的性情，使自己溫文爾雅，具有書捲氣；讀書破萬捲，下筆如有神，多讀書可以提高寫作能力，寫文章就纔思敏捷；舊書不厭百迴讀，熟讀深思子自知，讀書可以提高理解能力，隻要熟讀深思，你就可以知道其中的道理瞭；讀書可以使自己的知識得到積纍，君子學以聚之。總之，愛好讀書是好事。讓我們都來讀書吧。 其實讀書有很多好處,就等有心人去慢慢發現. 最大的好處是可以讓你有屬於自己的本領靠自己生存。 最後在好評一下京東客服服務態度好，送貨相當快,包裝仔細！這個也值得贊美下 希望京東這樣保持下去，越做越好

評分☆☆☆☆☆

題質疑、成果展示、心得交流、小組討論、閤作學習、疑難解析、觀點驗證、問題綜述。

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