圖書簡介:
作/譯者:耿素雲 屈婉玲等 出版社:清華大學出版社
出版日期:1999年09月ISBN:9787302037224 [十位:7302037221]
頁數:234 重約:0.360KG
定價:¥16.80
舊書普通用戶價:¥6.80 為您節省:¥10.00
舊書VIP用戶價:¥6.40 為您節省:¥10.40
團購優惠價:¥5.80
文章節選:
第一章 命題邏輯數理邏輯是用數學方法來研究推理的形式結構和推理規律的數字學科,它與數學的其他分支、計算機科學、人工智慧、語言學等學科均有密切的聯繫,並且日益顯示出它的重要作用和更加廣泛的套用前景,數理邏輯的內容相當豐富,大體可分為5部分,即:邏輯演算、證明論、公理集合論、遞歸論和模型論,在本書中,只介紹命題邏輯和一階邏輯(謂詞邏輯)的邏輯演算,對數理邏輯感興趣的讀者,可參閱有關專著。
內容提要:
本書是《離散數學(第二版)》(耿素雲,屈婉玲,張立昂編著,清華大學出版社出版)一書的配套題解。全書含6個部分:1、數理邏輯;2、集合論;3、代數結構;4、圖論;5、組合分析初步;6、形式語言和自動機初步。每部分均包含三方面內容。(1)內容提要;(2)與本部分配套的習題;(3)習題解答。書中對每道題都做了較詳細的解答與分析。對某些題還給出了不同的解法或
圖書目錄:
第一章 命題邏輯
第二章 一階邏輯
第三章 集合的基本概念和運算
第四章 二元關係和函式
第五章 代數系統的一般性質
第六章 幾個典型的代數系統
第七章 圖的基本概念
第八章 一些特殊的圖
第九章 樹
第十章 組合分析初步
第十一章 形式語言和自動
提出容易犯的錯誤及犯錯誤的原因。