離散數(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
參考書目