证明是数学思想中最重要，也是极具开拓性的特征之一。没有证明，就无法谈论真正的数学。本书讲述了证明的演变及其在数学中的重要作用和启发意义。从古希腊几何学时代开始，涵盖代数、微积分、集合、数论、拓扑、逻辑等几乎全部数学分支中的证明故事。我们将看到欧几里德、康托尔、哥德尔、图灵等数学大师的精彩发现和发明。这本书不是教材，它是

本书较为系统地介绍了计算机科学与技术、软件工程、智能科学与技术、人工智能、数据科学与大数据技术等信息类或智能类相关专业培养所必需掌握的离散数学基础知识，全书分为四个部分（数理逻辑、集合论、代数结构和图论），共7章.第1章介绍命题及其命题逻辑；第2章介绍一阶谓词逻辑及其推理理论；第3章介绍集合的基本概念和性质；第4章介绍

作者本着优化结构体系，降低理论要求，强化思想教育，加强实际应用的原则，以线性代数在本科教育中的功能定位和作用为依据，在引进先进计算工具的基础上强调数学基础理论和思想的学习，适当减少烦琐的计算技能训练，较好地处理了理论教学与实际应用的关系、学科的独立性与相关科学的关系，尽量做到传统而不失其先进性，简明而不失其系统性，扼要

中国科学技术大学双一流规划教材。本书从内容上涵盖了主要的信道编码方式，从线性分组码、循化码、BCH码、卷积码、Turbo码，到目前5G系统正在使用的LDPC码、Polar码，包括绪论、基本理论、线性分组码、循环码、BCH码、卷积码、Turbo码、LDPC码、极化码等章节内容。作为教材，本书仅对基本编解码方法进行了阐述，

“深化教育领域综合改革，加强教材建设和管理，完善学校管理和教育评价体系，健全学校家庭社会育人机制。加强师德师风建设，培养高素质教师队伍，弘扬尊师重教社会风尚。推进教育数字化，建设全民终身学习的学习型社会、学习型大国。”《离散数学》这本书涵盖了命题逻辑、一阶逻辑、集合论、关系和函数、代数系统、格与布尔代数、图和树等内容的

本书以管理类联考考试大纲为标准，对所有考点进行详细讲解，并将考点与例题紧密结合，帮助考生更好地掌握考试所需知识。本书包含学科导学、基础篇和强化篇三大模块，重点讲解算术、代数、几何、数据分析与计数原理四大题型，在强化篇还增加了近年来常考的应用题专项，通过两轮知识点梳理，能够帮助考生夯实基础，高效备考。本书的特点是章节模块

本书通过31个贴近生活的章节，为我们展示了数学的神奇魅力。从幸福婚姻中的数学原则，到最佳决策的数学方法；从避免误报风险的策略，到利用群体智慧提高智慧的途径，作者将数学与日常生活紧密相连。书中既有对婚姻、育儿等家庭问题的数学解读，也有对工作、理财等职场问题的数学剖析。无论你是数学小白还是数学达人，都能从中受益，学会用数学

本书严格依据考研命题要求，精心挑选并编制了丰富的习题资源。按照考生复习的自然进程——从基础入门到强化提升，再到最后的冲刺阶段，设计了一系列递进式的练习题目。这不仅有助于考生逐步掌握和加深对各个知识点的理解，而且通过分阶段的学习与实践，可以确保每个学习环节都得到充分巩固。同时，本书由著名考研数学辅导专家张宇及其专业团队主

"本书是一本图论算法书，旨在帮助编程学习者打开图论算法学习之门。全书共7章，主要内容包括图、二分图、拓扑排序、树、并查集、最小生成树和最短路问题。本书根据编程学习者的学习规律——先掌握一门编程语言基础以及必要的算法基础(以C++语言基础和趣味算法为例)，再逐步学习图论算法的学习方式，合理取舍、精心挑选出近百道经典图论算

《复变函数与积分变换》介绍了复变函数与积分变换的基本概念、理论和方法，使读者在运用向量分析与场论、复变函数论、积分变换的思想和方法解决实际问题的能力方面得到系统的培养和训练。主要内容有复数与复变函数的基本运算及性质、解析函数的概念及性质、复变函数的积分、解析函数的级数表示、留数的计算及其应用、保形映射、拉普拉斯变换及逆