马修·尧姆 [Gilles Dowek;塞雷塞·哈丁] 离散数学的要素。课程，已解决的练习，Python和OCaml语言的实现。由Gilles Dowek和Thérèse Hardin作序言。（数学教育、课程、练习、解决方案、语言实现、Python和OCaml。） （法语） 兹比尔1397.05002 法国科学巴黎：椭圆（ISBN 978-2-340-01480-0/pbk）。v、 第514页。(2016). 出版商描述：Tous les domaines de la science informatique font-appel de manière essentielle aux mathématiques discrates。Cet ouvrage en présente quelqueséléments：集合、关系、函数、结构或函数、定义归纳词、语言、自动机等逻辑。Il’adresse auxétudiants de Licence et Master d'informatique，mais peut aussiátre utilisédans les curus de mathematiques，de robotique ou encore dans le formations d'ingénieurs scientifiques，qui font-tous appelála plupart des concepts exposesées。《数学研究》（Les matiques discrètes permettent d'abstraire，de formaliser et de raisonner sur Les objets de l'informatique，programmes etc.）梅斯·埃莱斯·雷森特（mais elles restent）-安科（encore souvent per-ues comme un exercise difficies）。Aussi，pour faciliter l’Apprentisage，les conceptions sont to us exposesés avec le me niveau de détail：chaque conception est illustre sur de nombreux examples（加上150个sont fournis示例），fait l’objet de nombleux exercises corries（144个sont fournis实例）et lesétapes de raisonnement de chaque preuve sont explicitées dans les moindres détails等。Enfin，在Python和OCaml语言的植入中，引入了许多有效的概念。Il’agit de montrer，au travers de 250 programmes，评论exprimer un calculál’aide d’un langage de programmation et de permettre une expérmentation de ces calculs afi’en obtenir une comprehension profonde。 MSC公司： 05-01 与组合数学有关的介绍性论述（教科书、辅导论文等） 00A05号 一般数学 00A07年 问题书 68甲15 编程语言理论 软件：OCaml公司;蟒蛇 PDF格式BibTeX公司 XML格式引用 \textit{M.Jaume}，《数学教育》。课程、练习、解决方案、实施使用Python和OCaml语言。巴黎：椭圆（2016；Zbl 1397.05002）