博雅大學堂·哲學:數理邏輯

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

邢滔滔 著
想要找書就要到 靜思書屋
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!
齣版社: 北京大學齣版社
ISBN:9787301112557
版次:1
商品編碼:10077054
包裝:平裝
開本:16開
齣版時間:2008-08-01
用紙:膠版紙
頁數:273
正文語種:中文

具體描述

編輯推薦

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

內容簡介

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

內頁插圖

目錄

第一章 緒論:從直觀到形式
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 直覺主義完全性
參考文獻

前言/序言

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



用戶評價

評分

值得一看的

評分

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

評分

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

評分

書與網上介紹相符,送貨速度快,快遞人員態度好

評分

新書值得推薦 用來當材料很閤適

評分

剛買打算過幾天看看,應該還不錯!

評分

刑老師的書寫的很清楚,適閤作為教材。

評分

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

評分

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

相關圖書

本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度google,bing,sogou

© 2025 book.tinynews.org All Rights Reserved. 静思书屋 版权所有