123,123

內(nèi)容簡(jiǎn)介

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

作者簡(jiǎn)介

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

圖書目錄

前言
第一章  命題邏輯
  1.1 命題符號(hào)化及聯(lián)結(jié)詞
  1.2 命題公式及分類
  1.3 等值演算
  1.4 聯(lián)結(jié)詞全功能集
  1.5 對(duì)偶與范式
  1.6 推理理論
第二章一階邏輯
  2.1  一階邏輯基本概念
  2.2 一階邏輯合式公式及解釋
  2.3 一階邏輯等值式
  2.4 一階邏輯推理理論
第三章集合及其運(yùn)算
  3.1 集合的基本概念
  3.2 集合的運(yùn)算
第四章  二元關(guān)系
  4.1 二元關(guān)系的概念及其性質(zhì)
  4.2 關(guān)系的冪和閉包運(yùn)算
  4.3 等價(jià)關(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
參考書目