離散數(shù)學(xué)習(xí)題集（數(shù)理邏輯與集合論分冊）

定　價：￥11.50

作　者：	耿素云編著
出版社：	北京大學(xué)出版社
叢編項：
標　簽：	離散數(shù)學(xué)

購買這本書可以去

ISBN：	9787301019900	出版時間：	1993-01-01	包裝：	膠版紙
開本：	19cm	頁數(shù)：	382	字數(shù)：

內(nèi)容簡介

　　本書為《離散數(shù)學(xué)習(xí)題集》數(shù)理邏輯與集合論分冊。內(nèi)容包括命題邏輯、一階邏輯、集合及其運算、二元關(guān)系、函數(shù)等部分的定義、定理、習(xí)題與解答。概念陳述精練，習(xí)題豐富，解答詳實，注重方法與能力的培養(yǎng)。安排由易到難，由淺入深，力求照顧到不同需求和不同層次的讀者。讀者對象：大專院校計算機系或有關(guān)專業(yè)的師生，計算機理論科學(xué)或離散數(shù)學(xué)的自學(xué)者、愛好者。

作者簡介

暫缺《離散數(shù)學(xué)習(xí)題集（數(shù)理邏輯與集合論分冊）》作者簡介

圖書目錄

前言
第一章  命題邏輯
  1.1 命題符號化及聯(lián)結(jié)詞
  1.2 命題公式及分類
  1.3 等值演算
  1.4 聯(lián)結(jié)詞全功能集
  1.5 對偶與范式
  1.6 推理理論
第二章一階邏輯
  2.1  一階邏輯基本概念
  2.2 一階邏輯合式公式及解釋
  2.3 一階邏輯等值式
  2.4 一階邏輯推理理論
第三章集合及其運算
  3.1 集合的基本概念
  3.2 集合的運算
第四章  二元關(guān)系
  4.1 二元關(guān)系的概念及其性質(zhì)
  4.2 關(guān)系的冪和閉包運算
  4.3 等價關(guān)系與相容關(guān)系
  4.4 序關(guān)系
第五章  函數(shù)
  5.1 函數(shù)的概念及性質(zhì)
  5.2 函數(shù)的合成及反函數(shù)
  5.3 鴿巢原理
第六章自然數(shù)與基數(shù)
  6.1 自然數(shù)
  6.2 基數(shù)
解答與提示
  第一章
    1.1
    1.2
    1.3
    1.4
    1.5
    1.6
  第二章
    2.1
    2.2
    2.3
    2.4
  第三章
    3.1
    3.2
  第四章
    4.1
    4.2
    4.3
    4.4
  第五章
    5.1
    5.2
    5.3
  第六章
    6.1
    6.2
參考書目