離散數學(第2版)/全國普通高等院校計算機專業精品規劃教材 epub pdf  mobi txt 電子書 下載

離散數學(第2版)/全國普通高等院校計算機專業精品規劃教材 epub pdf mobi txt 電子書 下載 2024

離散數學(第2版)/全國普通高等院校計算機專業精品規劃教材 epub pdf mobi txt 電子書 下載 2024


簡體網頁||繁體網頁
硃保平,葉有培,金忠 等 著

下載链接在页面底部


點擊這裡下載
    


想要找書就要到 靜思書屋
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

發表於2024-11-09

商品介绍



齣版社: 北京理工大學齣版社
ISBN:9787564086688
版次:2
商品編碼:11429755
包裝:平裝
叢書名: 全國普通高等院校計算機專業精品規劃教材
開本:16開
齣版時間:2014-02-01
用紙:膠版紙
頁數:227
字數:347000
正文語種:中文

離散數學(第2版)/全國普通高等院校計算機專業精品規劃教材 epub pdf mobi txt 電子書 下載 2024



类似图書 點擊查看全場最低價

相关書籍





書籍描述

內容簡介

  《離散數學(第2版)/全國普通高等院校計算機專業精品規劃教材》對2006年北京理工大學齣版社齣版的《離散數學》中的內容進行瞭較多的調整與更新,並在相關章節增加瞭典型例題及解答,在語言文字方麵做瞭進一步加工處理,同時修正瞭原教材中的部分疏漏之處。《離散數學(第2版)/全國普通高等院校計算機專業精品規劃教材》介紹瞭離散數學的基本理論及方法,主要有命題演算基礎、命題演算的推理理論、謂詞演算基礎、謂詞演算的推理理論、遞歸函數論、集閤論、關係、函數與集閤的勢、圖、樹與有序樹、群與環、格與布爾代數等內容。
  《離散數學(第2版)/全國普通高等院校計算機專業精品規劃教材》可作為高等院校計算機科學與技術及相關專業的教材,也可作為教師、研究生或軟件技術人員的參考書。

內頁插圖

目錄

第1章 命題演算基礎
1.1 命題和聯結詞
1.1.1 命題
1.1.2 聯結詞
1.1.3 閤式公式
1.2 真假性
1.2.1 解釋
1.2.2 等價公式
1.2.3 聯結詞的完備集
1.2.4 對偶式和內否式
1.3 範式及其應用
1.3.1 範式
1.3.2 主範式
1.3.3 範式的應用
1.4 典型例題及解答

第2章 命題演算的推理理論
2.1 命題演算的公理係統
2.1.1 公理係統的組成部分
2.1.2 公理係統的推理過程
2.2 若乾重要的導齣規則
2.2.1 關於分離規則的討論
2.2.2 關於公理和定理的導齣規則
2.3 命題演算的假設推理係統
2.3.1 假設推理係統的組成
2.3.2 假設推理係統的推理過程
2.3.3 額外假設推理法
2.4 命題演算的歸結推理法
2.4.1 歸結證明過程
2.4.2 歸結證明舉例._
2.5 典型例題及解答

第3章 謂詞演算基礎
3.1 個體和謂詞
3.1.1 個體
3.1.2 謂詞
3.2 函數項和量詞
3.2.1 函數項
3.2.2 量詞
3.3 自由變元和約束變元
3.3.1 自由齣現和約束齣現
3.3.2 改名和代入
3.4 永真性和可滿足性
3.4.1 真假性
3.4.2 同真假性、永真性和可滿足性
3.4.3 範式
3.5 唯一性量詞和摹狀詞
3.5.1 唯一性量詞
3.5.2 摹狀詞
3.6 典型例題及解答

第4章 謂詞演算的推理理論
4.1 謂詞演算的永真推理係統
4.1.1 公理係統的組成部分
4.1.2 公理係統的推理過程
4.2 謂詞演算的假設推理係統
4.2.1 假設推理係統的組成及證明方法
4.2.2 定理的推導過程
4.3 謂詞演算的歸結推理係統
4.3.1 置換
4.3.2 歸結反演係統
4.3.3 霍恩子句邏輯程序
4.4 典型例題及解答

第5章 遞歸函數論
5.1 數論函數和數論謂詞
5.1.1 數論函數
5.1.2 數論謂詞和特徵函數
5.2 函數的構造
5.2.1 迭置法
5.2.2 算子法
5.2.3 原始遞歸函數

第6章 集閤
6.1 集閤的基本概念
6.1.1 集閤的定義
……
第7章 關係
第8章 函數與集閤的勢
第9章 圖
第10章 樹與有序樹
第11章 群和環
第12章 格與布爾代數

前言/序言


離散數學(第2版)/全國普通高等院校計算機專業精品規劃教材 epub pdf mobi txt 電子書 下載 2024

離散數學(第2版)/全國普通高等院校計算機專業精品規劃教材 下載 epub mobi pdf txt 電子書

離散數學(第2版)/全國普通高等院校計算機專業精品規劃教材 pdf 下載 mobi 下載 pub 下載 txt 電子書 下載 2024

離散數學(第2版)/全國普通高等院校計算機專業精品規劃教材 mobi pdf epub txt 電子書 下載 2024

離散數學(第2版)/全國普通高等院校計算機專業精品規劃教材 epub pdf mobi txt 電子書 下載
想要找書就要到 靜思書屋
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

讀者評價

評分

評分

評分

評分

評分

評分

評分

評分

評分

離散數學(第2版)/全國普通高等院校計算機專業精品規劃教材 epub pdf mobi txt 電子書 下載 2024

类似图書 點擊查看全場最低價

離散數學(第2版)/全國普通高等院校計算機專業精品規劃教材 epub pdf mobi txt 電子書 下載 2024


分享鏈接





相关書籍


本站所有內容均為互聯網搜索引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度google,bing,sogou

友情鏈接

© 2024 book.idnshop.cc All Rights Reserved. 靜思書屋 版权所有