-
>
宇宙、量子和人類心靈
-
>
考研數(shù)學(xué)專題練1200題
-
>
希格斯:“上帝粒子”的發(fā)明與發(fā)現(xiàn)
-
>
神農(nóng)架疊層石:10多億年前遠古海洋微生物建造的大堡礁
-
>
二十四史天文志校注(上中下)
-
>
聲音簡史
-
>
浪漫地理學(xué):追尋崇高景觀
離散數(shù)學(xué)-(第3版) 版權(quán)信息
- ISBN:9787560541549
- 條形碼:9787560541549 ; 978-7-5605-4154-9
- 裝幀:一般膠版紙
- 冊數(shù):暫無
- 重量:暫無
- 所屬分類:>>
離散數(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版) 目錄
第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 謂詞演算的形式推理
- >
莉莉和章魚
- >
我從未如此眷戀人間
- >
詩經(jīng)-先民的歌唱
- >
隨園食單
- >
朝聞道
- >
人文閱讀與收藏·良友文學(xué)叢書:一天的工作
- >
中國人在烏蘇里邊疆區(qū):歷史與人類學(xué)概述
- >
羅曼·羅蘭讀書隨筆-精裝