登入帳戶　 |　訂單查詢　 |　購物車/收銀台(0)　|　在線留言板　 |　付款方式　 |　運費計算　 |　聯絡我們　 |　幫助中心　|　 加入書簽
會員登入   新用戶登記
HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2024年度TOP分類瀏覽雜誌 臺灣用戶
品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心 服務：香港／台灣／澳門／海外 送貨：速遞／郵局／服務站

新書上架：簡體書 繁體書
暢銷書架：簡體書 繁體書
好書推介：簡體書 繁體書

十月出版：大陸書 台灣書
九月出版：大陸書 台灣書
八月出版：大陸書 台灣書
七月出版：大陸書 台灣書
六月出版：大陸書 台灣書
五月出版：大陸書 台灣書
四月出版：大陸書 台灣書
三月出版：大陸書 台灣書
二月出版：大陸書 台灣書
一月出版：大陸書 台灣書
12月出版：大陸書 台灣書
11月出版：大陸書 台灣書
十月出版：大陸書 台灣書
九月出版：大陸書 台灣書
八月出版：大陸書 台灣書

『簡體書』离散数学及应用

書城自編碼： 4021764
分類：簡體書→大陸圖書→教材→研究生/本科/专科教材
作者： 黄玮
國際書號(ISBN)： 9787121476396
出版社： 电子工业出版社
出版日期： 2024-03-01

頁數/字數： /
釘裝： 平塑

售價：HK$ 57.3

我要買 件

share:

** 我創建的書架 **
未登入.


新書推薦：
财富心理学：通向富足人生的50个想法
《 财富心理学：通向富足人生的50个想法 》
售價：HK$ 82.5
平台革命：改变世界的商业模式
《 平台革命：改变世界的商业模式 》
售價：HK$ 86.9
思想帝国：公共外交的起源与美国对外政策的转变（公共外交译丛）
《 思想帝国：公共外交的起源与美国对外政策的转变（公共外交译丛） 》
售價：HK$ 88.0
公私同圣的秩序建构：王权视角下皇帝祭祀与祠神敕封的隔绝和整合 尔文智识生活系列
《 公私同圣的秩序建构：王权视角下皇帝祭祀与祠神敕封的隔绝和整合 尔文智识生活系列 》
售價：HK$ 94.6
共生共创：建设师生共同课堂丛书——“三师课堂”案例集萃（第一辑）
《 共生共创：建设师生共同课堂丛书——“三师课堂”案例集萃（第一辑） 》
售價：HK$ 74.8
大秦丞相李斯：谋国又谋身的大秦帝国“操盘手”
《 大秦丞相李斯：谋国又谋身的大秦帝国“操盘手” 》
售價：HK$ 64.9
民鸣社与清末民初上海演剧研究
《 民鸣社与清末民初上海演剧研究 》
售價：HK$ 52.8
高中历史文献研读教学研究
《 高中历史文献研读教学研究 》
售價：HK$ 63.8

內容簡介：
本书内容分为数理逻辑、集合论、代数结构、图论等四个主要部分，包含命题逻辑、一阶谓词逻辑、集合、二元关系、函数、代数结构、特殊代数系统、图、特殊图及图的应用、树等10个章节。本书以应用型人才培养为目标，突出离散数学作为计算机及相关本科的专业基础课这一定位，本书可作为计算机科学与技术、软件工程、智能科学与技术、物联网工程、网络工程等专业离散数学课程的教材。
關於作者：
黄玮，男，1978年生人，副教授，在读博士，现任教于福州理工学院，具有知名企业的从业经历，曾获\微软金牌讲师”等头衔，长期从事软件工程、虚拟现实研发与教学工作，主持和完成过各类省级、市级科研项目5项，获软件著作权14项，发表科研论文9篇。
目錄：
目 录
第 1 章 命题逻辑 ····································································································.1
1.1 命题与联结词 ·····························································································.1
1.2 命题公式及其赋值 ······················································································.5
1.3 等值式 ·······································································································.8
1.4 析取范式与合取范式 ·················································································.10
1.4.1 范式的基本概念 ··············································································.10
1.4.2 主范式及其表示 ··············································································.12
1.4.3 主范式的求解 ··················································································.13
1.4.4 主范式的数量 ··················································································.15
1.5 联结词的完备集 ························································································.16
1.5.1 真值函数 ·························································································.16
1.5.2 联结词完备集 ··················································································.17
1.6 命题逻辑的推理理论 ·················································································.18
1.6.1 推理的基本概念 ··············································································.18
1.6.2 推理定律和推理规则 ·······································································.19
1.6.3 命题逻辑的推理方法 ·······································································.19
1.7 命题逻辑的应用 ························································································.23
1.7.1 命题公式在计算机中的表示 ·····························································.23
1.7.2 程序优化 ·························································································.24
1.7.3 资源分配 ·························································································.24
1.7.4 计算机硬件电路设计 ·······································································.25
1.8 命题逻辑实验 ····························································································.25
习题 1 ···············································································································.27
第 2 章 一阶逻辑 ···································································································.30
2.1 一阶逻辑的基本概念 ·················································································.30
2.2 一阶逻辑公式及其解释 ··············································································.33
2.2.1 一阶逻辑公式的符号 ·······································································.33
2.2.2 一阶逻辑公式的结构 ·······································································.34
2.2.3 量词的辖域 ·····················································································.34
2.2.4 公式的解释 ·····················································································.35
2.3 一阶逻辑等值式及演算 ··············································································.37
2.4 一阶逻辑前束范式 ·····················································································.38
2.5 一阶逻辑的推理理论 ·················································································.39
2.6 一阶逻辑实验 ····························································································.43
习题 2 ···············································································································.43
第 3 章 集合论 ·······································································································.47
3.1 集合的基本概念 ························································································.47
3.2 集合的基本运算 ························································································.50
3.3 有限集的计数 ····························································································.54
3.4 集合论实验 ·······························································································.55
习题 3 ····················

 

 

書城介紹　 |　合作申請　|　索要書目　 |　新手入門　|　聯絡方式　 |　幫助中心　|　找書說明　 |　送貨方式　|　付款方式 香港用户　 |　台灣用户　|　海外用户
megBook.com.hk
Copyright © 2013 - 2025 （香港）大書城有限公司　 All Rights Reserved.