登入帳戶　 |　訂單查詢　 |　購物車/收銀台(0)　|　在線留言板　 |　付款方式　 |　聯絡我們　 |　運費計算　 |　幫助中心　|　 加入書簽
	全部範圍 - 圖書 - 　- 中文簡體書(大陸書) - 　- 英文書（原版） - - 音碟 - 　- 音樂 - 　- 影視 - - 雜誌 - 全文 精確	會員登入   新用戶註冊

HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2025年度TOP分類閱讀雜誌

香港／國際用戶

最新/最熱/最齊全的簡體書網

品種：超過100萬種書，正品正价，放心網購，悭钱省心

送貨：速遞 / 物流，時效：出貨後2-4日

新書推薦： 《 走出秦制：清末民初六十年（慈禧、奕?、李鸿章、张之洞、袁世凯、康有为、梁启超、宋教仁等对中国前途的思 》 售價：NT$ 602 《 古典与文明·独尊儒术前夕的思想争锋：汉初“前经学时代”研究 》 售價：NT$ 459 《 史记 全六册 》 售價：NT$ 2030 《 图解计算机科学数学基础（原书第3版） 》 售價：NT$ 607 《 柏拉图《理想国》指南（想读《理想国》，一直看不懂？这本书就是你的哲学通关攻略） 》 售價：NT$ 407 《 你的代谢还好吗：控制“五高”饮食运动法 》 售價：NT$ 254 《 战国史料编年辑证（全二册）（杨宽著作集） 》 售價：NT$ 1265 《 流动的世界想象：中国当代电影与视觉文化 》 售價：NT$ 347

建議一齊購買： + NT$ 374 《笛卡儿几何》 + NT$ 656 《线性代数（原书第9版）》 + NT$ 891 《数学建模（原书第5版）》 + NT$ 324 《随机模拟方法与应用》 + NT$ 342 《不等式的秘密（第二卷）》 內容簡介： 全书共12章，内容包含证明技巧、数理逻辑、集合与关系、函数、组合计数、图和树、初等数论、离散概率、代数系统等。本书体系严谨，文字精练，内容翔实，例题丰富，注重与计算机科学技术的实际问题相结合，并选配了大量难度适当的习题，适合教学。 目錄： 第1章 离散数学基础 1.1 算法 1.1.1 算法的定义 1.1.2 算法的基本特征 1.1.3 算法设计方法 1.1.4 算法表示 1.1.5 算法的复杂度分析 1.2 可计算性问题 1.3 模和同余 1.4 递归 1.5 密码学初步 1.6 计数 小结 习题 第2章 命题逻辑 2.1 命题与联结词 2.1.1 命题及其表示 2.1.2 联结词 2.1.3 最小功能完备集 2.2 命题公式与重言式 2.2.1 命题公式 2.2.2 指派与真值表 2.2.3 重言式 2.3 范式 2.3.1 对偶原理 2.3.2 范式 2.3.3 主析取范式 2.3.4 主合取范式 2.4 基于命题的推理 2.4.1 推理理论 2.4.2 CP规则 2.4.3 归谬法 小结 习题 第3章 谓词逻辑 3.1 谓词 3.2 量词 3.2.1 全称量词 3.2.2 存在量词 3.2.3 量词分析 3.3 谓词公式 3.4 谓词演算 3.5 谓词演算中的推理规则 3.5.1 推理规则 3.5.2 含有量词的永真式 3.6 三元谓词向二元谓词的转换 3.7 基于谓词的知识表示 3.8 基于谓词演算的程序正确性证明 小结 习题 第4章 集合论 4.1 集合的基本概念 4.1.1 集合及其表示 4.1.2 子集 4.1.3 基数 4.1.4 幂集 4.1.5 悖论 4.2 集合的运算 4.2.1 集合的并与交 4.2.2 集合的差与补 4.2.3 环和与环积 4.2.4 集合的笛卡儿积 4.3 集合运算定律 4.4 集合计数 …… 第5章 关系 第6章 函数 第7章 图论 第8章 树 第9章 代数结构 第10章 群与环 第11章 格与布尔代数 第12章 附注 参考文献

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