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

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

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


簡體網頁||繁體網頁
邢滔滔 著

下載链接在页面底部


點擊這裡下載
    


想要找書就要到 靜思書屋
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

發表於2024-11-09

商品介绍



齣版社: 北京大學齣版社
ISBN:9787301112557
版次:1
商品編碼:10077054
包裝:平裝
開本:16開
齣版時間:2008-08-01
用紙:膠版紙
頁數:273
正文語種:中文

博雅大學堂·哲學:數理邏輯 epub pdf mobi txt 電子書 下載 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 直覺主義完全性
參考文獻

前言/序言

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



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

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

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

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

博雅大學堂·哲學:數理邏輯 epub pdf mobi txt 電子書 下載
想要找書就要到 靜思書屋
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

讀者評價

評分

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

評分

書很好,送貨也快!總之不錯!~~

評分

評分

還不錯,發貨也快。。

評分

評分

③我們的教師為瞭控製課堂,總擔心秩序失控而嚴格紀律,導緻緊張有餘而輕鬆不足。輕鬆的氛圍,使學生沒有思想顧忌,沒有思想負擔,提問可以自由發言,討論可以暢所欲言,迴答不用擔心受怕,辯論不用針鋒相對。同學們的任何猜想、幻想、設想都受到尊重、都盡可能讓他們自己做解釋,在聆聽中交流想法、

評分

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

評分

不錯的書,非常有用

評分

包裝很漂亮,書隻看瞭一點點

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

类似图書 點擊查看全場最低價

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


分享鏈接





相关書籍


本站所有內容均為互聯網搜索引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度google,bing,sogou

友情鏈接

© 2024 book.idnshop.cc All Rights Reserved. 靜思書屋 版权所有