中圖網小程序
一鍵登錄
更方便
本類五星書更多>
-
>
闖進數學世界――探秘歷史名題
-
>
中醫基礎理論
-
>
當代中國政府與政治(新編21世紀公共管理系列教材)
-
>
高校軍事課教程
-
>
思想道德與法治(2021年版)
-
>
毛澤東思想和中國特色社會主義理論體系概論(2021年版)
-
>
中醫內科學·全國中醫藥行業高等教育“十四五”規劃教材
數理邏輯與集合論(第2版)精要與題解 版權信息
- ISBN：9787302045281
- 條形碼：9787302045281 ; 978-7-302-04528-1
- 裝幀：一般膠版紙
- 冊數：暫無
- 重量：暫無
- 所屬分類：>
數理邏輯與集合論(第2版)精要與題解 本書特色
本書是清華大學計算機系列教材《數理邏輯與集合論》(第二版)一書的配套教材。 全書分為兩大部分：第l部分是主教材《數理邏輯與集合論》(第二版)各章的內容精要與學習指導，包括主教材中的基本概念、基本公式、定義、定理及完成習題所涉及的內容，相當于主教材內容的精華與復習提綱。第2部分是主教材相應章節的習題解答，附有主教材全部習題的參考解答或證明。部分習題除給出詳細解答或證明過程外，還列出解題思路、提示，容易出現的錯誤和多種解法等。書中注重學習方法與邏輯思維能力的培養和訓練，并照顧到不同需求和不同層次的讀者。 本書讀者對象為大專院校計算機系或相關專業的師生，也可供從事離散數學、計算機科學、人工智能、計算語言學等領域的自學者和科技人員參考。
數理邏輯與集合論(第2版)精要與題解 內容簡介
王宏、楊明編寫的《數理邏輯與集合論精要與題解(清華大學計算機系列教材)》是清華大學計算機系列教材《數理邏輯與集合論》(第二版)一書的配套教材。 全書分為兩大部分：第1部分是主教材《數理邏輯與集合論》(第二版)各章的內容精要與學習指導，包括主教材中的基本概念、基本公式、定義、定理及完成習題所涉及的內容，相當于主教材內容的精華與復習提綱。第2部分是主教材相應章節的習題解答，附有主教材全部習題的參考解答或證明。部分習題除給出詳細解答或證明過程外，還列出解題思路、提示，容易出現的錯誤和多種解法等。書中注重學習方法與邏輯思維能力的培養和訓練，并照顧到不同需求和不同層次的讀者。 本書讀者對象為大專院校計算機系或相關專業的師生，也可供從事離散數學、計算機科學、人工智能、計算語言學等領域的自學者和科技人員參考。
數理邏輯與集合論(第2版)精要與題解 目錄
**部分 內容精要 第1章命題邏輯的基本概念 1．1命題 1．2命題聯結詞及真值表 1．3合式公式 1．4重言式 1．5命題形式化 第2章命題邏輯的等值和推理演算 2．1等值定理 2．2等值公式 2．3命題公式與真值表的關系 2．4聯結詞的完備集 2．5對偶式 2．6范式 2．7推理形式 2．8基本的推理公式 2．9推理演算 2．10歸結推理法 第3章命題邏輯的公理化 3．1公理系統的結構 3．2命題邏輯的公理系統 3．3公理系統的完備性和演繹定理 3．4命題邏輯的另一公理系統——王浩算法 3．5命題邏輯的自然演繹系統 3．6非標準邏輯 第4章謂詞邏輯的基本概念 4．1謂詞和個體詞 4．2函數和量詞 4．3合式公式 4．4 自然語句的形式化 4．5有限域下公式的表示法 4．6公式的普遍有效性和判定問題 第5章謂詞邏輯的等值和推理演算 5．1否定型等值式 5．2量詞分配等值式 5．3范式 5．4基本推理公式 5．5推理演算 5．6謂詞邏輯的歸結推理法 第6章謂詞邏輯的公理化 6．1謂詞邏輯的公理系統 6．2謂詞邏輯的自然演繹系統 6．3遞歸函數 第7章一階形式理論及模型 7．1一階語言及一階理論 7．2結構、賦值及模型 7．3 理論與模型的基本關系——完全性定理 7．4 lowenheim—skolem定理及herbrand方法 7．5一階形式理論2。 7．6 godel不完全性定理 第8章證明論中的邏輯系統 8．1 x-演算 8．2 scott域 8．3 gentzen串形演算 8．4線性邏輯 第9章集合 9．1集合的概念與表示方法 9．2集合間的關系和特殊集合 9．3集合的運算 9．4集合的圖形表示法 9．5集合運算的性質和證明 9．6有限集合的基數 9．7集合論公理系統 第10章 關系 10．1二元關系 10．2關系矩陣和關系圖 10．3關系的逆、合成、限制和象 10．4關系的性質 10．5關系的閉包 ……第二部分習題解答
展開全部
書友推薦
- >
企鵝口袋書系列·偉大的思想20:論自然選擇(英漢雙語)
- >
二體千字文
- >
龍榆生：詞曲概論/大家小書
- >
中國歷史的瞬間
- >
羅曼·羅蘭讀書隨筆-精裝
- >
詩經-先民的歌唱
- >
伊索寓言-世界文學名著典藏-全譯本
- >
我與地壇
本類暢銷
