数里有形——突破代数综合问题

本书系统地介绍了图论算法理论，并选取经典的ACM/ICPC题目为例题阐述图论算法思想，侧重于图论算法的程序实现及应用。本书第1章介绍图的基本概念和图的两种存储表示方法：邻接矩阵和邻接表。第2～9章分别讨论图的遍历与活动网络问题，树与图的生成树，最短路径问题，可行遍性问题，网络流问题，支配集、覆盖集、独立集与匹配，图的连

离散数学课程是一门重要的专业基础课，在计算机类专业教学体系中起着重要的基础理论支撑作用。本书对计算机类专业在本科阶段最需要学习的离散数学基础知识做了系统地介绍，力求概念清晰，注重实际应用。全书共分七章，内容包括命题逻辑、谓词逻辑、集合、关系、图、树和代数结构，并含有较多的与计算机类专业有关的例题和习题。 本书叙述简洁

本书为开放教育教材,涉及:代数运算与数学归纳法,一元多项式理论,线性空间,线性变换,欧几里德空间,多线性函数与二次型等。

本书是与高等教育出版社出版，北京大学数学系前代数小组编，王萼芳、石生明修订的《高等代数》（第五版）一书配套的同步辅导及习题全解。《高等代数》（第五版）共有10章，分别介绍多项式、行列式、线性方程组、矩阵、二次型、线性空间、线性变换、l-矩阵、欧几里得空间、双线性函数与辛空间。本书按教材内容安排全书结构，各章均包括知识网

本书是在国家精品课程、国家精品资源共享课程和国家级一流本科课程“离散数学”的基础上，结合卓越工程师教育培养计划和新工科建设编写而成的。全书共10章，系统介绍了数理逻辑、集合与关系、图论，以及代数系统与布尔代数中的基本概念、算法、定理及其证明方法。本书不仅注重基本概念的描述，还特别注重阐述有关离散数学的证明方法及离散数学

本书是《离散数学(第六版)》(耿素云、屈婉玲、张立昂编著，清华大学出版社出版)一书的配套题解。全书包括数理逻辑、集合论、图论、组合分析初步、代数结构以及形式语言与自动机初步6部分。每部分均包含内容提要、与本部分配套的习题、习题解答3方面内容。对每道题都做了较详细的解答与分析，对某些题还给出了不同的解法或指出容易犯的错误

本书是计算机类教学指导委员会推荐的系统能力培养教材之一。本书《离散数学及其应用—Python建模与实现》系统介绍了数理逻辑、集合论、图论和代数系统，以计算为认知模型，重点给出概念、运算及关系的计算表示，并用计算验证性质与定理。以逻辑为认知模型，给出概念、运算及关系的逻辑表示，并证明性质与定理。即注重概念、运算及关系的理

本书系统地介绍了离散数学的理论与方法。全书共十章，包括数论、数理逻辑、集合论、图论、代数系统等基本知识，以及相应的应用。本书内容丰富，叙述深入浅出，可作为高等学校计算机科学与技术、软件工程等计算机类专业的专业基础课教材，也可作为相关技术人员的参考书。

本书从应用的角度介绍离散数学。全书共分6章，分别是命题逻辑、谓词逻辑、集合与关系、代数结构、图和有向图。全书体系严谨，内容讲解深入浅出，并配有大量与计算机科学相关的有实际背景的例题和习题。在每章后增加了上机作业，可增强学生对课堂教学内容的理解和掌握，提高学生的学习兴趣和动手能力。全书以二维码的形式提供了教学视频，有利于