書馨卡幫你省薪 2024個人購書報告 2024中圖網(wǎng)年度報告
歡迎光臨中圖網(wǎng) 請 | 注冊

離散數(shù)學(xué)-(第3版)

作者:曾明
出版社:西安交通大學(xué)出版社出版時間:2012-01-01
開本: 16開 頁數(shù): 345
中 圖 價:¥25.0(7.8折) 定價  ¥32.0 登錄后可看到會員價
加入購物車 收藏
運費6元,滿39元免運費
?新疆、西藏除外
本類五星書更多>

離散數(shù)學(xué)-(第3版) 版權(quán)信息

離散數(shù)學(xué)-(第3版) 本書特色

  陳建明、曾明、劉國榮編著的《離散數(shù)學(xué)(第3版)》由集合論、代數(shù)系統(tǒng)、圖論、數(shù)理邏輯、關(guān)于證明五部分組成。適用于理工科大學(xué)計算機專業(yè),也可供其他專業(yè)使用。   在教材內(nèi)容的安排上,力求做到選材既能滿足計算機專業(yè)后繼課程的需要,又比較精練。同時,考慮到計算機科學(xué)與技術(shù)發(fā)展對數(shù)理邏輯的要求,在教材中加強了數(shù)理邏輯部分,而且在形式推理部分采用了比較嚴(yán)格的符號規(guī)則,避開了p規(guī)則和t規(guī)則。我們認為這樣的處理便于讀者清楚地理解和掌握數(shù)理邏輯的形式推理過程。

離散數(shù)學(xué)-(第3版) 內(nèi)容簡介

  陳建明、曾明、劉國榮編著的《離散數(shù)學(xué)(第3版)》系統(tǒng)地介紹了各種離散的數(shù)學(xué)結(jié)構(gòu),其中包括數(shù)理邏輯、集合論、代數(shù)系統(tǒng)和圖論的基本內(nèi)容。本書以證明方法和證明過程為重點,以關(guān)系的理念貫穿全書。在編寫過程中力求內(nèi)容精練、重點突出、深入淺出,有助于讀者自我學(xué)習(xí)。書中內(nèi)容可滿足計算機專業(yè)后繼課程的需要。   《離散數(shù)學(xué)(第3版)》可作為計算機軟件專業(yè)、計算機通信專業(yè)、計算機制造專業(yè)和各類相關(guān)信息專業(yè)的本科生“離散數(shù)學(xué)”課程的教科書及教學(xué)參考書,同時也可供有關(guān)考研人員和自考人員學(xué)習(xí)和參考。

離散數(shù)學(xué)-(第3版) 目錄

**部分 數(shù)理邏輯
 第1章 命題演算
  1.1 命題與真值聯(lián)結(jié)詞
  1.2 命題公式與真假性
  1.3 命題公式間的邏輯等價關(guān)系
  1.4 命題公式間的邏輯蘊涵關(guān)系
  1.5 對偶定理
  1.6 命題演算的形式推理
  習(xí)題一
 第2章 謂詞演算
  2.1 謂詞與量詞
  2.2 謂詞公式與真假性
  2.3 謂詞公式間的邏輯等價關(guān)系
  2.4 謂詞公式間的邏輯蘊涵關(guān)系
  2.5 謂詞演算的形式推理
展開全部
商品評論(0條)
暫無評論……
書友推薦
本類暢銷
編輯推薦
返回頂部
中圖網(wǎng)
在線客服