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

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

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

『簡體書』离散数学教程（高等学校计算机科学与技术专业核心课程教学实施方案规划教材）

書城自編碼： 2221327
分類：簡體書→大陸圖書→教材→研究生/本科/专科教材
作者： 王元元 等编著
國際書號(ISBN)： 9787040294651
出版社： 高等教育出版社
出版日期： 2010-07-01
版次： 1 印次： 1
頁數/字數： 383/540000
書度/開本： 16开 釘裝： 平装

售價：HK$ 106.2

我要買 件

 

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

新書推薦：
诛吕：“诸吕之乱”的真相与吕太后时期的权力结构
《 诛吕：“诸吕之乱”的真相与吕太后时期的权力结构 》
售價：HK$ 99.7
炙野（全2册）
《 炙野（全2册） 》
售價：HK$ 78.2
女人的胜利
《 女人的胜利 》
售價：HK$ 55.9
数据有道：数据分析+图论与网络+微课+Python编程（鸢尾花数学大系：从加减乘除到机器学习）
《 数据有道：数据分析+图论与网络+微课+Python编程（鸢尾花数学大系：从加减乘除到机器学习） 》
售價：HK$ 266.6
500万次倾听：陪伤心的人聊聊
《 500万次倾听：陪伤心的人聊聊 》
售價：HK$ 53.8
英国商业500年（见证大国崛起与企业兴衰，启迪未来商业智慧。）
《 英国商业500年（见证大国崛起与企业兴衰，启迪未来商业智慧。） 》
售價：HK$ 80.6
万千心理·儿童心理治疗中的心智化：临床实践指导
《 万千心理·儿童心理治疗中的心智化：临床实践指导 》
售價：HK$ 87.4
自我囚禁的人：完美主义的心理成因与自我松绑（破除你对完美主义的迷思，尝试打破自我评价过低与焦虑的恶性循环）
《 自我囚禁的人：完美主义的心理成因与自我松绑（破除你对完美主义的迷思，尝试打破自我评价过低与焦虑的恶性循环） 》
售價：HK$ 66.1

 
編輯推薦：
本书是国家精品课程主讲教材，也是《高等学校计算机科学与技术专业核心课程教学实施方案》规划教材。本书覆盖了集合论、数理逻辑、组合论、数论、图论、抽象代数、可计算性等基础理论部分，还包含了这些理论在粗糙集、模糊集、自动推理、智能搜索、加密技术等领域的应用，并涉及公理化集合论、数理逻辑形式系统、形式语言与自动机等相关理论。
本书以离散结构为建模对象，紧密联系计算机科学技术，特别强调应用能力、证明技术、计算思维的培养。此外，本书内容宽泛，深度适当，每章后还安排了与本章内容有关的阅读材料，便于学生及时复习并巩固所学知识。
內容簡介：
本教程主要依据教育部计算机科学与技术教学指导委员会编制的《高等学校计算机科学与技术专业规范》和《高等学校计算机科学与技术专业核心课程教学实施方案》进行设计与定位，并针对综合性大学和工程类院校计算机科学与技术专业本科生进行选材与编撰。
本教程打破了传统离散数学教材几大模块分割的编写方式，突出知识的内在联系，强调理论的循序渐进、相互依存，从而更具有可读性和系统性。本教程不仅覆盖了集合论、数理逻辑、数论、组合论、图论、可计算性、抽象代数等基础理论部分，还包含了这些基本理论在粗糙集、模糊集、自动推理、智能搜索、加密技术等领域的应用，并涉及公理化集合论、数理逻辑形式系统、形式语言与自动机等相关理论。本教程以离散结构为建模对象，紧密联系计算机科学技术，特别强调应用能力、证明技术、计算思维的培养。
为便于学生及时复习并巩固所学知识，本教程在每节后安排了大量习题；同时，为便于学有余力的学生进一步深造，每章后安排了一节阅读材料，以此来对本章所介绍的理论进行深入探讨，或进一步介绍技术的应用层面。
本教程不仅可用作高等学校计算机及相关专业本科生的离散数学课程教材，也可供相关工程技术人员阅读参考。
關於作者：
中国人民解放军理工大学教授、博士研究生指导教师，长期从事计算机基础理论的研究和教学工作。先后被评为总参优秀教员，全军优秀教员；荣获国家教学名师奖、国家级教学成果二等奖；荣立二等功一次，三等功三次。其任教的主要课程有离散数学、组合数学以及数理逻辑等，其中离散数学课程被推荐为军队级优质课程和国家精品课程。所主编的教材《计算机科学中的逻辑学》、《离散数学》曾分别获得国家级优秀教材奖和电子工业部优秀教材奖。
目錄：
第0章 准备知识
0.1 集合、命题、谓词和运算
0.1.1 集合
0.1.2 命题与谓词
0.1.3 集合的表示
0.1.4 外延性原理与子集合
0.1.5 运算
练习0.1
0.2 鸽笼原理
0.2.1 鸽笼原理基本形式
0.2.2 鸽笼原理加强形式
练习0.2
第1章 逻辑代数上：命题演算
1.1 逻辑联结词与命题公式
1.1.1 逻辑联结词
1.1.2 命题公式
1.1.3 语句形式化
练习1.1
1.2 逻辑等价式和逻辑蕴涵式
1.2.1 重言式
1.2.2 逻辑等价式和逻辑蕴涵式
1.2.3 对偶原理
1.2.4 应用逻辑
练习1.2
1.3 范式
1.3.1 析取范式和合取范式
1.3.2 主析取范式与主合取范式
1.3.3 联结词的扩充与归约
练习1.3
*1.4 命题演算消解原理
练习1.4
1.5 阅读材料：布尔代数
第2章 逻辑代数下：谓词演算
第3章 集合代数
第4章 初等数论
第5章 计数
第6章 关系
第7章 函数
第8章 可计算函数
第9章 图与树
第10章 特殊图
第11章 代数结构通论
第12章 群、环、域
参考文献

 

 

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